Line Coverage for Module :
rv_plic_target
| Line No. | Total | Covered | Percent |
TOTAL | | 9 | 9 | 100.00 |
CONT_ASSIGN | 58 | 1 | 1 | 100.00 |
CONT_ASSIGN | 59 | 1 | 1 | 100.00 |
ALWAYS | 62 | 5 | 5 | 100.00 |
CONT_ASSIGN | 71 | 1 | 1 | 100.00 |
CONT_ASSIGN | 72 | 1 | 1 | 100.00 |
57
58 1/1 assign irq_d = (max_value > threshold_i) ? max_valid : 1'b0;
Tests: T1 T3 T4
59 1/1 assign irq_id_d = (max_valid) ? max_idx : '0;
Tests: T1 T3 T4
60
61 always_ff @(posedge clk_i or negedge rst_ni) begin : gen_regs
62 1/1 if (!rst_ni) begin
Tests: T1 T2 T3
63 1/1 irq_q <= 1'b0;
Tests: T1 T2 T3
64 1/1 irq_id_q <= '0;
Tests: T1 T2 T3
65 end else begin
66 1/1 irq_q <= irq_d;
Tests: T1 T2 T3
67 1/1 irq_id_q <= irq_id_d;
Tests: T1 T2 T3
68 end
69 end
70
71 1/1 assign irq_o = irq_q;
Tests: T1 T3 T4
72 1/1 assign irq_id_o = irq_id_q;
Tests: T1 T3 T4
Cond Coverage for Module :
rv_plic_target
| Total | Covered | Percent |
Conditions | 4 | 4 | 100.00 |
Logical | 4 | 4 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 58
EXPRESSION ((max_value > threshold_i) ? max_valid : 1'b0)
------------1------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 59
EXPRESSION (max_valid ? max_idx : '0)
----1----
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
Branch Coverage for Module :
rv_plic_target
| Line No. | Total | Covered | Percent |
Branches |
|
6 |
6 |
100.00 |
TERNARY |
58 |
2 |
2 |
100.00 |
TERNARY |
59 |
2 |
2 |
100.00 |
IF |
62 |
2 |
2 |
100.00 |
58 assign irq_d = (max_value > threshold_i) ? max_valid : 1'b0;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T3,T4 |
0 |
Covered |
T1,T2,T3 |
59 assign irq_id_d = (max_valid) ? max_idx : '0;
-1-
==>
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T3,T4 |
0 |
Covered |
T1,T2,T3 |
62 if (!rst_ni) begin
-1-
63 irq_q <= 1'b0;
==>
64 irq_id_q <= '0;
65 end else begin
66 irq_q <= irq_d;
==>
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |