[go: up one dir, main page]

0% found this document useful (0 votes)
13 views1 page

Coverage Exercise

The document outlines a series of tasks for creating cover points for various parameters such as ARADDR, ARLEN, ARSIZE, ARBURST, RRESP, RID, RDATA, ARID, AWADDR, WDATA, BRESP, and AWBURST. Each task specifies the number of bins, conditions for sampling, and coverage options to be implemented. Additionally, it emphasizes the need to compile all cover points into a single cover group and to provide a coverage report for the bins created.
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
13 views1 page

Coverage Exercise

The document outlines a series of tasks for creating cover points for various parameters such as ARADDR, ARLEN, ARSIZE, ARBURST, RRESP, RID, RDATA, ARID, AWADDR, WDATA, BRESP, and AWBURST. Each task specifies the number of bins, conditions for sampling, and coverage options to be implemented. Additionally, it emphasizes the need to compile all cover points into a single cover group and to provide a coverage report for the bins created.
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

Coverage Exercise

1. Create Cover point for ARADDR such that it generates 16 bins of equal range. Do not use
auto_bin_max.
2. Create Cover point for ARLEN to have 3 bins, min, max and other values.
3. Create Cover point for ARSIZE using array to generate bins for all possible values.
4. Create Cover point for ARBURST for all valid values. If the Value reserved comes, it should be
ignored.
5. Create Cover point for RRESP to such that if response is received as SLVERR and DECERR, it
should shout an Error
6. Create Cover point for RID using overwritten Sample method to be sampled only when there is
RLAST
7. Create cover point for RDATA to generate 2 bins such as
a. When its MSB is high (rest of bits does not matter)
b. When its LSB is high (rest of the bits does not matter)
8. Create Cover point for ARID using auto_bin_max to generate 4 bins.
9. Create cross coverage for:
a. ARLEN X ARBURST
b. ARLEN X ARSIZE
c. If WRAP burst type is sampled with any un-supported length, coverage should shout
Error.
10. Update ARADDR cover point using Coverage options such that out of 16, if any 10 bins got hit,
the coverpoint will show 100% coverage.
11. Create Cover point for AWADDR such that only Addressed 0 to 15 are covered, other are
sampled into default_bin.
12. Create cover point of WDATA but using coverage options, make sure that it does not contribute
to the total coverage numbers.
13. Create cover point for BRESP to be sampled only when BLAST is 1 using iff option.
14. Create cover point for AWADDR such that only bins are created only when the address is
Modulo 16 (% 16).
15. Create cover point for AWBURST such that
a. Transition from one valid burst type to all other valid Burst Type
b. 5 consecutive requests of INCR Type
c. 3 to 5 consecutive requests of WRAP Type
d. 3 to 5 non-consecutive FIXED Type

Add all these cover points into a single Cover Group. With each cover point example, share the coverage
report indicating all the bins.

You might also like