Monday Tutorials
Tuesday Sessions
Wednesday Sessions
Keynote Address
Panel Sessions
Speakers/Presenters
Wednesday, March 3, 2004
10:00 AM - 12:00 PM
Session 6 - Verification Strategies
6.1 Multilayered IP for System Level Verification
Richard Vialls - Paradigm Works, Andover, MA
Roxan Saint-Hilaire - Paradigm Works, Mountain View, CA

6.2 An Efficient Reactive Testbench with Bug Identification Structure
Namdo Kim - Samsung Electronics Co., Ltd., Yongin-City, ROC
Prandoni Maurizio - Synopsys GmbH, Aschheim, Germany
Byeong Min, K. M. Choi, J. T. Kong - Samsung Electronics Co., Ltd., Yongin-City, ROC

6.3 Architecting Testbenches for Exception Testing
 Khizar Khan - Verification Central, Sunnyvale, CA
Faisal Haque - Cisco Systems, Fremont, CA

6.4 Semantic Analysis of Assertions in the RTL Design
Kanwar Singh, Pradeep Goyal - Cadence Design Systems, Inc., Noida, India