Monday Tutorials
Tuesday Sessions
Wednesday Sessions
Keynote Address
Panel Sessions
Speakers/Presenters
Tuesday, March 2, 2004
10:30 AM - 12:30 PM
Session 2 - Coverage and Assertion-Based Verification
2.1 Using Coverage to Speed Verification and Ensure Completeness
Zeev Kirshenbaum, Sharon Rosenberg - Verisity Design, Inc., Mountain View, CA

2.2 Expression Coverability Analysis: Improving Code Coverage Analysis with Model Checking
Graeme Cunningham - Motorola/ISLI, Livingston, UK
Paul Jackson - The Univ. of Edinburgh, Edinburgh, UK
Julian Dines - Motorola, Livingston, UK

2.3 Coverage Based DV from Testplan to Tapeout (Using Specman and 0in Assertions)
 Carey Kloss, Dean Chao - Cisco Systems, San Jose, CA

2.4 State Dependent Stimulus Generation Using Constraints
Shashidhar Thakur - Synopsys, Inc., Mountain View, CA
Janick Bergeron - Synopsys, Inc., Ottawa, ON, Canada