Line Coverage for Module :
tlul_lc_gate
| Line No. | Total | Covered | Percent |
TOTAL | | 51 | 51 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
ALWAYS | 144 | 3 | 3 | 100.00 |
CONT_ASSIGN | 149 | 1 | 1 | 100.00 |
CONT_ASSIGN | 150 | 1 | 1 | 100.00 |
ALWAYS | 153 | 6 | 6 | 100.00 |
ALWAYS | 164 | 28 | 28 | 100.00 |
ALWAYS | 230 | 10 | 10 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_tlul_lc_gate_0.1/rtl/tlul_lc_gate.sv' or '../src/lowrisc_tlul_lc_gate_0.1/rtl/tlul_lc_gate.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
84 |
1 |
1 |
85 |
1 |
1 |
144 |
3 |
3 |
149 |
1 |
1 |
150 |
1 |
1 |
153 |
1 |
1 |
154 |
1 |
1 |
155 |
1 |
1 |
156 |
1 |
1 |
157 |
1 |
1 |
158 |
1 |
1 |
|
|
|
MISSING_ELSE |
164 |
1 |
1 |
165 |
1 |
1 |
166 |
1 |
1 |
167 |
1 |
1 |
168 |
1 |
1 |
169 |
1 |
1 |
171 |
1 |
1 |
173 |
1 |
1 |
174 |
1 |
1 |
|
|
|
MISSING_ELSE |
176 |
1 |
1 |
177 |
1 |
1 |
|
|
|
MISSING_ELSE |
182 |
1 |
1 |
183 |
1 |
1 |
184 |
1 |
1 |
186 |
1 |
1 |
191 |
1 |
1 |
192 |
1 |
1 |
193 |
1 |
1 |
194 |
1 |
1 |
195 |
1 |
1 |
196 |
1 |
1 |
|
|
|
==> MISSING_ELSE |
201 |
1 |
1 |
202 |
1 |
1 |
203 |
1 |
1 |
|
|
|
MISSING_ELSE |
208 |
1 |
1 |
209 |
1 |
1 |
210 |
1 |
1 |
211 |
1 |
1 |
|
|
|
MISSING_ELSE |
230 |
1 |
1 |
231 |
1 |
1 |
232 |
1 |
1 |
234 |
1 |
1 |
235 |
1 |
1 |
236 |
1 |
1 |
|
|
|
MISSING_ELSE |
239 |
1 |
1 |
240 |
1 |
1 |
241 |
1 |
1 |
242 |
1 |
1 |
|
|
|
MISSING_ELSE |
Cond Coverage for Module :
tlul_lc_gate
| Total | Covered | Percent |
Conditions | 18 | 18 | 100.00 |
Logical | 18 | 18 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 149
EXPRESSION (tl_h2d_i.a_valid & tl_d2h_o.a_ready)
--------1------- --------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T1,T2,T4 |
LINE 150
EXPRESSION (tl_h2d_i.d_ready & tl_d2h_o.d_valid)
--------1------- --------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T5,T6 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T4 |
LINE 155
EXPRESSION (a_ack && ((!d_ack)))
--1-- -----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T7,T8,T9 |
1 | 1 | Covered | T1,T2,T4 |
LINE 157
EXPRESSION (d_ack && ((!a_ack)))
--1-- -----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T7,T8,T9 |
1 | 1 | Covered | T1,T2,T4 |
LINE 176
EXPRESSION (outstanding_txn != '0)
-----------1-----------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T4 |
LINE 183
EXPRESSION (outstanding_txn == '0)
-----------1-----------
-1- | Status | Tests |
0 | Covered | T10,T11,T12 |
1 | Covered | T4,T13,T14 |
LINE 210
EXPRESSION (outstanding_txn == '0)
-----------1-----------
-1- | Status | Tests |
0 | Covered | T12 |
1 | Covered | T1,T2,T3 |
FSM Coverage for Module :
tlul_lc_gate
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
5 |
4 |
80.00 |
(Not included in score) |
Transitions |
7 |
4 |
57.14 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
| | | |
StActive |
196 |
Covered |
T1,T2,T3 |
StError |
184 |
Covered |
T1,T2,T3 |
StErrorOutstanding |
203 |
Covered |
T1,T2,T3 |
StFlush |
184 |
Not Covered |
|
StOutstanding |
174 |
Covered |
T4,T13,T14 |
| | | |
StActive->StOutstanding |
174 |
Covered |
T4,T13,T14 |
StError->StErrorOutstanding |
203 |
Covered |
T1,T2,T3 |
StErrorOutstanding->StActive |
211 |
Covered |
T1,T2,T3 |
StFlush->StActive |
196 |
Not Covered |
|
StFlush->StError |
194 |
Not Covered |
|
StOutstanding->StError |
184 |
Covered |
T4,T13,T14 |
StOutstanding->StFlush |
184 |
Not Covered |
|
Branch Coverage for Module :
tlul_lc_gate
| Line No. | Total | Covered | Percent |
Branches |
|
24 |
23 |
95.83 |
IF |
144 |
2 |
2 |
100.00 |
IF |
153 |
4 |
4 |
100.00 |
CASE |
171 |
14 |
13 |
92.86 |
IF |
234 |
2 |
2 |
100.00 |
IF |
239 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_tlul_lc_gate_0.1/rtl/tlul_lc_gate.sv' or '../src/lowrisc_tlul_lc_gate_0.1/rtl/tlul_lc_gate.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 144 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 153 if ((!rst_ni))
-2-: 155 if ((a_ack && (!d_ack)))
-3-: 157 if ((d_ack && (!a_ack)))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
- |
Covered |
T1,T2,T4 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 171 case (state_q)
-2-: 173 if ((lc_ctrl_pkg::lc_tx_test_false_loose(lc_en_i) || flush_req_i))
-3-: 176 if ((outstanding_txn != '0))
-4-: 183 if ((outstanding_txn == '0))
-5-: 193 if (lc_ctrl_pkg::lc_tx_test_false_loose(lc_en_i))
-6-: 195 if ((!flush_req_i))
-7-: 202 if (lc_ctrl_pkg::lc_tx_test_true_strict(lc_en_i))
-8-: 210 if ((outstanding_txn == '0))
Branches:
-1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | Status | Tests |
StActive |
1 |
- |
- |
- |
- |
- |
- |
Covered |
T4,T13,T14 |
StActive |
0 |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
StActive |
- |
1 |
- |
- |
- |
- |
- |
Covered |
T1,T2,T4 |
StActive |
- |
0 |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
StOutstanding |
- |
- |
1 |
- |
- |
- |
- |
Covered |
T4,T13,T14 |
StOutstanding |
- |
- |
0 |
- |
- |
- |
- |
Covered |
T10,T11,T12 |
StFlush |
- |
- |
- |
1 |
- |
- |
- |
Covered |
T12 |
StFlush |
- |
- |
- |
0 |
1 |
- |
- |
Covered |
T12 |
StFlush |
- |
- |
- |
0 |
0 |
- |
- |
Not Covered |
|
StError |
- |
- |
- |
- |
- |
1 |
- |
Covered |
T1,T2,T3 |
StError |
- |
- |
- |
- |
- |
0 |
- |
Covered |
T4,T13,T14 |
StErrorOutstanding |
- |
- |
- |
- |
- |
- |
1 |
Covered |
T1,T2,T3 |
StErrorOutstanding |
- |
- |
- |
- |
- |
- |
0 |
Covered |
T12 |
default |
- |
- |
- |
- |
- |
- |
- |
Covered |
T15,T12,T16 |
LineNo. Expression
-1-: 234 if (lc_ctrl_pkg::lc_tx_test_true_loose(err_en))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 239 if (block_cmd)
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
tlul_lc_gate
Assertion Details
OutStandingOvfl_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
764090316 |
0 |
0 |
0 |
u_state_regs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
764090316 |
762307270 |
0 |
0 |
T1 |
531686 |
499884 |
0 |
0 |
T2 |
203162 |
203150 |
0 |
0 |
T3 |
5554 |
5430 |
0 |
0 |
T4 |
1608938 |
1608886 |
0 |
0 |
T5 |
288386 |
288194 |
0 |
0 |
T6 |
5634 |
5326 |
0 |
0 |
T7 |
136012 |
135636 |
0 |
0 |
T17 |
2404 |
2270 |
0 |
0 |
T18 |
2084 |
1982 |
0 |
0 |
T19 |
380610 |
380590 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_prog_tl_gate
| Line No. | Total | Covered | Percent |
TOTAL | | 51 | 51 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
ALWAYS | 144 | 3 | 3 | 100.00 |
CONT_ASSIGN | 149 | 1 | 1 | 100.00 |
CONT_ASSIGN | 150 | 1 | 1 | 100.00 |
ALWAYS | 153 | 6 | 6 | 100.00 |
ALWAYS | 164 | 28 | 28 | 100.00 |
ALWAYS | 230 | 10 | 10 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_tlul_lc_gate_0.1/rtl/tlul_lc_gate.sv' or '../src/lowrisc_tlul_lc_gate_0.1/rtl/tlul_lc_gate.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
84 |
1 |
1 |
85 |
1 |
1 |
144 |
3 |
3 |
149 |
1 |
1 |
150 |
1 |
1 |
153 |
1 |
1 |
154 |
1 |
1 |
155 |
1 |
1 |
156 |
1 |
1 |
157 |
1 |
1 |
158 |
1 |
1 |
|
|
|
MISSING_ELSE |
164 |
1 |
1 |
165 |
1 |
1 |
166 |
1 |
1 |
167 |
1 |
1 |
168 |
1 |
1 |
169 |
1 |
1 |
171 |
1 |
1 |
173 |
1 |
1 |
174 |
1 |
1 |
|
|
|
MISSING_ELSE |
176 |
1 |
1 |
177 |
1 |
1 |
|
|
|
MISSING_ELSE |
182 |
1 |
1 |
183 |
1 |
1 |
184 |
1 |
1 |
186 |
1 |
1 |
191 |
1 |
1 |
192 |
1 |
1 |
193 |
1 |
1 |
194 |
1 |
1 |
195 |
1 |
1 |
196 |
1 |
1 |
|
|
|
==> MISSING_ELSE |
201 |
1 |
1 |
202 |
1 |
1 |
203 |
1 |
1 |
|
|
|
MISSING_ELSE |
208 |
1 |
1 |
209 |
1 |
1 |
210 |
1 |
1 |
211 |
1 |
1 |
|
|
|
MISSING_ELSE |
230 |
1 |
1 |
231 |
1 |
1 |
232 |
1 |
1 |
234 |
1 |
1 |
235 |
1 |
1 |
236 |
1 |
1 |
|
|
|
MISSING_ELSE |
239 |
1 |
1 |
240 |
1 |
1 |
241 |
1 |
1 |
242 |
1 |
1 |
|
|
|
MISSING_ELSE |
Cond Coverage for Instance : tb.dut.u_prog_tl_gate
| Total | Covered | Percent |
Conditions | 18 | 16 | 88.89 |
Logical | 18 | 16 | 88.89 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 149
EXPRESSION (tl_h2d_i.a_valid & tl_d2h_o.a_ready)
--------1------- --------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T4 |
1 | 1 | Covered | T1,T2,T4 |
LINE 150
EXPRESSION (tl_h2d_i.d_ready & tl_d2h_o.d_valid)
--------1------- --------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T5,T6 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T4 |
LINE 155
EXPRESSION (a_ack && ((!d_ack)))
--1-- -----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T1,T2,T4 |
LINE 157
EXPRESSION (d_ack && ((!a_ack)))
--1-- -----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T1,T2,T4 |
LINE 176
EXPRESSION (outstanding_txn != '0)
-----------1-----------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T4 |
LINE 183
EXPRESSION (outstanding_txn == '0)
-----------1-----------
-1- | Status | Tests |
0 | Covered | T11,T12,T20 |
1 | Covered | T4,T13,T14 |
LINE 210
EXPRESSION (outstanding_txn == '0)
-----------1-----------
-1- | Status | Tests |
0 | Covered | T12 |
1 | Covered | T1,T2,T3 |
FSM Coverage for Instance : tb.dut.u_prog_tl_gate
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
5 |
4 |
80.00 |
(Not included in score) |
Transitions |
7 |
4 |
57.14 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
| | | |
StActive |
196 |
Covered |
T1,T2,T3 |
StError |
184 |
Covered |
T1,T2,T3 |
StErrorOutstanding |
203 |
Covered |
T1,T2,T3 |
StFlush |
184 |
Not Covered |
|
StOutstanding |
174 |
Covered |
T4,T13,T14 |
| | | |
StActive->StOutstanding |
174 |
Covered |
T4,T13,T14 |
StError->StErrorOutstanding |
203 |
Covered |
T1,T2,T3 |
StErrorOutstanding->StActive |
211 |
Covered |
T1,T2,T3 |
StFlush->StActive |
196 |
Not Covered |
|
StFlush->StError |
194 |
Not Covered |
|
StOutstanding->StError |
184 |
Covered |
T4,T13,T14 |
StOutstanding->StFlush |
184 |
Not Covered |
|
Branch Coverage for Instance : tb.dut.u_prog_tl_gate
| Line No. | Total | Covered | Percent |
Branches |
|
24 |
23 |
95.83 |
IF |
144 |
2 |
2 |
100.00 |
IF |
153 |
4 |
4 |
100.00 |
CASE |
171 |
14 |
13 |
92.86 |
IF |
234 |
2 |
2 |
100.00 |
IF |
239 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_tlul_lc_gate_0.1/rtl/tlul_lc_gate.sv' or '../src/lowrisc_tlul_lc_gate_0.1/rtl/tlul_lc_gate.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 144 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 153 if ((!rst_ni))
-2-: 155 if ((a_ack && (!d_ack)))
-3-: 157 if ((d_ack && (!a_ack)))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
- |
Covered |
T1,T2,T4 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 171 case (state_q)
-2-: 173 if ((lc_ctrl_pkg::lc_tx_test_false_loose(lc_en_i) || flush_req_i))
-3-: 176 if ((outstanding_txn != '0))
-4-: 183 if ((outstanding_txn == '0))
-5-: 193 if (lc_ctrl_pkg::lc_tx_test_false_loose(lc_en_i))
-6-: 195 if ((!flush_req_i))
-7-: 202 if (lc_ctrl_pkg::lc_tx_test_true_strict(lc_en_i))
-8-: 210 if ((outstanding_txn == '0))
Branches:
-1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | Status | Tests |
StActive |
1 |
- |
- |
- |
- |
- |
- |
Covered |
T4,T13,T14 |
StActive |
0 |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
StActive |
- |
1 |
- |
- |
- |
- |
- |
Covered |
T1,T2,T4 |
StActive |
- |
0 |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
StOutstanding |
- |
- |
1 |
- |
- |
- |
- |
Covered |
T4,T13,T14 |
StOutstanding |
- |
- |
0 |
- |
- |
- |
- |
Covered |
T11,T12,T20 |
StFlush |
- |
- |
- |
1 |
- |
- |
- |
Covered |
T12 |
StFlush |
- |
- |
- |
0 |
1 |
- |
- |
Covered |
T12 |
StFlush |
- |
- |
- |
0 |
0 |
- |
- |
Not Covered |
|
StError |
- |
- |
- |
- |
- |
1 |
- |
Covered |
T1,T2,T3 |
StError |
- |
- |
- |
- |
- |
0 |
- |
Covered |
T4,T13,T14 |
StErrorOutstanding |
- |
- |
- |
- |
- |
- |
1 |
Covered |
T1,T2,T3 |
StErrorOutstanding |
- |
- |
- |
- |
- |
- |
0 |
Covered |
T12 |
default |
- |
- |
- |
- |
- |
- |
- |
Covered |
T15,T12,T16 |
LineNo. Expression
-1-: 234 if (lc_ctrl_pkg::lc_tx_test_true_loose(err_en))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 239 if (block_cmd)
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_prog_tl_gate
Assertion Details
OutStandingOvfl_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
382045158 |
0 |
0 |
0 |
u_state_regs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
382045158 |
381153635 |
0 |
0 |
T1 |
265843 |
249942 |
0 |
0 |
T2 |
101581 |
101575 |
0 |
0 |
T3 |
2777 |
2715 |
0 |
0 |
T4 |
804469 |
804443 |
0 |
0 |
T5 |
144193 |
144097 |
0 |
0 |
T6 |
2817 |
2663 |
0 |
0 |
T7 |
68006 |
67818 |
0 |
0 |
T17 |
1202 |
1135 |
0 |
0 |
T18 |
1042 |
991 |
0 |
0 |
T19 |
190305 |
190295 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_tl_gate
| Line No. | Total | Covered | Percent |
TOTAL | | 51 | 51 | 100.00 |
CONT_ASSIGN | 84 | 1 | 1 | 100.00 |
CONT_ASSIGN | 85 | 1 | 1 | 100.00 |
ALWAYS | 144 | 3 | 3 | 100.00 |
CONT_ASSIGN | 149 | 1 | 1 | 100.00 |
CONT_ASSIGN | 150 | 1 | 1 | 100.00 |
ALWAYS | 153 | 6 | 6 | 100.00 |
ALWAYS | 164 | 28 | 28 | 100.00 |
ALWAYS | 230 | 10 | 10 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_tlul_lc_gate_0.1/rtl/tlul_lc_gate.sv' or '../src/lowrisc_tlul_lc_gate_0.1/rtl/tlul_lc_gate.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
84 |
1 |
1 |
85 |
1 |
1 |
144 |
3 |
3 |
149 |
1 |
1 |
150 |
1 |
1 |
153 |
1 |
1 |
154 |
1 |
1 |
155 |
1 |
1 |
156 |
1 |
1 |
157 |
1 |
1 |
158 |
1 |
1 |
|
|
|
MISSING_ELSE |
164 |
1 |
1 |
165 |
1 |
1 |
166 |
1 |
1 |
167 |
1 |
1 |
168 |
1 |
1 |
169 |
1 |
1 |
171 |
1 |
1 |
173 |
1 |
1 |
174 |
1 |
1 |
|
|
|
MISSING_ELSE |
176 |
1 |
1 |
177 |
1 |
1 |
|
|
|
MISSING_ELSE |
182 |
1 |
1 |
183 |
1 |
1 |
184 |
1 |
1 |
186 |
1 |
1 |
191 |
1 |
1 |
192 |
1 |
1 |
193 |
1 |
1 |
194 |
1 |
1 |
195 |
1 |
1 |
196 |
1 |
1 |
|
|
|
==> MISSING_ELSE |
201 |
1 |
1 |
202 |
1 |
1 |
203 |
1 |
1 |
|
|
|
MISSING_ELSE |
208 |
1 |
1 |
209 |
1 |
1 |
210 |
1 |
1 |
211 |
1 |
1 |
|
|
|
MISSING_ELSE |
230 |
1 |
1 |
231 |
1 |
1 |
232 |
1 |
1 |
234 |
1 |
1 |
235 |
1 |
1 |
236 |
1 |
1 |
|
|
|
MISSING_ELSE |
239 |
1 |
1 |
240 |
1 |
1 |
241 |
1 |
1 |
242 |
1 |
1 |
|
|
|
MISSING_ELSE |
Cond Coverage for Instance : tb.dut.u_tl_gate
| Total | Covered | Percent |
Conditions | 18 | 18 | 100.00 |
Logical | 18 | 18 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 149
EXPRESSION (tl_h2d_i.a_valid & tl_d2h_o.a_ready)
--------1------- --------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T7,T6,T8 |
1 | 1 | Covered | T7,T6,T8 |
LINE 150
EXPRESSION (tl_h2d_i.d_ready & tl_d2h_o.d_valid)
--------1------- --------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T8,T21,T22 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T7,T6,T8 |
LINE 155
EXPRESSION (a_ack && ((!d_ack)))
--1-- -----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T7,T8,T9 |
1 | 1 | Covered | T7,T6,T8 |
LINE 157
EXPRESSION (d_ack && ((!a_ack)))
--1-- -----2----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T7,T8,T9 |
1 | 1 | Covered | T7,T6,T8 |
LINE 176
EXPRESSION (outstanding_txn != '0)
-----------1-----------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T7,T6,T8 |
LINE 183
EXPRESSION (outstanding_txn == '0)
-----------1-----------
-1- | Status | Tests |
0 | Covered | T10,T12,T23 |
1 | Covered | T4,T13,T14 |
LINE 210
EXPRESSION (outstanding_txn == '0)
-----------1-----------
-1- | Status | Tests |
0 | Covered | T12 |
1 | Covered | T1,T2,T3 |
FSM Coverage for Instance : tb.dut.u_tl_gate
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
5 |
4 |
80.00 |
(Not included in score) |
Transitions |
7 |
4 |
57.14 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
| | | |
StActive |
196 |
Covered |
T1,T2,T3 |
StError |
184 |
Covered |
T1,T2,T3 |
StErrorOutstanding |
203 |
Covered |
T1,T2,T3 |
StFlush |
184 |
Not Covered |
|
StOutstanding |
174 |
Covered |
T4,T13,T14 |
| | | |
StActive->StOutstanding |
174 |
Covered |
T4,T13,T14 |
StError->StErrorOutstanding |
203 |
Covered |
T1,T2,T3 |
StErrorOutstanding->StActive |
211 |
Covered |
T1,T2,T3 |
StFlush->StActive |
196 |
Not Covered |
|
StFlush->StError |
194 |
Not Covered |
|
StOutstanding->StError |
184 |
Covered |
T4,T13,T14 |
StOutstanding->StFlush |
184 |
Not Covered |
|
Branch Coverage for Instance : tb.dut.u_tl_gate
| Line No. | Total | Covered | Percent |
Branches |
|
24 |
23 |
95.83 |
IF |
144 |
2 |
2 |
100.00 |
IF |
153 |
4 |
4 |
100.00 |
CASE |
171 |
14 |
13 |
92.86 |
IF |
234 |
2 |
2 |
100.00 |
IF |
239 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_tlul_lc_gate_0.1/rtl/tlul_lc_gate.sv' or '../src/lowrisc_tlul_lc_gate_0.1/rtl/tlul_lc_gate.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 144 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 153 if ((!rst_ni))
-2-: 155 if ((a_ack && (!d_ack)))
-3-: 157 if ((d_ack && (!a_ack)))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
- |
- |
Covered |
T1,T2,T3 |
0 |
1 |
- |
Covered |
T7,T6,T8 |
0 |
0 |
1 |
Covered |
T7,T6,T8 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 171 case (state_q)
-2-: 173 if ((lc_ctrl_pkg::lc_tx_test_false_loose(lc_en_i) || flush_req_i))
-3-: 176 if ((outstanding_txn != '0))
-4-: 183 if ((outstanding_txn == '0))
-5-: 193 if (lc_ctrl_pkg::lc_tx_test_false_loose(lc_en_i))
-6-: 195 if ((!flush_req_i))
-7-: 202 if (lc_ctrl_pkg::lc_tx_test_true_strict(lc_en_i))
-8-: 210 if ((outstanding_txn == '0))
Branches:
-1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | Status | Tests |
StActive |
1 |
- |
- |
- |
- |
- |
- |
Covered |
T4,T13,T14 |
StActive |
0 |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
StActive |
- |
1 |
- |
- |
- |
- |
- |
Covered |
T7,T6,T8 |
StActive |
- |
0 |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
StOutstanding |
- |
- |
1 |
- |
- |
- |
- |
Covered |
T4,T13,T14 |
StOutstanding |
- |
- |
0 |
- |
- |
- |
- |
Covered |
T10,T12,T23 |
StFlush |
- |
- |
- |
1 |
- |
- |
- |
Covered |
T12 |
StFlush |
- |
- |
- |
0 |
1 |
- |
- |
Covered |
T12 |
StFlush |
- |
- |
- |
0 |
0 |
- |
- |
Not Covered |
|
StError |
- |
- |
- |
- |
- |
1 |
- |
Covered |
T1,T2,T3 |
StError |
- |
- |
- |
- |
- |
0 |
- |
Covered |
T4,T13,T14 |
StErrorOutstanding |
- |
- |
- |
- |
- |
- |
1 |
Covered |
T1,T2,T3 |
StErrorOutstanding |
- |
- |
- |
- |
- |
- |
0 |
Covered |
T12 |
default |
- |
- |
- |
- |
- |
- |
- |
Covered |
T15,T12,T16 |
LineNo. Expression
-1-: 234 if (lc_ctrl_pkg::lc_tx_test_true_loose(err_en))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 239 if (block_cmd)
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_tl_gate
Assertion Details
OutStandingOvfl_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
382045158 |
0 |
0 |
0 |
u_state_regs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
382045158 |
381153635 |
0 |
0 |
T1 |
265843 |
249942 |
0 |
0 |
T2 |
101581 |
101575 |
0 |
0 |
T3 |
2777 |
2715 |
0 |
0 |
T4 |
804469 |
804443 |
0 |
0 |
T5 |
144193 |
144097 |
0 |
0 |
T6 |
2817 |
2663 |
0 |
0 |
T7 |
68006 |
67818 |
0 |
0 |
T17 |
1202 |
1135 |
0 |
0 |
T18 |
1042 |
991 |
0 |
0 |
T19 |
190305 |
190295 |
0 |
0 |