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
BEST PAPER CANDIDATES
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.