(Back to Session Schedule)

The 11th Asia and South Pacific Design Automation Conference

Wednesday January 25, 2006

Session 1A Formal Methods for Coverage and Scalable Verification (10:15 - 12:20)
Location: Room 411+412
Chair(s): Kiyoharu Hamaguchi (Osaka Univ., Japan), Valeria Bertacco (Univ. of Michigan, United States)

1A-1 (Time: 10:15 - 10:40)
TitleTransition-Based Coverage Estimation for Symbolic Model Checking
Author*Xingwen Xu, Shinji Kimura (Waseda Univ., Japan), Kazunari Horikawa, Takehiko Tsuchiya (Toshiba, Japan)
Pagepp. 1 - 6
Detailed information (abstract, keywords, etc)
PDF file

1A-2 (Time: 10:40 - 11:05)
TitleWord Level Functional Coverage Computation
Author*Bijan Alizadeh (Microelectronic Research and Development Center of Iran, Iran)
Pagepp. 7 - 12
Detailed information (abstract, keywords, etc)
PDF file

1A-3 (Time: 11:05 - 11:30)
TitleDiscovering the Input Assumptions in Specification Refinement Coverage
AuthorPrasenjit Basu, Sayantan Das, *Pallab Dasgupta, Partha P Chakrabarti (Indian Inst. of Tech. Kharagpur, India)
Pagepp. 13 - 18
Detailed information (abstract, keywords, etc)
PDF file

1A-4 (Time: 11:30 - 11:55)
TitleRefinement Strategies for Verification Methods Based on Datapath Abstraction
Author*Zaher Semon Andraus, Mark Hammond Liffiton, Karem Ahmad Sakallah (Univ. of Michigan, Ann Arbor, United States)
Pagepp. 19 - 24
Detailed information (abstract, keywords, etc)
PDF file

1A-5 (Time: 11:55 - 12:20)
TitleGeneration of Shorter Sequences for High Resolution Error Diagnosis Using Sequential SAT
AuthorSung-Jui Pan, *Kwang-Ting Cheng (Univ. of California, Santa Barbara, United States), John Moondanos, Ziyad Hanna (Intel Co., United States)
Pagepp. 25 - 29
Detailed information (abstract, keywords, etc)
PDF file