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 | 
47840569 | 
47840569 | 
0 | 
0 | 
noXOnCsI
| Name | Attempts | Real Successes | Failures | Incomplete | 
| Total | 
47840569 | 
47840569 | 
0 | 
0 | 
| T1 | 
25459 | 
25459 | 
0 | 
0 | 
| T2 | 
24893 | 
24893 | 
0 | 
0 | 
| T3 | 
25550 | 
25550 | 
0 | 
0 | 
| T4 | 
25442 | 
25442 | 
0 | 
0 | 
| T5 | 
49561 | 
49561 | 
0 | 
0 | 
| T6 | 
34713 | 
34713 | 
0 | 
0 | 
| T7 | 
17389 | 
17389 | 
0 | 
0 | 
| T8 | 
16537 | 
16537 | 
0 | 
0 | 
| T9 | 
49551 | 
49551 | 
0 | 
0 | 
| T10 | 
17319 | 
17319 | 
0 | 
0 |