Title | Managing Complexity in Design Debugging with Sequential Abstraction and Refinement |
Author | *Brian Keng, Andreas Veneris (Univ. of Toronto, Canada) |
Page | pp. 479 - 484 |
Detailed information (abstract, keywords, etc) | |
Slides |
Title | Facilitating Unreachable Code Diagnosis and Debugging |
Author | Hong-Zu Chou (National Taiwan Univ., Taiwan), *Kai-Hui Chang (Avery Design Systems, Inc., U.S.A.), Sy-Yen Kuo (National Taiwan Univ., Taiwan) |
Page | pp. 485 - 490 |
Detailed information (abstract, keywords, etc) | |
Slides |
Title | Deterministic Test for the Reproduction and Detection of Board-Level Functional Failures |
Author | Hongxia Fang (Duke Univ., U.S.A.), Zhiyuan Wang, Xinli Gu (Cisco Systems Inc., U.S.A.), *Krishnendu Chakrabarty (Duke Univ., U.S.A.) |
Page | pp. 491 - 496 |
Detailed information (abstract, keywords, etc) |
Title | Equivalence Checking of Scheduling with Speculative Code Transformations in High-Level Synthesis |
Author | *Chi-Hui Lee, Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou (National Chiao Tung Univ., Taiwan) |
Page | pp. 497 - 502 |
Detailed information (abstract, keywords, etc) |