|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Tuesday, February 15, 2005 |
|
|
|
| 3.1 A Methodology for Verifying Sequential Reconvergence of Clock-Domain Crossing Signals Tai Ly, Chris Kwok, Curt Widdoes - Mentor Graphics Corp., San Jose, CA 3.2 Developing Transaction Level Models for Verification 3.3 Using MatLab and Simulink in a SystemC Verification Environment |
|