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

Module : sha3
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00

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

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



Module Instance : tb.dut.u_sha3

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 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
1.32 0.00 0.00 6.61 0.00 0.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_keccak 0.00 0.00 0.00 0.00 0.00 0.00
u_pad 0.00 0.00 0.00 0.00 0.00 0.00
u_state_regs 0.00 0.00 0.00

Line Coverage for Module : sha3
Line No.TotalCoveredPercent
TOTAL8200.00
CONT_ASSIGN138100.00
CONT_ASSIGN144100.00
CONT_ASSIGN148100.00
CONT_ASSIGN172100.00
CONT_ASSIGN173100.00
CONT_ASSIGN178100.00
CONT_ASSIGN179100.00
ALWAYS184500.00
ALWAYS198300.00
CONT_ASSIGN203100.00
ALWAYS207600.00
CONT_ASSIGN214100.00
CONT_ASSIGN217100.00
CONT_ASSIGN218100.00
CONT_ASSIGN220100.00
ALWAYS227300.00
ALWAYS2373800.00
ALWAYS332300.00
ALWAYS3491200.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_sha3_0.1/rtl/sha3.sv' or '../src/lowrisc_ip_sha3_0.1/rtl/sha3.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
138 0 1
144 0 1
148 0 1
172 0 1
173 0 1
178 0 1
179 0 1
184 0 1
185 0 1
186 0 1
188 0 1
189 0 1
198 0 2
199 0 1
203 0 1
207 0 2
208 0 2
209 0 1
210 0 1
==> MISSING_ELSE
214 0 1
217 0 1
218 0 1
220 0 1
227 0 3
237 0 1
240 0 1
241 0 1
242 0 1
243 0 1
245 0 1
247 0 1
248 0 1
250 0 1
252 0 1
254 0 1
255 0 1
257 0 1
259 0 1
264 0 1
265 0 1
267 0 1
268 0 1
269 0 1
271 0 1
276 0 1
277 0 1
279 0 1
281 0 1
282 0 1
284 0 1
285 0 1
286 0 1
288 0 1
290 0 1
295 0 1
296 0 1
298 0 1
303 0 1
308 0 1
309 0 1
321 0 1
322 0 1
==> MISSING_ELSE
332 0 1
333 0 1
334 0 1
349 0 1
351 0 1
353 0 1
355 0 1
==> MISSING_ELSE
364 0 1
366 0 1
==> MISSING_ELSE
375 0 1
376 0 1
==> MISSING_ELSE
385 0 1
387 0 1
==> MISSING_ELSE
396 0 1
398 0 1
==> MISSING_ELSE


Cond Coverage for Module : sha3
TotalCoveredPercent
Conditions2700.00
Logical2700.00
Non-Logical00
Event00

 LINE       138
 EXPRESSION (round_count_error | msg_count_error)
             --------1--------   -------2-------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       144
 EXPRESSION (sha3_state_error | keccak_round_state_error | sha3pad_state_error)
             --------1-------   ------------2-----------   ---------3---------
-1--2--3-StatusTests
000Not Covered
001Not Covered
010Not Covered
100Not Covered

 LINE       173
 EXPRESSION ((sha3pad_keccak_run || sw_keccak_run) ? 1'b1 : (keccak_complete ? 1'b0 : keccak_run_req_q))
             ------------------1------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       173
 SUB-EXPRESSION (sha3pad_keccak_run || sw_keccak_run)
                 ---------1--------    ------2------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       173
 SUB-EXPRESSION (keccak_complete ? 1'b0 : keccak_run_req_q)
                 -------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       178
 EXPRESSION (run_req_o & run_ack_i & ((~keccak_triggered_q)))
             ----1----   ----2----   -----------3-----------
-1--2--3-StatusTests
011Not Covered
101Unreachable
110Not Covered
111Not Covered

 LINE       179
 EXPRESSION (keccak_run ? 1'b1 : (keccak_complete ? 1'b0 : keccak_triggered_q))
             -----1----
