Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
contents
Function coverage brief .................................................................................................................... 1
by Allen.pan .............................................................................................................................. 1
1. What is function coverage................................................................................................. 1
1.1
What is the test point ............................................................................................ 1
1.2
The features of test points .................................................................................... 2
1.3
The methods to make test points ......................................................................... 2
2. Why we use function coverage ......................................................................................... 2
3. Who write function coverage ............................................................................................ 3
4. Where add function coverage ........................................................................................... 3
5. When verification engineer write function coverage ....................................................... 4
6. How to write function coverage ........................................................................................ 4
6.1
covergroup ............................................................................................................ 4
6.2
coverpoint ............................................................................................................. 5
6.3
bin ......................................................................................................................... 5
7. How much time to kill for function coverage .................................................................... 5
8. Summary ........................................................................................................................... 5
June 2012
do an image of the parable: the test point is the atomic, RTL function and design spec is a
molecular, verification space is higher biological.
June 2012
Spec
?
Verification
Design
June 2012
scenaro coverage
protocal coverage
transaction coverage
env
sequencer
driver
monitor
agent
RM
scoreboard
RAL
monitor
agent
DUT
6.1 covergroup
Covergroup corresponds to the test point, the relationship is one-to-one usually, that
is one covergroup corresponds to one test point, covergroup be composed by
coverpoints.
June 2012
Figure-3 covergroup
6.2 coverpoint
Coverpoint be concerned by test points, the covergourp and coverpoint can be
one-to-one or one-to-many relationship, such as a test point: when A send ten
back-to-back packets to B continuous, then B will send back pressure signal to A and B, in
this example, the number of packet is one coverpoint, the range between packets is one
coverpoint and the back pressure signal is one coverpoint, finally these coverpoint should
be crossed to ensure cross validation of space can be overwritten to.
6.3 bin
Bin is the scope of the coverpoint, for the above example, the number of packets sent
to the B can do a range of constraints, which is bin.
8. Summary
Verification engineers subjective factors influence the quality of the function
coverage, meanwhile RTL design scheme and chip spec have a great impact for
verification engineer, so must ensure that the RTL design scheme and chip spec are clear
enough, and the information passed to verification engineer is sufficient.
June 2012
Function coverage can't solve all problems; it is only one measure method for
verification. If someone wants a full range to guarantee chip quality then must use more
verification methods.