47th DAC | Best Papers
Bayesian Virtual Probe: Minimizing Variation Characterization Cost for Nanoscale IC Technologies via Bayesian Inference
Wangyang Zhang Carnegie Mellon Univ., Pittsburgh, PA
Xin Li Carnegie Mellon Univ., Pittsburgh, PA
Rob Rutenbar Univ. of Illinois at Urbana-Champaign, Urbana, IL
Analyzing K-Step Induction to Compute Invariants for SAT-Based Property Checking
Joerg Bormann - Abstract RT Solutions GmbH
Wolfgang Kunz, Minh Nguyen, Dominik Stoffel, Max Thalmaier, Markus Wedler -Technische Universität Kaiserslautern
A Parallel Integer Programming Approach to Global Routing
Azadeh Davoodi, Jeffrey Linderoth, Tai-Hsuan Wu - Univ. of Wisconsin
A New IP Lookup Cache for High Performance IP Routers
Laxmi Bhuyan, Guangdeng Liao, Heeyeol Yu - Univ. of California, Riverside
BLoG: Post-Silicon Bug Localization in Processors Using Bug Localization Graphs
Anne Bracy - Washington Univ. and Microarchitecture Research Lab, Intel Labs
Subhasish Mitra, Sung-Boem Park - Stanford Univ.
Hong Wang - Intel Corp.
Classification Rule Learning Using Subgroup Discovery of Cross-Domain Attributes Responsible for Design-Silicon Mismatch
Magdy Abadir - Freescale Semiconductor, Inc.
Nicholas Callegari, Dragoljub (Gagi) Drmanac, Li-C. Wang - Univ. of California, Santa Barbara
Rewiring for Robustness
Lei He - Univ. of California, Los Angeles
Yu Hu - Univ. of Alberta
Manu Jose, Rupak Majumdar - Univ. of California, Los Angeles
BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning
J.-H. Roland Jiang, Chih-Fan Lai - National Taiwan Univ.
Kuo-Hua Wang - Fu Jen Catholic Univ.
Node Addition and Removal in the Presence of Don’t Cares
Yung-Chih Chen, Chun-Yao Wang - National Tsing-Hua Univ.
Xetal-Pro: An Ultra-Low Energy and High Throughput SIMD Processor
Anteneh Abbo - Philips Semiconductor
Henk Corporaal, Yifan He, Sebastian Londono, Yu Pu, Zhenyu Ye - Technische Univ. Eindhoven
Richard Kleihorst - VITO Technology and Ghent Univ.