-1-StatusTests
0Not Covered
1Not Covered

 LINE       179
 SUB-EXPRESSION (keccak_complete ? 1'b0 : keccak_triggered_q)
                 -------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       264
 EXPRESSION (process_i && ((!processing)))
             ----1----    -------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       375
 EXPRESSION (start_i || process_i)
             ---1---    ----2----
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

FSM Coverage for Module : sha3
Summary for FSM :: st
TotalCoveredPercent
States 6 0 0.00 (Not included in score)
Transitions 11 0 0.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: st
statesLine No.CoveredTests
StAbsorb_sparse 255 Not Covered
StFlush_sparse 286 Not Covered
StIdle_sparse 259 Not Covered
StManualRun_sparse 282 Not Covered
StSqueeze_sparse 269 Not Covered
StTerminalError_sparse 308 Not Covered


transitionsLine No.CoveredTests
StAbsorb_sparse->StSqueeze_sparse 269 Not Covered
StAbsorb_sparse->StTerminalError_sparse 322 Not Covered
StFlush_sparse->StIdle_sparse 303 Not Covered
StFlush_sparse->StTerminalError_sparse 322 Not Covered
StIdle_sparse->StAbsorb_sparse 255 Not Covered
StIdle_sparse->StTerminalError_sparse 322 Not Covered
StManualRun_sparse->StSqueeze_sparse 296 Not Covered
StManualRun_sparse->StTerminalError_sparse 322 Not Covered
StSqueeze_sparse->StFlush_sparse 286 Not Covered
StSqueeze_sparse->StManualRun_sparse 282 Not Covered
StSqueeze_sparse->StTerminalError_sparse 322 Not Covered



Branch Coverage for Module : sha3
Line No.TotalCoveredPercent
Branches 45 0 0.00
TERNARY 173 3 0 0.00
TERNARY 179 3 0 0.00
IF 184 2 0 0.00
IF 198 2 0 0.00
IF 207 4 0 0.00
IF 227 2 0 0.00
CASE 252 13 0 0.00
IF 321 2 0 0.00
CASE 332 3 0 0.00
CASE 351 11 0 0.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_sha3_0.1/rtl/sha3.sv' or '../src/lowrisc_ip_sha3_0.1/rtl/sha3.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 173 ((sha3pad_keccak_run || sw_keccak_run)) ? -2-: 173 (keccak_complete) ?

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


LineNo. Expression -1-: 179 (keccak_run) ? -2-: 179 (keccak_complete) ?

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


LineNo. Expression -1-: 184 if ((!rst_ni))

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


LineNo. Expression -1-: 198 if ((!rst_ni))

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


LineNo. Expression -1-: 207 if ((!rst_ni)) -2-: 208 if (process_i) -3-: 209 if (prim_mubi_pkg::mubi4_test_true_strict(absorbed))

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-: 227 if ((!rst_ni))

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


LineNo. Expression -1-: 252 case (st) -2-: 254 if (start_i) -3-: 264 if ((process_i && (!processing))) -4-: 268 if (prim_mubi_pkg::mubi4_test_true_strict(absorbed)) -5-: 281 if (run_i) -6-: 285 if (prim_mubi_pkg::mubi4_test_true_strict(done_i)) -7-: 295 if (keccak_complete)

Branches:
-1--2--3--4--5--6--7-StatusTests
StIdle_sparse 1 - - - - - Not Covered
StIdle_sparse 0 - - - - - Not Covered
StAbsorb_sparse - 1 - - - - Not Covered
StAbsorb_sparse - 0 1 - - - Not Covered
StAbsorb_sparse - 0 0 - - - Not Covered
StSqueeze_sparse - - - 1 - - Not Covered
StSqueeze_sparse - - - 0 1 - Not Covered
StSqueeze_sparse - - - 0 0 - Not Covered
StManualRun_sparse - - - - - 1 Not Covered
StManualRun_sparse - - - - - 0 Not Covered
StFlush_sparse - - - - - - Not Covered
StTerminalError_sparse - - - - - - Not Covered
default - - - - - - Not Covered


LineNo. Expression -1-: 321 if (lc_ctrl_pkg::lc_tx_test_true_loose(lc_escalate_en_i))

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


LineNo. Expression -1-: 332 case (mux_sel)

Branches:
-1-StatusTests
MuxGuard Not Covered
MuxRelease Not Covered
default Not Covered


LineNo. Expression -1-: 351 case (st) -2-: 353 if (((process_i || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i))) -3-: 364 if ((((start_i || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i)) || (process_i && processing))) -4-: 375 if ((start_i || process_i)) -5-: 385 if ((((start_i || process_i) || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i))) -6-: 396 if ((((start_i || process_i) || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i)))

Branches:
-1--2--3--4--5--6-StatusTests
StIdle_sparse 1 - - - - Not Covered
StIdle_sparse 0 - - - - Not Covered
StAbsorb_sparse - 1 - - - Not Covered
StAbsorb_sparse - 0 - - - Not Covered
StSqueeze_sparse - - 1 - - Not Covered
StSqueeze_sparse - - 0 - - Not Covered
StManualRun_sparse - - - 1 - Not Covered
StManualRun_sparse - - - 0 - Not Covered
StFlush_sparse - - - - 1 Not Covered
StFlush_sparse - - - - 0 Not Covered
default - - - - - Not Covered

Line Coverage for Instance : tb.dut.u_sha3
Line No.TotalCoveredPercent
TOTAL8200.00
CONT_ASSIGN138100.00
CONT_ASSIGN144100.00
CONT_ASSIGN148100.00
CONT_ASSIGN172100.00
CONT_ASSIGN173100.00
CONT_ASSIGN178100.00
CONT_ASSIGN179100.00
ALWAYS184500.00
ALWAYS198300.00
CONT_ASSIGN203100.00
ALWAYS207600.00
CONT_ASSIGN214100.00
CONT_ASSIGN217100.00
CONT_ASSIGN218100.00
CONT_ASSIGN220100.00
ALWAYS227300.00
ALWAYS2373800.00
ALWAYS332300.00
ALWAYS3491200.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_sha3_0.1/rtl/sha3.sv' or '../src/lowrisc_ip_sha3_0.1/rtl/sha3.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
138 0 1
144 0 1
148 0 1
172 0 1
173 0 1
178 0 1
179 0 1
184 0 1
185 0 1
186 0 1
188 0 1
189 0 1
198 0 2
199 0 1
203 0 1
207 0 2
208 0 2
209 0 1
210 0 1
==> MISSING_ELSE
214 0 1
217 0 1
218 0 1
220 0 1
227 0 3
237 0 1
240 0 1
241 0 1
242 0 1
243 0 1
245 0 1
247 0 1
248 0 1
250 0 1
252 0 1
254 0 1
255 0 1
257 0 1
259 0 1
264 0 1
265 0 1
267 0 1
268 0 1
269 0 1
271 0 1
276 0 1
277 0 1
279 0 1
281 0 1
282 0 1
284 0 1
285 0 1
286 0 1
288 0 1
290 0 1
295 0 1
296 0 1
298 0 1
303 0 1
308 0 1
309 0 1
321 0 1
322 0 1
==> MISSING_ELSE
332 0 1
333 0 1
334 0 1
349 0 1
351 0 1
353 0 1
355 0 1
==> MISSING_ELSE
364 0 1
366 0 1
==> MISSING_ELSE
375 0 1
376 0 1
==> MISSING_ELSE
385 0 1
387 0 1
==> MISSING_ELSE
396 0 1
398 0 1
==> MISSING_ELSE


Cond Coverage for Instance : tb.dut.u_sha3
TotalCoveredPercent
Conditions2700.00
Logical2700.00
Non-Logical00
Event00

 LINE       138
 EXPRESSION (round_count_error | msg_count_error)
             --------1--------   -------2-------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       144
 EXPRESSION (sha3_state_error | keccak_round_state_error | sha3pad_state_error)
             --------1-------   ------------2-----------   ---------3---------
-1--2--3-StatusTests
000Not Covered
001Not Covered
010Not Covered
100Not Covered

 LINE       173
 EXPRESSION ((sha3pad_keccak_run || sw_keccak_run) ? 1'b1 : (keccak_complete ? 1'b0 : keccak_run_req_q))
             ------------------1------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       173
 SUB-EXPRESSION (sha3pad_keccak_run || sw_keccak_run)
                 ---------1--------    ------2------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       173
 SUB-EXPRESSION (keccak_complete ? 1'b0 : keccak_run_req_q)
                 -------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       178
 EXPRESSION (run_req_o & run_ack_i & ((~keccak_triggered_q)))
             ----1----   ----2----   -----------3-----------
-1--2--3-StatusTests
011Not Covered
101Unreachable
110Not Covered
111Not Covered

 LINE       179
 EXPRESSION (keccak_run ? 1'b1 : (keccak_complete ? 1'b0 : keccak_triggered_q))
             -----1----
