Monday Sessions
Tuesday Sessions
Wednesday Tutorials
Keynote Address
Panel Sessions
Speakers/Presenters
Monday, February 24, 2003
8:30 AM - 12:00 PM
Session 1 - Using Assertions for Design and Verification
1.1 SoC Verification with Assertions
Shahid Khan - SiConcepts, Inc. • Faisal Haque - Cisco Systems, Inc.

1.2 Assertion-Based Hardware Debugging
Bassam Tabbara, Yu Chin-Su, George Bakewell, Scott Sandler - Novas Software, Inc.

1.3 Using Assertion-Based Verification to Verify Clock Domain Crossing Signals
 Chris Kwok, Tai Ly, Vijay Gupta - 0-In Design Automation
Break • 10:00 AM - 10:30 AM
1.4 Implementing e Assertion Checkers from an SDL Executable Specification
 Jean-François Lemire, Sébastien Regimbal, Guy Bois, Yvon Savaria - École Polytechnique de Montréal
El Mostapha Aboulhamid - Université de Montréal • André Baron - PMC-Sierra

1.5 Achieving Determinism in SystemVerilog 3.1 Scheduling Semantics
 Phil Moorby - Synopsys, Inc.

1.6 Creative Assertion and Constraint Methods for Formal Design Verification
 Joseph Richards, Darryl Phillips - SGI