-
“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.