 |
|||||
 |
 |
 |
 |
 |
 |
|
|
|
|
|
|
|
| Wednesday, February 26, 2003 |
8:00 AM - 12:00 PM
|
|
|
||
| Presenter: Kelly Miller - Synopsys, Inc.
|
||
| With designs continuing to increase in complexity, functional verification is taking up a significant portion of the product development time. Finding bugs in the design, quickly, is the primary focus of any functional verification team. To find bugs, one needs to create powerful stimulus to trigger untested and complex corner cases.
This tutorial will present a sophisticated stimulus generation methodology using OpenVera for an AMBA bus-based design. The tutorial will introduce the concept for reusable, constraints-driven stimulus generation methodology, to create powerful stimulus to find bugs in the design. It will also present the OpenVera Modeling Architecture, to create a layered testbench, to enable transaction level verification of the AMBA interface. |
||