Quantcast
Channel: Cadence Functional Verification Forum
Viewing all articles
Browse latest Browse all 1074

Covered in Formal

$
0
0

In formal parlance, I would like to know what cover/covered means.

For all the assertions, an equivalent cover property is shown. An example would help ..


Viewing all articles
Browse latest Browse all 1074

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>