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 Order today!