(Back to Session Schedule)

The 19th Asia and South Pacific Design Automation Conference

Session 8B  Advances in Formal Verification and Debugging
Time: 13:50 - 15:30 Thursday, January 23, 2014
Location: Room 301
Chairs: Charles H.-P. Wen (National Chiao Tung Univ., Taiwan), Vishvender Singh (Infineon Technologies Asia-Pacific, Singapore)

8B-1 (Time: 13:50 - 14:15)
TitleAutomated Debugging of Missing Assumptions
AuthorBrian Keng (Univ. of Toronto, Canada), Evean Qin (Vennsa Technologies, Canada), *Andreas Veneris, Bao Le (Univ. of Toronto, Canada)
Pagepp. 732 - 737
Detailed information (abstract, keywords, etc)
Slides

8B-2 (Time: 14:15 - 14:40)
TitleProperty Directed Reachability for QF_BV with Mixed Type Atomic Reasoning Units
Author*Tobias Welp (Univ. of California, Berkeley, U.S.A.), Andreas Kuehlmann (Coverity/Univ. of California, Berkeley, U.S.A.)
Pagepp. 738 - 743
Detailed information (abstract, keywords, etc)
Slides

8B-3 (Time: 14:40 - 15:05)
TitleAdaptive Interpolation-Based Model Checking
Author*Chien-Yu Lai, Cheng-Yin Wu, Chung-Yan (Ric) Huang (National Taiwan Univ., Taiwan)
Pagepp. 744 - 749
Detailed information (abstract, keywords, etc)
Slides

8B-4 (Time: 15:05 - 15:30)
TitleEfficient Parallel GPU Algorithms for BDD Manipulation
Author*Miroslav Velev, Ping Gao (Aries Design Automation, U.S.A.)
Pagepp. 750 - 755
Detailed information (abstract, keywords, etc)