Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : tlul_lc_gate
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_tlul_lc_gate_0.1/rtl/tlul_lc_gate.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_tlul_lc_gate 0.00 0.00 0.00 0.00 0.00



Module Instance : tb.dut.u_tlul_lc_gate

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
23.94 0.00 0.00 95.76 0.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_lc_gating_muxes[0].u_prim_blanker_d2h 0.00 0.00
gen_lc_gating_muxes[0].u_prim_blanker_h2d 0.00 0.00
gen_lc_gating_muxes[1].u_prim_blanker_d2h 0.00 0.00
gen_lc_gating_muxes[1].u_prim_blanker_h2d 0.00 0.00
u_err_en_sync 0.00 0.00
u_state_regs 0.00 0.00 0.00
u_tlul_err_resp 0.00 0.00 0.00 0.00

Line Coverage for Module : tlul_lc_gate
Line No.TotalCoveredPercent
TOTAL5100.00
CONT_ASSIGN84100.00
CONT_ASSIGN85100.00
ALWAYS144300.00
CONT_ASSIGN149100.00
CONT_ASSIGN150100.00
ALWAYS153600.00
ALWAYS1642800.00
ALWAYS2301000.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.CoveredStatements
84 0 1
85 0 1
144 0 3
149 0 1
150 0 1
153 0 1
154 0 1
155 0 1
156 0 1
157 0 1
158 0 1
==> MISSING_ELSE
164 0 1
165 0 1
166 0 1
167 0 1
168 0 1
169 0 1
171 0 1
173 0 1
174 0 1
==> MISSING_ELSE
176 0 1
177 0 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 0 1
202 0 1
203 0 1
==> MISSING_ELSE
208 0 1
209 0 1
210 0 1
211 0 1
==> MISSING_ELSE
230 0 1
231 0 1
232 0 1
234 0 1
235 0 1
236 0 1
==> MISSING_ELSE
239 0 1
240 0 1
241 0 1
242 0 1
==> MISSING_ELSE


