When constrained random test pattern generation became the de facto way to verify designs, reference models became necessary to check that a design was producing the correct output. These were often ...

Every design verification technique requires coverage metrics to gauge progress, assess effectiveness, and help determine when the design is robust enough for tapeout. At every step of the way and ...

Assertions are a powerful tool for design verification, but you need to be able to evaluate their effectiveness. Assertion-based coverage metrics provide an answer. During the decade of the 1980s, it ...