Line Coverage for Module :
prim_intr_hw ( parameter Width=1,FlopOutput=1,IntrT="Status" )
Line Coverage for Module self-instances :
| Line No. | Total | Covered | Percent |
| TOTAL | | 10 | 9 | 90.00 |
| ALWAYS | 75 | 4 | 3 | 75.00 |
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 83 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 88 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 75 |
2 |
2 |
| 76 |
1 |
2 |
|
|
|
MISSING_ELSE |
| 81 |
1 |
1 |
| 83 |
1 |
1 |
| 88 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Line Coverage for Module :
prim_intr_hw ( parameter Width=1,FlopOutput=1,IntrT="Event" )
Line Coverage for Module self-instances :
| Line No. | Total | Covered | Percent |
| TOTAL | | 7 | 7 | 100.00 |
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 64 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 67 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 62 |
1 |
1 |
| 64 |
1 |
1 |
| 67 |
1 |
1 |
| 69 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Module :
prim_intr_hw ( parameter Width=1,FlopOutput=1,IntrT="Status" )
Cond Coverage for Module self-instances :
| Total | Covered | Percent |
| Conditions | 9 | 7 | 77.78 |
| Logical | 9 | 7 | 77.78 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 81
EXPRESSION (event_intr_i | g_intr_status.test_q)
------1----- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 83
EXPRESSION (event_intr_i | g_intr_status.test_q)
------1----- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T27,T31 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T27,T31 |
Cond Coverage for Module :
prim_intr_hw ( parameter Width=1,FlopOutput=1,IntrT="Event" )
Cond Coverage for Module self-instances :
| Total | Covered | Percent |
| Conditions | 12 | 9 | 75.00 |
| Logical | 12 | 9 | 75.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 62
EXPRESSION ((({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i) | event_intr_i)
-----------------------------1---------------------------- ------2-----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
LINE 62
SUB-EXPRESSION (({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i)
----------------1---------------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 67
EXPRESSION (g_intr_event.new_event | reg2hw_intr_state_q_i)
-----------1---------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T36,T37,T38 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T36,T37,T38 |
Branch Coverage for Module :
prim_intr_hw ( parameter Width=1,FlopOutput=1,IntrT="Status" )
Branch Coverage for Module self-instances :
| Line No. | Total | Covered | Percent |
| Branches |
|
5 |
4 |
80.00 |
| IF |
75 |
3 |
2 |
66.67 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 75 if ((!rst_ni))
-2-: 76 if (reg2hw_intr_test_qe_i)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Not Covered |
|
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Branch Coverage for Module :
prim_intr_hw ( parameter Width=1,FlopOutput=1,IntrT="Event" )
Branch Coverage for Module self-instances :
| Line No. | Total | Covered | Percent |
| Branches |
|
2 |
2 |
100.00 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
prim_intr_hw
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
55026 |
55026 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
55026 |
55026 |
0 |
0 |
| T1 |
18 |
18 |
0 |
0 |
| T2 |
18 |
18 |
0 |
0 |
| T3 |
18 |
18 |
0 |
0 |
| T4 |
18 |
18 |
0 |
0 |
| T7 |
18 |
18 |
0 |
0 |
| T17 |
18 |
18 |
0 |
0 |
| T18 |
18 |
18 |
0 |
0 |
| T19 |
18 |
18 |
0 |
0 |
| T20 |
18 |
18 |
0 |
0 |
| T27 |
18 |
18 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_hw_pkt_received
| Line No. | Total | Covered | Percent |
| TOTAL | | 10 | 9 | 90.00 |
| ALWAYS | 75 | 4 | 3 | 75.00 |
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 83 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 88 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 75 |
2 |
2 |
| 76 |
1 |
2 |
|
|
|
MISSING_ELSE |
| 81 |
1 |
1 |
| 83 |
1 |
1 |
| 88 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_hw_pkt_received
| Total | Covered | Percent |
| Conditions | 9 | 7 | 77.78 |
| Logical | 9 | 7 | 77.78 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 81
EXPRESSION (event_intr_i | g_intr_status.test_q)
------1----- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 83
EXPRESSION (event_intr_i | g_intr_status.test_q)
------1----- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T31,T39,T40 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T31,T39,T41 |
Branch Coverage for Instance : tb.dut.intr_hw_pkt_received
| Line No. | Total | Covered | Percent |
| Branches |
|
5 |
4 |
80.00 |
| IF |
75 |
3 |
2 |
66.67 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 75 if ((!rst_ni))
-2-: 76 if (reg2hw_intr_test_qe_i)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Not Covered |
|
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_hw_pkt_received
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_hw_pkt_sent
| Line No. | Total | Covered | Percent |
| TOTAL | | 10 | 9 | 90.00 |
| ALWAYS | 75 | 4 | 3 | 75.00 |
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 83 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 88 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 75 |
2 |
2 |
| 76 |
1 |
2 |
|
|
|
MISSING_ELSE |
| 81 |
1 |
1 |
| 83 |
1 |
1 |
| 88 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_hw_pkt_sent
| Total | Covered | Percent |
| Conditions | 9 | 7 | 77.78 |
| Logical | 9 | 7 | 77.78 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 81
EXPRESSION (event_intr_i | g_intr_status.test_q)
------1----- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T27 |
LINE 83
EXPRESSION (event_intr_i | g_intr_status.test_q)
------1----- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T27 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T27,T9 |
| 1 | 0 | Covered | T2,T4,T5 |
| 1 | 1 | Covered | T1,T27,T9 |
Branch Coverage for Instance : tb.dut.intr_hw_pkt_sent
| Line No. | Total | Covered | Percent |
| Branches |
|
5 |
4 |
80.00 |
| IF |
75 |
3 |
2 |
66.67 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 75 if ((!rst_ni))
-2-: 76 if (reg2hw_intr_test_qe_i)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Not Covered |
|
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_hw_pkt_sent
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_av_out_empty
| Line No. | Total | Covered | Percent |
| TOTAL | | 10 | 9 | 90.00 |
| ALWAYS | 75 | 4 | 3 | 75.00 |
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 83 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 88 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 75 |
2 |
2 |
| 76 |
1 |
2 |
|
|
|
MISSING_ELSE |
| 81 |
1 |
1 |
| 83 |
1 |
1 |
| 88 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_av_out_empty
| Total | Covered | Percent |
| Conditions | 9 | 7 | 77.78 |
| Logical | 9 | 7 | 77.78 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 81
EXPRESSION (event_intr_i | g_intr_status.test_q)
------1----- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 83
EXPRESSION (event_intr_i | g_intr_status.test_q)
------1----- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T42,T43 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T42,T43 |
Branch Coverage for Instance : tb.dut.intr_av_out_empty
| Line No. | Total | Covered | Percent |
| Branches |
|
5 |
4 |
80.00 |
| IF |
75 |
3 |
2 |
66.67 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 75 if ((!rst_ni))
-2-: 76 if (reg2hw_intr_test_qe_i)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Not Covered |
|
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_av_out_empty
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_rx_full
| Line No. | Total | Covered | Percent |
| TOTAL | | 10 | 9 | 90.00 |
| ALWAYS | 75 | 4 | 3 | 75.00 |
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 83 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 88 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 75 |
2 |
2 |
| 76 |
1 |
2 |
|
|
|
MISSING_ELSE |
| 81 |
1 |
1 |
| 83 |
1 |
1 |
| 88 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_rx_full
| Total | Covered | Percent |
| Conditions | 9 | 7 | 77.78 |
| Logical | 9 | 7 | 77.78 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 81
EXPRESSION (event_intr_i | g_intr_status.test_q)
------1----- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T29,T44,T45 |
LINE 83
EXPRESSION (event_intr_i | g_intr_status.test_q)
------1----- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T29,T44,T45 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T46,T47,T48 |
| 1 | 0 | Covered | T29,T44,T45 |
| 1 | 1 | Covered | T49,T50,T51 |
Branch Coverage for Instance : tb.dut.intr_rx_full
| Line No. | Total | Covered | Percent |
| Branches |
|
5 |
4 |
80.00 |
| IF |
75 |
3 |
2 |
66.67 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 75 if ((!rst_ni))
-2-: 76 if (reg2hw_intr_test_qe_i)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Not Covered |
|
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_rx_full
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_av_setup_empty
| Line No. | Total | Covered | Percent |
| TOTAL | | 10 | 9 | 90.00 |
| ALWAYS | 75 | 4 | 3 | 75.00 |
| CONT_ASSIGN | 81 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 83 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 88 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 75 |
2 |
2 |
| 76 |
1 |
2 |
|
|
|
MISSING_ELSE |
| 81 |
1 |
1 |
| 83 |
1 |
1 |
| 88 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_av_setup_empty
| Total | Covered | Percent |
| Conditions | 9 | 7 | 77.78 |
| Logical | 9 | 7 | 77.78 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 81
EXPRESSION (event_intr_i | g_intr_status.test_q)
------1----- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 83
EXPRESSION (event_intr_i | g_intr_status.test_q)
------1----- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T52,T53,T54 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T52,T53,T54 |
Branch Coverage for Instance : tb.dut.intr_av_setup_empty
| Line No. | Total | Covered | Percent |
| Branches |
|
5 |
4 |
80.00 |
| IF |
75 |
3 |
2 |
66.67 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 75 if ((!rst_ni))
-2-: 76 if (reg2hw_intr_test_qe_i)
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Not Covered |
|
| 0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_av_setup_empty
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_powered
| Line No. | Total | Covered | Percent |
| TOTAL | | 7 | 7 | 100.00 |
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 64 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 67 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 62 |
1 |
1 |
| 64 |
1 |
1 |
| 67 |
1 |
1 |
| 69 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_powered
| Total | Covered | Percent |
| Conditions | 12 | 7 | 58.33 |
| Logical | 12 | 7 | 58.33 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 62
EXPRESSION ((({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i) | event_intr_i)
-----------------------------1---------------------------- ------2-----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
LINE 62
SUB-EXPRESSION (({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i)
----------------1---------------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 67
EXPRESSION (g_intr_event.new_event | reg2hw_intr_state_q_i)
-----------1---------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Not Covered | |
Branch Coverage for Instance : tb.dut.intr_powered
| Line No. | Total | Covered | Percent |
| Branches |
|
2 |
2 |
100.00 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_powered
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_link_suspend
| Line No. | Total | Covered | Percent |
| TOTAL | | 7 | 7 | 100.00 |
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 64 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 67 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 62 |
1 |
1 |
| 64 |
1 |
1 |
| 67 |
1 |
1 |
| 69 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_link_suspend
| Total | Covered | Percent |
| Conditions | 12 | 7 | 58.33 |
| Logical | 12 | 7 | 58.33 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 62
EXPRESSION ((({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i) | event_intr_i)
-----------------------------1---------------------------- ------2-----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T7,T8,T9 |
| 1 | 0 | Not Covered | |
LINE 62
SUB-EXPRESSION (({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i)
----------------1---------------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T27 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 67
EXPRESSION (g_intr_event.new_event | reg2hw_intr_state_q_i)
-----------1---------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T7,T8,T9 |
| 1 | 0 | Covered | T7,T8,T9 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T7,T8,T9 |
| 1 | 1 | Not Covered | |
Branch Coverage for Instance : tb.dut.intr_link_suspend
| Line No. | Total | Covered | Percent |
| Branches |
|
2 |
2 |
100.00 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_link_suspend
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_link_in_err
| Line No. | Total | Covered | Percent |
| TOTAL | | 7 | 7 | 100.00 |
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 64 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 67 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 62 |
1 |
1 |
| 64 |
1 |
1 |
| 67 |
1 |
1 |
| 69 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_link_in_err
| Total | Covered | Percent |
| Conditions | 12 | 7 | 58.33 |
| Logical | 12 | 7 | 58.33 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 62
EXPRESSION ((({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i) | event_intr_i)
-----------------------------1---------------------------- ------2-----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T55,T56,T57 |
| 1 | 0 | Not Covered | |
LINE 62
SUB-EXPRESSION (({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i)
----------------1---------------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 67
EXPRESSION (g_intr_event.new_event | reg2hw_intr_state_q_i)
-----------1---------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T55,T56,T57 |
| 1 | 0 | Covered | T55,T56,T57 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T55,T56,T57 |
| 1 | 1 | Not Covered | |
Branch Coverage for Instance : tb.dut.intr_link_in_err
| Line No. | Total | Covered | Percent |
| Branches |
|
2 |
2 |
100.00 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_link_in_err
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_frame
| Line No. | Total | Covered | Percent |
| TOTAL | | 7 | 7 | 100.00 |
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 64 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 67 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 62 |
1 |
1 |
| 64 |
1 |
1 |
| 67 |
1 |
1 |
| 69 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_frame
| Total | Covered | Percent |
| Conditions | 12 | 7 | 58.33 |
| Logical | 12 | 7 | 58.33 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 62
EXPRESSION ((({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i) | event_intr_i)
-----------------------------1---------------------------- ------2-----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T7,T4,T5 |
| 1 | 0 | Not Covered | |
LINE 62
SUB-EXPRESSION (({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i)
----------------1---------------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 67
EXPRESSION (g_intr_event.new_event | reg2hw_intr_state_q_i)
-----------1---------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T7,T4,T5 |
| 1 | 0 | Covered | T7,T4,T5 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T7,T4,T5 |
| 1 | 1 | Not Covered | |
Branch Coverage for Instance : tb.dut.intr_frame
| Line No. | Total | Covered | Percent |
| Branches |
|
2 |
2 |
100.00 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_frame
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_av_overflow
| Line No. | Total | Covered | Percent |
| TOTAL | | 7 | 7 | 100.00 |
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 64 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 67 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 62 |
1 |
1 |
| 64 |
1 |
1 |
| 67 |
1 |
1 |
| 69 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_av_overflow
| Total | Covered | Percent |
| Conditions | 12 | 8 | 66.67 |
| Logical | 12 | 8 | 66.67 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 62
EXPRESSION ((({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i) | event_intr_i)
-----------------------------1---------------------------- ------2-----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T21,T58,T59 |
| 1 | 0 | Not Covered | |
LINE 62
SUB-EXPRESSION (({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i)
----------------1---------------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 67
EXPRESSION (g_intr_event.new_event | reg2hw_intr_state_q_i)
-----------1---------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T21,T58,T59 |
| 1 | 0 | Covered | T21,T58,T59 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T21,T58,T59 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Covered | T21,T58,T59 |
Branch Coverage for Instance : tb.dut.intr_av_overflow
| Line No. | Total | Covered | Percent |
| Branches |
|
2 |
2 |
100.00 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_av_overflow
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_disconnected
| Line No. | Total | Covered | Percent |
| TOTAL | | 7 | 7 | 100.00 |
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 64 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 67 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 62 |
1 |
1 |
| 64 |
1 |
1 |
| 67 |
1 |
1 |
| 69 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_disconnected
| Total | Covered | Percent |
| Conditions | 12 | 9 | 75.00 |
| Logical | 12 | 9 | 75.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 62
EXPRESSION ((({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i) | event_intr_i)
-----------------------------1---------------------------- ------2-----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
LINE 62
SUB-EXPRESSION (({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i)
----------------1---------------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 67
EXPRESSION (g_intr_event.new_event | reg2hw_intr_state_q_i)
-----------1---------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T37,T60,T61 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T37,T60,T61 |
Branch Coverage for Instance : tb.dut.intr_disconnected
| Line No. | Total | Covered | Percent |
| Branches |
|
2 |
2 |
100.00 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_disconnected
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_host_lost
| Line No. | Total | Covered | Percent |
| TOTAL | | 7 | 7 | 100.00 |
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 64 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 67 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 62 |
1 |
1 |
| 64 |
1 |
1 |
| 67 |
1 |
1 |
| 69 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_host_lost
| Total | Covered | Percent |
| Conditions | 12 | 9 | 75.00 |
| Logical | 12 | 9 | 75.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 62
EXPRESSION ((({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i) | event_intr_i)
-----------------------------1---------------------------- ------2-----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T5,T30,T55 |
| 1 | 0 | Not Covered | |
LINE 62
SUB-EXPRESSION (({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i)
----------------1---------------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 67
EXPRESSION (g_intr_event.new_event | reg2hw_intr_state_q_i)
-----------1---------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T5,T30,T55 |
| 1 | 0 | Covered | T5,T30,T55 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T62 |
| 1 | 0 | Covered | T5,T30,T55 |
| 1 | 1 | Covered | T62 |
Branch Coverage for Instance : tb.dut.intr_host_lost
| Line No. | Total | Covered | Percent |
| Branches |
|
2 |
2 |
100.00 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_host_lost
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_link_reset
| Line No. | Total | Covered | Percent |
| TOTAL | | 7 | 7 | 100.00 |
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 64 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 67 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 62 |
1 |
1 |
| 64 |
1 |
1 |
| 67 |
1 |
1 |
| 69 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_link_reset
| Total | Covered | Percent |
| Conditions | 12 | 9 | 75.00 |
| Logical | 12 | 9 | 75.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 62
EXPRESSION ((({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i) | event_intr_i)
-----------------------------1---------------------------- ------2-----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
LINE 62
SUB-EXPRESSION (({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i)
----------------1---------------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 67
EXPRESSION (g_intr_event.new_event | reg2hw_intr_state_q_i)
-----------1---------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T2,T3 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T63 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T63 |
Branch Coverage for Instance : tb.dut.intr_link_reset
| Line No. | Total | Covered | Percent |
| Branches |
|
2 |
2 |
100.00 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_link_reset
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_link_resume
| Line No. | Total | Covered | Percent |
| TOTAL | | 7 | 7 | 100.00 |
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 64 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 67 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 62 |
1 |
1 |
| 64 |
1 |
1 |
| 67 |
1 |
1 |
| 69 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_link_resume
| Total | Covered | Percent |
| Conditions | 12 | 9 | 75.00 |
| Logical | 12 | 9 | 75.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 62
EXPRESSION ((({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i) | event_intr_i)
-----------------------------1---------------------------- ------2-----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T7,T8,T36 |
| 1 | 0 | Not Covered | |
LINE 62
SUB-EXPRESSION (({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i)
----------------1---------------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T3,T27 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 67
EXPRESSION (g_intr_event.new_event | reg2hw_intr_state_q_i)
-----------1---------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T7,T8,T36 |
| 1 | 0 | Covered | T7,T8,T36 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T36,T38,T64 |
| 1 | 0 | Covered | T7,T8,T36 |
| 1 | 1 | Covered | T36,T38,T64 |
Branch Coverage for Instance : tb.dut.intr_link_resume
| Line No. | Total | Covered | Percent |
| Branches |
|
2 |
2 |
100.00 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_link_resume
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_link_out_err
| Line No. | Total | Covered | Percent |
| TOTAL | | 7 | 7 | 100.00 |
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 64 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 67 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 62 |
1 |
1 |
| 64 |
1 |
1 |
| 67 |
1 |
1 |
| 69 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_link_out_err
| Total | Covered | Percent |
| Conditions | 12 | 9 | 75.00 |
| Logical | 12 | 9 | 75.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 62
EXPRESSION ((({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i) | event_intr_i)
-----------------------------1---------------------------- ------2-----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T18,T29,T65 |
| 1 | 0 | Not Covered | |
LINE 62
SUB-EXPRESSION (({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i)
----------------1---------------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 67
EXPRESSION (g_intr_event.new_event | reg2hw_intr_state_q_i)
-----------1---------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T18,T29,T65 |
| 1 | 0 | Covered | T18,T29,T65 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T66,T67,T68 |
| 1 | 0 | Covered | T18,T29,T65 |
| 1 | 1 | Covered | T66,T67,T68 |
Branch Coverage for Instance : tb.dut.intr_link_out_err
| Line No. | Total | Covered | Percent |
| Branches |
|
2 |
2 |
100.00 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_link_out_err
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_rx_crc_err
| Line No. | Total | Covered | Percent |
| TOTAL | | 7 | 7 | 100.00 |
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 64 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 67 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 62 |
1 |
1 |
| 64 |
1 |
1 |
| 67 |
1 |
1 |
| 69 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_rx_crc_err
| Total | Covered | Percent |
| Conditions | 12 | 9 | 75.00 |
| Logical | 12 | 9 | 75.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 62
EXPRESSION ((({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i) | event_intr_i)
-----------------------------1---------------------------- ------2-----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T69,T70,T71 |
| 1 | 0 | Not Covered | |
LINE 62
SUB-EXPRESSION (({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i)
----------------1---------------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 67
EXPRESSION (g_intr_event.new_event | reg2hw_intr_state_q_i)
-----------1---------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T69,T70,T71 |
| 1 | 0 | Covered | T69,T70,T71 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T69,T72,T73 |
| 1 | 0 | Covered | T70,T71,T74 |
| 1 | 1 | Covered | T69,T72,T73 |
Branch Coverage for Instance : tb.dut.intr_rx_crc_err
| Line No. | Total | Covered | Percent |
| Branches |
|
2 |
2 |
100.00 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_rx_crc_err
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_rx_pid_err
| Line No. | Total | Covered | Percent |
| TOTAL | | 7 | 7 | 100.00 |
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 64 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 67 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 62 |
1 |
1 |
| 64 |
1 |
1 |
| 67 |
1 |
1 |
| 69 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_rx_pid_err
| Total | Covered | Percent |
| Conditions | 12 | 9 | 75.00 |
| Logical | 12 | 9 | 75.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 62
EXPRESSION ((({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i) | event_intr_i)
-----------------------------1---------------------------- ------2-----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T70,T75,T76 |
| 1 | 0 | Not Covered | |
LINE 62
SUB-EXPRESSION (({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i)
----------------1---------------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 67
EXPRESSION (g_intr_event.new_event | reg2hw_intr_state_q_i)
-----------1---------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T70,T75,T76 |
| 1 | 0 | Covered | T70,T75,T76 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T75,T77,T78 |
| 1 | 0 | Covered | T70,T76,T79 |
| 1 | 1 | Covered | T75,T77,T78 |
Branch Coverage for Instance : tb.dut.intr_rx_pid_err
| Line No. | Total | Covered | Percent |
| Branches |
|
2 |
2 |
100.00 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_rx_pid_err
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
Line Coverage for Instance : tb.dut.intr_rx_bitstuff_err
| Line No. | Total | Covered | Percent |
| TOTAL | | 7 | 7 | 100.00 |
| CONT_ASSIGN | 62 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 64 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 67 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 69 | 1 | 1 | 100.00 |
| ALWAYS | 95 | 3 | 3 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' was not found, so annotated line coverage report could not be generated.
| Line No. | Covered | Statements | |
| 62 |
1 |
1 |
| 64 |
1 |
1 |
| 67 |
1 |
1 |
| 69 |
1 |
1 |
| 95 |
1 |
1 |
| 96 |
1 |
1 |
| 98 |
1 |
1 |
Cond Coverage for Instance : tb.dut.intr_rx_bitstuff_err
| Total | Covered | Percent |
| Conditions | 12 | 9 | 75.00 |
| Logical | 12 | 9 | 75.00 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 62
EXPRESSION ((({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i) | event_intr_i)
-----------------------------1---------------------------- ------2-----
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T70,T71,T74 |
| 1 | 0 | Not Covered | |
LINE 62
SUB-EXPRESSION (({Width {reg2hw_intr_test_qe_i}}) & reg2hw_intr_test_q_i)
----------------1---------------- ----------2---------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Not Covered | |
LINE 67
EXPRESSION (g_intr_event.new_event | reg2hw_intr_state_q_i)
-----------1---------- ----------2----------
| -1- | -2- | Status | Tests |
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T70,T71,T74 |
| 1 | 0 | Covered | T70,T71,T74 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T71,T74,T80 |
| 1 | 0 | Covered | T70,T76,T79 |
| 1 | 1 | Covered | T71,T74,T80 |
Branch Coverage for Instance : tb.dut.intr_rx_bitstuff_err
| Line No. | Total | Covered | Percent |
| Branches |
|
2 |
2 |
100.00 |
| IF |
95 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv' or '../src/lowrisc_prim_all_0.1/rtl/prim_intr_hw.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 95 if ((!rst_ni))
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.intr_rx_bitstuff_err
Assertion Details
| Name | Attempts | Real Successes | Failures | Incomplete |
|
IntrTKind_A |
3057 |
3057 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3057 |
3057 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T7 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
| T19 |
1 |
1 |
0 |
0 |
| T20 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |