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

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 1088

Trending Articles