Line Coverage for Module :
prim_generic_rom
| Line No. | Total | Covered | Percent |
TOTAL | | 3 | 2 | 66.67 |
CONT_ASSIGN | 22 | 1 | 0 | 0.00 |
ALWAYS | 27 | 2 | 2 | 100.00 |
21 logic unused_cfg;
22 0/1 ==> assign unused_cfg = ^cfg_i;
23
24 logic [Width-1:0] mem [Depth];
25
26 always_ff @(posedge clk_i) begin
27 1/1 if (req_i) begin
Tests: T1 T2 T3
28 1/1 rdata_o <= mem[addr_i];
Tests: T1 T2 T3
29 end
MISSING_ELSE
Branch Coverage for Module :
prim_generic_rom
| Line No. | Total | Covered | Percent |
Branches |
|
2 |
2 |
100.00 |
IF |
27 |
2 |
2 |
100.00 |
27 if (req_i) begin
-1-
28 rdata_o <= mem[addr_i];
==>
29 end
MISSING_ELSE
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
prim_generic_rom
Assertion Details
Name | Attempts | Real Successes | Failures | Incomplete |
noXOnCsI |
43946674 |
43946674 |
0 |
0 |
noXOnCsI
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
43946674 |
43946674 |
0 |
0 |
T1 |
17645 |
17645 |
0 |
0 |
T2 |
24843 |
24843 |
0 |
0 |
T3 |
25767 |
25767 |
0 |
0 |
T4 |
26171 |
26171 |
0 |
0 |
T5 |
16479 |
16479 |
0 |
0 |
T6 |
17525 |
17525 |
0 |
0 |
T7 |
99241 |
99241 |
0 |
0 |
T8 |
16757 |
16757 |
0 |
0 |
T9 |
26156 |
26156 |
0 |
0 |
T10 |
25097 |
25097 |
0 |
0 |