A look at the assertion-based verification flow and formal verification algorithms and why these have become necessary for complex designs.
In this second white paper in a three-part series about formal verification concepts, we examine the assertion-based verification flow and some of the formal verification algorithms. This kind of approach has become necessary as SoC designs become more challenging and as the traditional method of simulation proves too slow, too costly, and insufficient in terms of coverage.
To downoload this paper, click here.
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
Leave a Reply