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 | 
27995910 | 
27995910 | 
0 | 
0 | 
noXOnCsI
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
27995910 | 
27995910 | 
0 | 
0 | 
| T1 | 
8466 | 
8466 | 
0 | 
0 | 
| T2 | 
8581 | 
8581 | 
0 | 
0 | 
| T3 | 
12329 | 
12329 | 
0 | 
0 | 
| T4 | 
9794 | 
9794 | 
0 | 
0 | 
| T5 | 
9270 | 
9270 | 
0 | 
0 | 
| T6 | 
12681 | 
12681 | 
0 | 
0 | 
| T7 | 
13551 | 
13551 | 
0 | 
0 | 
| T8 | 
13076 | 
13076 | 
0 | 
0 | 
| T9 | 
13259 | 
13259 | 
0 | 
0 | 
| T10 | 
13917 | 
13917 | 
0 | 
0 |