-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathauto_verification.txt
More file actions
72 lines (70 loc) · 6.75 KB
/
auto_verification.txt
File metadata and controls
72 lines (70 loc) · 6.75 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
COVERGROUP COVERAGE:
----------------------------------------------------------------------------------------------------
Covergroup Metric Goal/ Status
At Least
----------------------------------------------------------------------------------------------------
TYPE /VendMachine_svtm/myCoverGroup 100.0% 100 Covered
Coverpoint myCoverGroup::PENNY 100.0% 100 Covered
Coverpoint myCoverGroup::NICKLE 100.0% 100 Covered
Coverpoint myCoverGroup::DIME 100.0% 100 Covered
Coverpoint myCoverGroup::QUARTER 100.0% 100 Covered
Coverpoint myCoverGroup::CREDIT 100.0% 100 Covered
Coverpoint myCoverGroup::ERROR 100.0% 100 Covered
Coverpoint myCoverGroup::PRO 100.0% 100 Covered
Cross myCoverGroup::CROSS_COVERAGE 100.0% 100 Covered
Covergroup instance \/VendMachine_svtm/#ublk#0#65/cg
100.0% 100 Covered
Coverpoint PENNY 100.0% 100 Covered
covered/total bins: 2 2
missing/total bins: 0 2
bin auto['b0] 13440 1 Covered
bin auto['b1] 220 1 Covered
Coverpoint NICKLE 100.0% 100 Covered
covered/total bins: 2 2
missing/total bins: 0 2
bin auto['b0] 13490 1 Covered
bin auto['b1] 170 1 Covered
Coverpoint DIME 100.0% 100 Covered
covered/total bins: 2 2
missing/total bins: 0 2
bin auto['b0] 13486 1 Covered
bin auto['b1] 174 1 Covered
Coverpoint QUARTER 100.0% 100 Covered
covered/total bins: 2 2
missing/total bins: 0 2
bin auto['b0] 13502 1 Covered
bin auto['b1] 158 1 Covered
Coverpoint CREDIT 100.0% 100 Covered
covered/total bins: 7 7
missing/total bins: 0 7
bin zero 1742 1 Covered
bin one 778 1 Covered
bin two 3616 1 Covered
bin three 3770 1 Covered
bin four 2704 1 Covered
bin five 836 1 Covered
bin six 214 1 Covered
Coverpoint ERROR 100.0% 100 Covered
covered/total bins: 2 2
missing/total bins: 0 2
bin auto['b0] 13238 1 Covered
bin auto['b1] 422 1 Covered
Coverpoint PRO 100.0% 100 Covered
covered/total bins: 4 4
missing/total bins: 0 4
bin auto['b00] 4352 1 Covered
bin auto['b01] 4726 1 Covered
bin auto['b10] 1598 1 Covered
bin auto['b11] 2958 1 Covered
Cross CROSS_COVERAGE 100.0% 100 Covered
covered/total bins: 8 8
missing/total bins: 0 8
bin <auto['b00],auto['b0]> 4150 1 Covered
bin <auto['b01],auto['b0]> 4660 1 Covered
bin <auto['b10],auto['b0]> 1546 1 Covered
bin <auto['b11],auto['b0]> 2860 1 Covered
bin <auto['b00],auto['b1]> 202 1 Covered
bin <auto['b01],auto['b1]> 66 1 Covered
bin <auto['b10],auto['b1]> 52 1 Covered
bin <auto['b11],auto['b1]> 98 1 Covered
TOTAL COVERGROUP COVERAGE: 100.0% COVERGROUP TYPES: 1