-1-StatusTests
0Not Covered
1Not Covered

 LINE       179
 SUB-EXPRESSION (keccak_complete ? 1'b0 : keccak_triggered_q)
                 -------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       264
 EXPRESSION (process_i && ((!processing)))
             ----1----    -------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       375
 EXPRESSION (start_i || process_i)
             ---1---    ----2----
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

FSM Coverage for Instance : tb.dut.u_sha3
Summary for FSM :: st
TotalCoveredPercent
States 6 0 0.00 (Not included in score)
Transitions 9 0 0.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: st
statesLine No.CoveredTests
StAbsorb_sparse 255 Not Covered
StFlush_sparse 286 Not Covered
StIdle_sparse 259 Not Covered
StManualRun_sparse 282 Not Covered
StSqueeze_sparse 269 Not Covered
StTerminalError_sparse 308 Not Covered


transitionsLine No.CoveredTestsExclude Annotation
StAbsorb_sparse->StSqueeze_sparse 269 Not Covered
StAbsorb_sparse->StTerminalError_sparse 322 Not Covered
StFlush_sparse->StIdle_sparse 303 Not Covered
StFlush_sparse->StTerminalError_sparse 322 Excluded [LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
StIdle_sparse->StAbsorb_sparse 255 Not Covered
StIdle_sparse->StTerminalError_sparse 322 Not Covered
StManualRun_sparse->StSqueeze_sparse 296 Not Covered
StManualRun_sparse->StTerminalError_sparse 322 Excluded [LOW_RISK] The transition from any state to error_terminal state is fully verified in FPV.
StSqueeze_sparse->StFlush_sparse 286 Not Covered
StSqueeze_sparse->StManualRun_sparse 282 Not Covered
StSqueeze_sparse->StTerminalError_sparse 322 Not Covered



Branch Coverage for Instance : tb.dut.u_sha3
Line No.TotalCoveredPercent
Branches 45 0 0.00
TERNARY 173 3 0 0.00
TERNARY 179 3 0 0.00
IF 184 2 0 0.00
IF 198 2 0 0.00
IF 207 4 0 0.00
IF 227 2 0 0.00
CASE 252 13 0 0.00
IF 321 2 0 0.00
CASE 332 3 0 0.00
CASE 351 11 0 0.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_sha3_0.1/rtl/sha3.sv' or '../src/lowrisc_ip_sha3_0.1/rtl/sha3.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 173 ((sha3pad_keccak_run || sw_keccak_run)) ? -2-: 173 (keccak_complete) ?

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


LineNo. Expression -1-: 179 (keccak_run) ? -2-: 179 (keccak_complete) ?

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


LineNo. Expression -1-: 184 if ((!rst_ni))

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


LineNo. Expression -1-: 198 if ((!rst_ni))

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


LineNo. Expression -1-: 207 if ((!rst_ni)) -2-: 208 if (process_i) -3-: 209 if (prim_mubi_pkg::mubi4_test_true_strict(absorbed))

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-: 227 if ((!rst_ni))

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


LineNo. Expression -1-: 252 case (st) -2-: 254 if (start_i) -3-: 264 if ((process_i && (!processing))) -4-: 268 if (prim_mubi_pkg::mubi4_test_true_strict(absorbed)) -5-: 281 if (run_i) -6-: 285 if (prim_mubi_pkg::mubi4_test_true_strict(done_i)) -7-: 295 if (keccak_complete)

Branches:
-1--2--3--4--5--6--7-StatusTests
StIdle_sparse 1 - - - - - Not Covered
StIdle_sparse 0 - - - - - Not Covered
StAbsorb_sparse - 1 - - - - Not Covered
StAbsorb_sparse - 0 1 - - - Not Covered
StAbsorb_sparse - 0 0 - - - Not Covered
StSqueeze_sparse - - - 1 - - Not Covered
StSqueeze_sparse - - - 0 1 - Not Covered
StSqueeze_sparse - - - 0 0 - Not Covered
StManualRun_sparse - - - - - 1 Not Covered
StManualRun_sparse - - - - - 0 Not Covered
StFlush_sparse - - - - - - Not Covered
StTerminalError_sparse - - - - - - Not Covered
default - - - - - - Not Covered


LineNo. Expression -1-: 321 if (lc_ctrl_pkg::lc_tx_test_true_loose(lc_escalate_en_i))

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


LineNo. Expression -1-: 332 case (mux_sel)

Branches:
-1-StatusTests
MuxGuard Not Covered
MuxRelease Not Covered
default Not Covered


LineNo. Expression -1-: 351 case (st) -2-: 353 if (((process_i || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i))) -3-: 364 if ((((start_i || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i)) || (process_i && processing))) -4-: 375 if ((start_i || process_i)) -5-: 385 if ((((start_i || process_i) || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i))) -6-: 396 if ((((start_i || process_i) || run_i) || prim_mubi_pkg::mubi4_test_true_loose(done_i)))

Branches:
-1--2--3--4--5--6-StatusTests
StIdle_sparse 1 - - - - Not Covered
StIdle_sparse 0 - - - - Not Covered
StAbsorb_sparse - 1 - - - Not Covered
StAbsorb_sparse - 0 - - - Not Covered
StSqueeze_sparse - - 1 - - Not Covered
StSqueeze_sparse - - 0 - - Not Covered
StManualRun_sparse - - - 1 - Not Covered
StManualRun_sparse - - - 0 - Not Covered
StFlush_sparse - - - - 1 Not Covered
StFlush_sparse - - - - 0 Not Covered
default - - - - - Not Covered

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%