47th DAC | Best Papers


Best paper award.jpg

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.