Cond Coverage for Module : tlul_lc_gate
TotalCoveredPercent
Conditions1800.00
Logical1800.00
Non-Logical00
Event00

 LINE       149
 EXPRESSION (tl_h2d_i.a_valid & tl_d2h_o.a_ready)
             --------1-------   --------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       150
 EXPRESSION (tl_h2d_i.d_ready & tl_d2h_o.d_valid)
             --------1-------   --------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       155
 EXPRESSION (a_ack && ((!d_ack)))
             --1--    -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       157
 EXPRESSION (d_ack && ((!a_ack)))
             --1--    -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       176
 EXPRESSION (outstanding_txn != '0)
            -----------1-----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       183
 EXPRESSION (outstanding_txn == '0)
            -----------1-----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       210
 EXPRESSION (outstanding_txn == '0)
            -----------1-----------
-1-StatusTests
0Not Covered
1Not Covered

FSM Coverage for Module : tlul_lc_gate
Summary for FSM :: state_q
TotalCoveredPercent
States 5 0 0.00 (Not included in score)
Transitions 7 0 0.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: state_q
states   Line No.   Covered   Tests   
StActive 196 Not Covered
StError 184 Not Covered
StErrorOutstanding 203 Not Covered
StFlush 184 Not Covered
StOutstanding 174 Not Covered


transitions   Line No.   Covered   Tests   
StActive->StOutstanding 174 Not Covered
StError->StErrorOutstanding 203 Not Covered
StErrorOutstanding->StActive 211 Not Covered
StFlush->StActive 196 Not Covered
StFlush->StError 194 Not Covered
StOutstanding->StError 184 Not Covered
StOutstanding->StFlush 184 Not Covered



Branch Coverage for Module : tlul_lc_gate
Line No.TotalCoveredPercent
Branches 24 0 0.00
IF 144 2 0 0.00
IF 153 4 0 0.00
CASE 171 14 0 0.00
IF 234 2 0 0.00
IF 239 2 0 0.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-StatusTests
1 Not Covered
0 Not Covered


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-StatusTests
1 - - Not Covered
0 1 - Not Covered
0 0 1 Not Covered
0 0 0 Not Covered


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-StatusTests
StActive 1 - - - - - - Not Covered
StActive 0 - - - - - - Not Covered
StActive - 1 - - - - - Not Covered
StActive - 0 - - - - - Not Covered
StOutstanding - - 1 - - - - Not Covered
StOutstanding - - 0 - - - - Not Covered
StFlush - - - 1 - - - Not Covered
StFlush - - - 0 1 - - Not Covered
StFlush - - - 0 0 - - Not Covered
StError - - - - - 1 - Not Covered
StError - - - - - 0 - Not Covered
StErrorOutstanding - - - - - - 1 Not Covered
StErrorOutstanding - - - - - - 0 Not Covered
default - - - - - - - Not Covered


LineNo. Expression -1-: 234 if (lc_ctrl_pkg::lc_tx_test_true_loose(err_en))

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered


LineNo. Expression -1-: 239 if (block_cmd)

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered

Line Coverage for Instance : tb.dut.u_tlul_lc_gate
Line No.TotalCoveredPercent
TOTAL4500.00
CONT_ASSIGN84100.00
CONT_ASSIGN85100.00
ALWAYS144300.00
CONT_ASSIGN149100.00
CONT_ASSIGN150100.00
ALWAYS153600.00
ALWAYS1642200.00
ALWAYS2301000.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.CoveredStatements
84 0 1
85 0 1
144 0 3
149 0 1
150 0 1
153 0 1
154 0 1
155 0 1
156 0 1
157 0 1
158 0 1
==> MISSING_ELSE
164 0 1
165 0 1
166 0 1
167 0 1
168 0 1
169 0 1
171 0 1
173 0 1
174 0 1
==> MISSING_ELSE
176 0 1
177 0 1
==> MISSING_ELSE
182 0 1
183 0 1
184 0 1
186 0 1
191 excluded
Exclude Annotation: VC_COV_UNR
192 excluded
Exclude Annotation: VC_COV_UNR
193 excluded
Exclude Annotation: VC_COV_UNR
194 excluded
Exclude Annotation: VC_COV_UNR
195 excluded
Exclude Annotation: VC_COV_UNR
196 excluded
Exclude Annotation: VC_COV_UNR
==> MISSING_ELSE
201 0 1
202 0 1
203 0 1
==> MISSING_ELSE
208 0 1
209 0 1
210 0 1
211 0 1
==> MISSING_ELSE
Exclude Annotation: VC_COV_UNR
Exclude Annotation: VC_COV_UNR
230 0 1
231 0 1
232 0 1
234 0 1
235 0 1
236 0 1
==> MISSING_ELSE
239 0 1
240 0 1
241 0 1
242 0 1
==> MISSING_ELSE


Cond Coverage for Instance : tb.dut.u_tlul_lc_gate
TotalCoveredPercent
Conditions1600.00
Logical1600.00
Non-Logical00
Event00

 LINE       149
 EXPRESSION (tl_h2d_i.a_valid & tl_d2h_o.a_ready)
             --------1-------   --------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       150
 EXPRESSION (tl_h2d_i.d_ready & tl_d2h_o.d_valid)
             --------1-------   --------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       155
 EXPRESSION (a_ack && ((!d_ack)))
             --1--    -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       157
 EXPRESSION (d_ack && ((!a_ack)))
             --1--    -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       176
 EXPRESSION (outstanding_txn != '0)
            -----------1-----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       183
 EXPRESSION (outstanding_txn == '0)
            -----------1-----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       210
 EXPRESSION (outstanding_txn == '0)
            -----------1-----------
 Exclude Annotation: [LOWRISK] This happens in the 1st cycle after exiting reset. In order to cover it, need to drive TL items during reset, which isn't supported in the agent.
-1-StatusTests
0Excluded
1Excluded

FSM Coverage for Instance : tb.dut.u_tlul_lc_gate
Summary for FSM :: state_q
TotalCoveredPercent
States 4 0 0.00 (Not included in score)
Transitions 4 0 0.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: state_q
states   Line No.   Covered   Tests   Exclude Annotation   
StActive 196 Not Covered
StError 184 Not Covered
StErrorOutstanding 203 Not Covered
StFlush 184 Excluded VC_COV_UNR
StOutstanding 174 Not Covered


transitions   Line No.   Covered   Tests   
StActive->StOutstanding 174 Not Covered
StError->StErrorOutstanding 203 Not Covered
StErrorOutstanding->StActive 211 Not Covered
StFlush->StActive 196 Excluded
StFlush->StError 194 Excluded
StOutstanding->StError 184 Not Covered
StOutstanding->StFlush 184 Excluded



Branch Coverage for Instance : tb.dut.u_tlul_lc_gate
Line No.TotalCoveredPercent
Branches 20 0 0.00
IF 144 2 0 0.00
IF 153 4 0 0.00
CASE 171 10 0 0.00
IF 234 2 0 0.00
IF 239 2 0 0.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-StatusTests
1 Not Covered
0 Not Covered


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-StatusTests
1 - - Not Covered
0 1 - Not Covered
0 0 1 Not Covered
0 0 0 Not Covered


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-StatusTestsExclude Annotation
StActive 1 - - - - - - Not Covered
StActive 0 - - - - - - Not Covered
StActive - 1 - - - - - Not Covered
StActive - 0 - - - - - Not Covered
StOutstanding - - 1 - - - - Not Covered
StOutstanding - - 0 - - - - Not Covered
StFlush - - - 1 - - - Excluded VC_COV_UNR
StFlush - - - 0 1 - - Excluded VC_COV_UNR
StFlush - - - 0 0 - - Excluded VC_COV_UNR
StError - - - - - 1 - Not Covered
StError - - - - - 0 - Not Covered
StErrorOutstanding - - - - - - 1 Not Covered
StErrorOutstanding - - - - - - 0 Not Covered
default - - - - - - - Excluded VC_COV_UNR


LineNo. Expression -1-: 234 if (lc_ctrl_pkg::lc_tx_test_true_loose(err_en))

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered


LineNo. Expression -1-: 239 if (block_cmd)

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered