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 |