Functional Coverage Flashcards
What does a cover group contain?
A cover group contains cover points, options, formal arguments, and an optional trigger.
The basic unit of coverage.
A bin.
What is the domain of a cover point?
A domain is the range of possible values. A three bit variable has a range of 000-111.
How many bins would be needed to measure a 5-bit variable crossed with a 3-bit variable?
M*N bins would be needed. In this case, 2^^5 * 2^^3 = 2^^8 = 256;
Can coverage group sampling be stopped and started in a procedure?
Yes. cover groups have stop() and start() methods.
Does auto_bin_max apply to enumerated types?
No. When you gather coverage on enumerated types, auto_bin_max does not apply.
Can you use an expression in a cover point? If so, where would it go?
Yes. It goes where the signal would go, but don’t forget the parens:
data_high : coverpoint (trans.data >= 64'hfffffff0)
Do default bins count towards coverage?
No. The LRM says that default bins are not used in coverage calculation.
What does cross coverage measure?
Cross coverage measures what values were seen for two or more cover points at the same time.
When are bins created?
Bins are created when you specify a variable or expression in a cover point.
