Article: Formal and Simulation Covered Together

OneSpin’s PortableCoverage Goes Beyond UCIS

 

How do you know when your IC design is done? When can you declare verification victory? These are the questions that coverage is supposed to help with. When your verification has covered the entire circuit, for lack of a more precise way of articulating it, then you’re done. (At least, with that part of the verification plan…)

 

By Bryon Moyer