Line Coverage for Module : 
prim_rom_adv
 | Line No. | Total | Covered | Percent | 
| TOTAL |  | 3 | 3 | 100.00 | 
| ALWAYS | 40 | 3 | 3 | 100.00 | 
39                        always_ff @(posedge clk_i or negedge rst_ni) begin
40         1/1              if (!rst_ni) begin
           Tests:       T1 T2 T3 
41         1/1                rvalid_o <= 1'b0;
           Tests:       T1 T2 T3 
42                          end else begin
43         1/1                rvalid_o <= req_i;
           Tests:       T1 T2 T3 
Branch Coverage for Module : 
prim_rom_adv
 | Line No. | Total | Covered | Percent | 
| Branches | 
 | 
2 | 
2 | 
100.00 | 
| IF | 
40 | 
2 | 
2 | 
100.00 | 
40             if (!rst_ni) begin
               -1-  
41               rvalid_o <= 1'b0;
                 ==>
42             end else begin
43               rvalid_o <= req_i;
                 ==>
Branches:
| -1- | Status | Tests | 
| 1 | 
Covered | 
T1,T2,T3 | 
| 0 | 
Covered | 
T1,T2,T3 | 
Assert Coverage for Module : 
prim_rom_adv
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete | 
| 
noXOnCsI | 
39678707 | 
39678707 | 
0 | 
0 | 
noXOnCsI
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
39678707 | 
39678707 | 
0 | 
0 | 
| T1 | 
25764 | 
25764 | 
0 | 
0 | 
| T2 | 
25502 | 
25502 | 
0 | 
0 | 
| T3 | 
24840 | 
24840 | 
0 | 
0 | 
| T4 | 
16483 | 
16483 | 
0 | 
0 | 
| T5 | 
24939 | 
24939 | 
0 | 
0 | 
| T6 | 
24941 | 
24941 | 
0 | 
0 | 
| T7 | 
17994 | 
17994 | 
0 | 
0 | 
| T8 | 
17548 | 
17548 | 
0 | 
0 | 
| T9 | 
17816 | 
17816 | 
0 | 
0 | 
| T10 | 
199744 | 
199744 | 
0 | 
0 |