coverage

Ashish Darbari concludes his series on the need for new verification strategies by considering Debug and Signoff & Review.

Unreachability analysis can help find design code that can never be executed, helping verification engineers refine their coverage goals.

Using formal core coverage to understand the effectiveness of formal coverage verification strategies in SoC design.

Verification IP can help verify that memory-controller implementations meet standards; test an implementation against specific memories; and drive traffic for SoC verification and power analysis. Here's how to choose it.

Considering design style, assertions, engines and coverage can help ease the development of an effective formal verification test plan