Monday Sessions
Tuesday Sessions
Wednesday Tutorials
Keynote Address
Panel Sessions
Speakers/Presenters
Tuesday, February 25, 2003
8:30 AM - 12:30 PM
Session 3 - Verification Languages Trends and Techniques
3.1 The Case for Verification Languages
Greg Peterson - Univ. of Tennessee • Gabe Moretti - EDN Worldwide/Reed Electronic Grp.

3.2 Creating Useful Coding Guidelines for a Verification Environment
Ambar Sarkar - Paradigm Works

3.3 HDL and C/C++ Design Productivity in a Mixed Language Environment
Allan Zacharda - Model Technology, a Mentor Graphics Co.

3.4 Unified HDL Methodology Eases FPGA to ASIC Migration
Jill Wilker - Chip Express, Inc.

Break • 10:30 AM - 11:00 AM
3.5 Curing Schizophrenic Tendencies in Multi-Level System Design
M. M. Kamal Hashmi, Chris Jones - SpiraTech, Ltd.

3.6 Installing Functional Coverage Metrics into VHDL Verification Simulations
Michael McKinney - Texas Instruments, Inc.

3.7 Verification of Skew and Jitter Tolerance and Compensation in High-Speed Interfaces
Alex Genusov, Steve Callahan - Zaiq Technologies