The advent of new technologies—such as constrained-random data generation, assertion-based verification, functional coverage, and formal property checking—has changed the way we see functional verification productivity. Simulation speed is no longer the primary benchmark on which a verification process should be evaluated. Although simulation continues to be the heart of any realistic verification methodology, an advanced verification process enables users to manage the application of the aforementioned technologies in a complementary way, providing confidence that the myriad corner cases of the design space have been covered.

Note: By clicking on the above link, this paper will be emailed to your TechOnLine log-in address by Mentor Graphics.