Group : tb.dut.kmac_cov_if::cmd_process_cg
Summary for Group tb.dut.kmac_cov_if::cmd_process_cg
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
Variables |
7 |
0 |
7 |
100.00 |
Variables for Group tb.dut.kmac_cov_if::cmd_process_cg
Summary for Variable kmac_keccak_state
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
2 |
0 |
2 |
100.00 |
User Defined Bins for kmac_keccak_state
Bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
inactive |
683642 |
1 |
|
|
T1 |
4529 |
|
T2 |
4453 |
|
T3 |
4531 |
active |
10897 |
1 |
|
|
T1 |
2 |
|
T2 |
78 |
|
T13 |
32 |
Summary for Variable kmac_msgfifo_empty
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
2 |
0 |
2 |
100.00 |
User Defined Bins for kmac_msgfifo_empty
Bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
not_empty |
10181 |
1 |
|
|
T2 |
8 |
|
T13 |
4 |
|
T14 |
24 |
empty |
684358 |
1 |
|
|
T1 |
4531 |
|
T2 |
4523 |
|
T3 |
4531 |
Summary for Variable kmac_msgfifo_full
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
2 |
0 |
2 |
100.00 |
User Defined Bins for kmac_msgfifo_full
Bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
not_full |
694363 |
1 |
|
|
T1 |
4531 |
|
T2 |
4531 |
|
T3 |
4531 |
full |
176 |
1 |
|
|
T17 |
18 |
|
T18 |
2 |
|
T24 |
1 |
Summary for Variable kmac_msgfifo_has_data
CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
User Defined Bins |
1 |
0 |
1 |
100.00 |
User Defined Bins for kmac_msgfifo_has_data
Bins
NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
has_data |
5571 |
1 |
|
|
T2 |
8 |
|
T13 |
4 |
|
T14 |
24 |
0% |
10% |
20% |
30% |
40% |
50% |
60% |
70% |
80% |
90% |
100% |