2-TA3
Hope Is Not a (Verification) Strategy — Coverage Model-Driven Functional Scenario Generation
Tuesday, February 5 | 10:15 am – 10:55 am
Adnan Hamid, Chief Executive Officer, Breker Verification
Hoping that random testing will achieve complete functional verification is no longer a reasonable verification strategy or a reasonable verification methodology. Current functional verification strategies that rely on constrained random transactions to achieve coverage have become futile as designs increase in functionality and complexity. In this paper, we discuss the key limitations of random transaction-based verification. We then propose using graph-based scenario generation as the solution to verifying complex designs. Graph-based scenario generation provides for a systematic analysis of functional use models, automates the generation of targeted input stimulus and checking of output results, and guarantees coverage of the defined scenario space.
Purchase your copy of the DesignCon 2008 CD-ROM |
|
DesignCon 2008 Technical Paper Proceedings CD-ROM
|
