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 | T3,T26,T34 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T3,T26,T29 |
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 | T26,T41,T42 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T26,T41,T42 |
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 |
64152 |
64152 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
64152 |
64152 |
0 |
0 |
| T1 |
18 |
18 |
0 |
0 |
| T2 |
18 |
18 |
0 |
0 |
| T3 |
18 |
18 |
0 |
0 |
| T26 |
18 |
18 |
0 |
0 |
| T27 |
18 |
18 |
0 |
0 |
| T28 |
18 |
18 |
0 |
0 |
| T29 |
18 |
18 |
0 |
0 |
| T30 |
18 |
18 |
0 |
0 |
| T31 |
18 |
18 |
0 |
0 |
| T34 |
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 | T34,T29,T30 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T29,T30,T43 |
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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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,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 | T3,T26,T6 |
| 1 | 0 | Covered | T1,T2,T27 |
| 1 | 1 | Covered | T3,T26,T6 |
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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 | T44,T45,T46 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T44,T45,T46 |
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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 | T47,T48,T49 |
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 | T47,T48,T49 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T50,T47,T48 |
| 1 | 0 | Covered | T51,T52,T53 |
| 1 | 1 | Covered | T47,T48,T49 |
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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 | T54 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | 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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 | T26,T6,T7 |
| 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 | T26,T6,T7 |
| 1 | 0 | Covered | T26,T6,T7 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T26,T6,T7 |
| 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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 | T2,T28,T31 |
| 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 | T2,T28,T31 |
| 1 | 0 | Covered | T2,T28,T31 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T2,T28,T31 |
| 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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 | T1,T26,T27 |
| 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,T26,T27 |
| 1 | 0 | Covered | T1,T26,T27 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T1,T26,T27 |
| 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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 | 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 | Covered | T55,T56,T57 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Covered | T55,T56,T57 |
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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 | T42,T58,T59 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T42,T58,T59 |
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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 | T27,T60,T61 |
| 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 | T27,T60,T61 |
| 1 | 0 | Covered | T27,T60,T61 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T62 |
| 1 | 0 | Covered | T27,T60,T61 |
| 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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 | T26,T7,T64 |
| 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 | T26,T7,T64 |
| 1 | 0 | Covered | T26,T7,T64 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T26,T41,T65 |
| 1 | 0 | Covered | T26,T7,T64 |
| 1 | 1 | Covered | T26,T41,T65 |
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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 | T2,T27,T28 |
| 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 | T2,T27,T28 |
| 1 | 0 | Covered | T2,T27,T28 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T66,T67,T68 |
| 1 | 0 | Covered | T2,T27,T28 |
| 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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 | T75,T76,T77 |
| 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 | T75,T76,T77 |
| 1 | 0 | Covered | T75,T76,T77 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T78,T79,T80 |
| 1 | 0 | Covered | T75,T76,T77 |
| 1 | 1 | Covered | T78,T79,T80 |
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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
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 | T81,T82,T83 |
| 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 | T81,T82,T83 |
| 1 | 0 | Covered | T81,T82,T83 |
LINE 98
EXPRESSION (status & reg2hw_intr_enable_q_i)
---1-- -----------2----------
| -1- | -2- | Status | Tests |
| 0 | 1 | Covered | T81,T82,T83 |
| 1 | 0 | Covered | T84,T85,T86 |
| 1 | 1 | Covered | T81,T82,T83 |
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 |
3564 |
3564 |
0 |
0 |
IntrTKind_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
3564 |
3564 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T26 |
1 |
1 |
0 |
0 |
| T27 |
1 |
1 |
0 |
0 |
| T28 |
1 |
1 |
0 |
0 |
| T29 |
1 |
1 |
0 |
0 |
| T30 |
1 |
1 |
0 |
0 |
| T31 |
1 |
1 |
0 |
0 |
| T34 |
1 |
1 |
0 |
0 |