Monday Sessions
Tuesday Sessions
Wednesday Tutorials
Keynote Address
Panel Sessions
Speakers/Presenters
Tuesday, February 25, 2003
1:30 PM - 5:00 PM
Session 5 - Verification Tricks and Methods
5.1 The Shotgun Approach to Verification - Don't Shoot Blindfolded!
Chuck Mangan, Andrew Paul Marriott - Qualis Design Corp.

5.2 Audit Your Design to Determine and Even Reduce the Amount of Random Testing Needed
Daniel Joyce, Ramon Enriquez - Hewlett-Packard Co.
Raymond Harlan - no affiliation

5.3 Patterns in Verification: Software Engineering Meets Testbench Development
 Alfonso Urzua, Ralph Tiberio, John Berry - Sun Microsystems
Break • 3:00 PM - 3:30 PM
5.4 Validation of Functional Processor Descriptions by Test Generation
Fabrice Baray - STMicroelectronics • Philippe Codognet, Daniel Diaz - Univ. of Paris
Henri Michel - STMicroelectronics

5.5 To Develop a Mature Black-Box Testbench Generator, Bite these Bullets
 Oscar Strohacker - IBM Corp.

5.6 X to D - A Danger Zone
Arun Chandra, Catherine Ahlschlager - Sun Microsystems