Line Coverage for Module :
tlul_lc_gate
| Line No. | Total | Covered | Percent |
TOTAL | | 51 | 49 | 96.08 |
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 | 26 | 92.86 |
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 |
0 |
1 |
191 |
1 |
1 |
192 |
1 |
1 |
193 |
1 |
1 |
194 |
0 |
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 | 14 | 77.78 |
Logical | 18 | 14 | 77.78 |
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 | T2,T3,T15 |
1 | 1 | Covered | T1,T2,T3 |
LINE 150
EXPRESSION (tl_h2d_i.d_ready & tl_d2h_o.d_valid)
--------1------- --------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T11,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
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,T3 |
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,T3 |
LINE 176
EXPRESSION (outstanding_txn != '0)
-----------1-----------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 183
EXPRESSION (outstanding_txn == '0)
-----------1-----------
-1- | Status | Tests |
0 | Not Covered | |
1 | Covered | T2,T11,T8 |
LINE 210
EXPRESSION (outstanding_txn == '0)
-----------1-----------
-1- | Status | Tests |
0 | Not Covered | |
1 | Covered | T1,T2,T3 |
FSM Coverage for Module :
tlul_lc_gate
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
5 |
5 |
100.00 |
(Not included in score) |
Transitions |
7 |
5 |
71.43 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
states | Line No. | Covered | Tests |
StActive |
196 |
Covered |
T1,T2,T3 |
StError |
184 |
Covered |
T1,T2,T3 |
StErrorOutstanding |
203 |
Covered |
T1,T2,T3 |
StFlush |
184 |
Covered |
T2,T11,T8 |
StOutstanding |
174 |
Covered |
T2,T11,T8 |
transitions | Line No. | Covered | Tests |
StActive->StOutstanding |
174 |
Covered |
T2,T11,T8 |
StError->StErrorOutstanding |
203 |
Covered |
T1,T2,T3 |
StErrorOutstanding->StActive |
211 |
Covered |
T1,T2,T3 |
StFlush->StActive |
196 |
Covered |
T2,T11,T8 |
StFlush->StError |
194 |
Not Covered |
|
StOutstanding->StError |
184 |
Not Covered |
|
StOutstanding->StFlush |
184 |
Covered |
T2,T11,T8 |
Branch Coverage for Module :
tlul_lc_gate
| Line No. | Total | Covered | Percent |
Branches |
|
24 |
20 |
83.33 |
IF |
144 |
2 |
2 |
100.00 |
IF |
153 |
4 |
4 |
100.00 |
CASE |
171 |
14 |
10 |
71.43 |
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,T3 |
0 |
0 |
1 |
Covered |
T1,T2,T3 |
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 |
T2,T11,T8 |
StActive |
0 |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
StActive |
- |
1 |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
StActive |
- |
0 |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
StOutstanding |
- |
- |
1 |
- |
- |
- |
- |
Covered |
T2,T11,T8 |
StOutstanding |
- |
- |
0 |
- |
- |
- |
- |
Not Covered |
|
StFlush |
- |
- |
- |
1 |
- |
- |
- |
Not Covered |
|
StFlush |
- |
- |
- |
0 |
1 |
- |
- |
Covered |
T2,T11,T8 |
StFlush |
- |
- |
- |
0 |
0 |
- |
- |
Covered |
T2,T11,T8 |
StError |
- |
- |
- |
- |
- |
1 |
- |
Covered |
T1,T2,T3 |
StError |
- |
- |
- |
- |
- |
0 |
- |
Covered |
T1,T2,T3 |
StErrorOutstanding |
- |
- |
- |
- |
- |
- |
1 |
Covered |
T1,T2,T3 |
StErrorOutstanding |
- |
- |
- |
- |
- |
- |
0 |
Not Covered |
|
default |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
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 |
138035334 |
0 |
0 |
0 |
u_state_regs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
138035334 |
137969756 |
0 |
0 |
T1 |
178046 |
177232 |
0 |
0 |
T2 |
120554 |
120444 |
0 |
0 |
T3 |
130672 |
130536 |
0 |
0 |
T4 |
412728 |
412592 |
0 |
0 |
T21 |
6824 |
6710 |
0 |
0 |
T22 |
9888 |
9786 |
0 |
0 |
T23 |
4920 |
4740 |
0 |
0 |
T24 |
5522 |
5406 |
0 |
0 |
T25 |
17638 |
17468 |
0 |
0 |
T26 |
4074 |
3960 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_tlul_lc_gate_sba
| Line No. | Total | Covered | Percent |
TOTAL | | 51 | 40 | 78.43 |
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 | 17 | 60.71 |
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 |
0 |
1 |
|
|
|
MISSING_ELSE |
176 |
1 |
1 |
177 |
1 |
1 |
|
|
|
MISSING_ELSE |
182 |
0 |
1 |
183 |
0 |
1 |
184 |
0 |
1 |
186 |
0 |
1 |
191 |
0 |
1 |
192 |
0 |
1 |
193 |
0 |
1 |
194 |
0 |
1 |
195 |
0 |
1 |
196 |
0 |
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_tlul_lc_gate_sba
| Total | Covered | Percent |
Conditions | 18 | 12 | 66.67 |
Logical | 18 | 12 | 66.67 |
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 | T3,T15,T27 |
1 | 1 | Covered | T1,T3,T4 |
LINE 150
EXPRESSION (tl_h2d_i.d_ready & tl_d2h_o.d_valid)
--------1------- --------2-------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T3,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,T3,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,T3,T4 |
LINE 176
EXPRESSION (outstanding_txn != '0)
-----------1-----------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T3,T4 |
LINE 183
EXPRESSION (outstanding_txn == '0)
-----------1-----------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 210
EXPRESSION (outstanding_txn == '0)
-----------1-----------
-1- | Status | Tests |
0 | Not Covered | |
1 | Covered | T1,T2,T3 |
FSM Coverage for Instance : tb.dut.u_tlul_lc_gate_sba
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
5 |
3 |
60.00 |
(Not included in score) |
Transitions |
7 |
2 |
28.57 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
states | Line No. | Covered | Tests |
StActive |
196 |
Covered |
T1,T2,T3 |
StError |
184 |
Covered |
T1,T2,T3 |
StErrorOutstanding |
203 |
Covered |
T1,T2,T3 |
StFlush |
184 |
Not Covered |
|
StOutstanding |
174 |
Not Covered |
|
transitions | Line No. | Covered | Tests |
StActive->StOutstanding |
174 |
Not Covered |
|
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 |
Not Covered |
|
StOutstanding->StFlush |
184 |
Not Covered |
|
Branch Coverage for Instance : tb.dut.u_tlul_lc_gate_sba
| Line No. | Total | Covered | Percent |
Branches |
|
24 |
16 |
66.67 |
IF |
144 |
2 |
2 |
100.00 |
IF |
153 |
4 |
4 |
100.00 |
CASE |
171 |
14 |
6 |
42.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,T3,T4 |
0 |
0 |
1 |
Covered |
T1,T3,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 |
- |
- |
- |
- |
- |
- |
Not Covered |
|
StActive |
0 |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
StActive |
- |
1 |
- |
- |
- |
- |
- |
Covered |
T1,T3,T4 |
StActive |
- |
0 |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
StOutstanding |
- |
- |
1 |
- |
- |
- |
- |
Not Covered |
|
StOutstanding |
- |
- |
0 |
- |
- |
- |
- |
Not Covered |
|
StFlush |
- |
- |
- |
1 |
- |
- |
- |
Not Covered |
|
StFlush |
- |
- |
- |
0 |
1 |
- |
- |
Not Covered |
|
StFlush |
- |
- |
- |
0 |
0 |
- |
- |
Not Covered |
|
StError |
- |
- |
- |
- |
- |
1 |
- |
Covered |
T1,T2,T3 |
StError |
- |
- |
- |
- |
- |
0 |
- |
Covered |
T1,T2,T3 |
StErrorOutstanding |
- |
- |
- |
- |
- |
- |
1 |
Covered |
T1,T2,T3 |
StErrorOutstanding |
- |
- |
- |
- |
- |
- |
0 |
Not Covered |
|
default |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
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_tlul_lc_gate_sba
Assertion Details
OutStandingOvfl_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
69017667 |
0 |
0 |
0 |
u_state_regs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
69017667 |
68984878 |
0 |
0 |
T1 |
89023 |
88616 |
0 |
0 |
T2 |
60277 |
60222 |
0 |
0 |
T3 |
65336 |
65268 |
0 |
0 |
T4 |
206364 |
206296 |
0 |
0 |
T21 |
3412 |
3355 |
0 |
0 |
T22 |
4944 |
4893 |
0 |
0 |
T23 |
2460 |
2370 |
0 |
0 |
T24 |
2761 |
2703 |
0 |
0 |
T25 |
8819 |
8734 |
0 |
0 |
T26 |
2037 |
1980 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_tlul_lc_gate_rom
| Line No. | Total | Covered | Percent |
TOTAL | | 51 | 49 | 96.08 |
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 | 26 | 92.86 |
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 |
0 |
1 |
191 |
1 |
1 |
192 |
1 |
1 |
193 |
1 |
1 |
194 |
0 |
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_tlul_lc_gate_rom
| Total | Covered | Percent |
Conditions | 18 | 14 | 77.78 |
Logical | 18 | 14 | 77.78 |
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 | T2,T11,T5 |
1 | 1 | Covered | T2,T11,T5 |
LINE 150
EXPRESSION (tl_h2d_i.d_ready & tl_d2h_o.d_valid)
--------1------- --------2-------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T11,T5 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T2,T11,T5 |
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 | T2,T11,T5 |
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 | T2,T11,T5 |
LINE 176
EXPRESSION (outstanding_txn != '0)
-----------1-----------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T2,T11,T5 |
LINE 183
EXPRESSION (outstanding_txn == '0)
-----------1-----------
-1- | Status | Tests |
0 | Not Covered | |
1 | Covered | T2,T11,T8 |
LINE 210
EXPRESSION (outstanding_txn == '0)
-----------1-----------
-1- | Status | Tests |
0 | Not Covered | |
1 | Covered | T1,T2,T3 |
FSM Coverage for Instance : tb.dut.u_tlul_lc_gate_rom
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
5 |
5 |
100.00 |
(Not included in score) |
Transitions |
7 |
5 |
71.43 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
states | Line No. | Covered | Tests |
StActive |
196 |
Covered |
T1,T2,T3 |
StError |
184 |
Covered |
T1,T2,T3 |
StErrorOutstanding |
203 |
Covered |
T1,T2,T3 |
StFlush |
184 |
Covered |
T2,T11,T8 |
StOutstanding |
174 |
Covered |
T2,T11,T8 |
transitions | Line No. | Covered | Tests |
StActive->StOutstanding |
174 |
Covered |
T2,T11,T8 |
StError->StErrorOutstanding |
203 |
Covered |
T1,T2,T3 |
StErrorOutstanding->StActive |
211 |
Covered |
T1,T2,T3 |
StFlush->StActive |
196 |
Covered |
T2,T11,T8 |
StFlush->StError |
194 |
Not Covered |
|
StOutstanding->StError |
184 |
Not Covered |
|
StOutstanding->StFlush |
184 |
Covered |
T2,T11,T8 |
Branch Coverage for Instance : tb.dut.u_tlul_lc_gate_rom
| Line No. | Total | Covered | Percent |
Branches |
|
24 |
20 |
83.33 |
IF |
144 |
2 |
2 |
100.00 |
IF |
153 |
4 |
4 |
100.00 |
CASE |
171 |
14 |
10 |
71.43 |
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 |
T2,T11,T5 |
0 |
0 |
1 |
Covered |
T2,T11,T5 |
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 |
T2,T11,T8 |
StActive |
0 |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
StActive |
- |
1 |
- |
- |
- |
- |
- |
Covered |
T2,T11,T5 |
StActive |
- |
0 |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
StOutstanding |
- |
- |
1 |
- |
- |
- |
- |
Covered |
T2,T11,T8 |
StOutstanding |
- |
- |
0 |
- |
- |
- |
- |
Not Covered |
|
StFlush |
- |
- |
- |
1 |
- |
- |
- |
Not Covered |
|
StFlush |
- |
- |
- |
0 |
1 |
- |
- |
Covered |
T2,T11,T8 |
StFlush |
- |
- |
- |
0 |
0 |
- |
- |
Covered |
T2,T11,T8 |
StError |
- |
- |
- |
- |
- |
1 |
- |
Covered |
T1,T2,T3 |
StError |
- |
- |
- |
- |
- |
0 |
- |
Covered |
T1,T2,T3 |
StErrorOutstanding |
- |
- |
- |
- |
- |
- |
1 |
Covered |
T1,T2,T3 |
StErrorOutstanding |
- |
- |
- |
- |
- |
- |
0 |
Not Covered |
|
default |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
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_tlul_lc_gate_rom
Assertion Details
OutStandingOvfl_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
69017667 |
0 |
0 |
0 |
u_state_regs_A
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
69017667 |
68984878 |
0 |
0 |
T1 |
89023 |
88616 |
0 |
0 |
T2 |
60277 |
60222 |
0 |
0 |
T3 |
65336 |
65268 |
0 |
0 |
T4 |
206364 |
206296 |
0 |
0 |
T21 |
3412 |
3355 |
0 |
0 |
T22 |
4944 |
4893 |
0 |
0 |
T23 |
2460 |
2370 |
0 |
0 |
T24 |
2761 |
2703 |
0 |
0 |
T25 |
8819 |
8734 |
0 |
0 |
T26 |
2037 |
1980 |
0 |
0 |