(Back to Session Schedule)

The 16th Asia and South Pacific Design Automation Conference

Session 6A  Design Validation Techniques
Time: 16:00 - 18:00 Thursday, January 27, 2011
Location: Room 411+412
Chairs: Miroslav Velev (Aries Design Automation, U.S.A.), Kiyoharu Hamaguchi (Osaka Univ., Japan)

6A-1 (Time: 16:00 - 16:30)
TitleManaging Complexity in Design Debugging with Sequential Abstraction and Refinement
Author*Brian Keng, Andreas Veneris (Univ. of Toronto, Canada)
Pagepp. 479 - 484
Detailed information (abstract, keywords, etc)

6A-2 (Time: 16:30 - 17:00)
TitleFacilitating Unreachable Code Diagnosis and Debugging
AuthorHong-Zu Chou (National Taiwan Univ., Taiwan), *Kai-Hui Chang (Avery Design Systems, Inc., U.S.A.), Sy-Yen Kuo (National Taiwan Univ., Taiwan)
Pagepp. 485 - 490
Detailed information (abstract, keywords, etc)

6A-3 (Time: 17:00 - 17:30)
TitleDeterministic Test for the Reproduction and Detection of Board-Level Functional Failures
AuthorHongxia Fang (Duke Univ., U.S.A.), Zhiyuan Wang, Xinli Gu (Cisco Systems Inc., U.S.A.), *Krishnendu Chakrabarty (Duke Univ., U.S.A.)
Pagepp. 491 - 496
Detailed information (abstract, keywords, etc)

6A-4 (Time: 17:30 - 18:00)
TitleEquivalence 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)
Pagepp. 497 - 502
Detailed information (abstract, keywords, etc)