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



Module Instance : tb.dut.u_lc_keymgr_en_sync.gen_flops.u_prim_flop_2sync

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 u_lc_keymgr_en_sync


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_reseed_ctrl.u_edn_req.u_prim_sync_reqack_data.u_prim_sync_reqack.gen_nrz_hs_protocol.req_sync

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
95.83 100.00 83.33 100.00 100.00 u_prim_sync_reqack


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_reseed_ctrl.u_edn_req.u_prim_sync_reqack_data.u_prim_sync_reqack.gen_nrz_hs_protocol.ack_sync

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
95.83 100.00 83.33 100.00 100.00 u_prim_sync_reqack


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_sync 100.00 100.00 100.00



Module Instance : tb.dut.u_ctrl.u_key_valid_sync

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.80 100.00 98.09 100.00 100.00 90.91 u_ctrl


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_sync 100.00 100.00 100.00

Line Coverage for Module : prim_flop_2sync
Line No.TotalCoveredPercent
TOTAL33100.00
ALWAYS3933100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_flop_2sync_0/rtl/prim_flop_2sync.sv' or '../src/lowrisc_prim_flop_2sync_0/rtl/prim_flop_2sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
39 1 1
40 1 1
42 1 1


Branch Coverage for Module : prim_flop_2sync
Line No.TotalCoveredPercent
Branches 2 2 100.00
IF 39 2 2 100.00

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

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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

Line Coverage for Instance : tb.dut.u_lc_keymgr_en_sync.gen_flops.u_prim_flop_2sync
Line No.TotalCoveredPercent
TOTAL33100.00
ALWAYS3933100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_flop_2sync_0/rtl/prim_flop_2sync.sv' or '../src/lowrisc_prim_flop_2sync_0/rtl/prim_flop_2sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
39 1 1
40 1 1
42 1 1


Branch Coverage for Instance : tb.dut.u_lc_keymgr_en_sync.gen_flops.u_prim_flop_2sync
Line No.TotalCoveredPercent
Branches 2 2 100.00
IF 39 2 2 100.00

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

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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

Line Coverage for Instance : tb.dut.u_reseed_ctrl.u_edn_req.u_prim_sync_reqack_data.u_prim_sync_reqack.gen_nrz_hs_protocol.req_sync
Line No.TotalCoveredPercent
TOTAL33100.00
ALWAYS3933100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_flop_2sync_0/rtl/prim_flop_2sync.sv' or '../src/lowrisc_prim_flop_2sync_0/rtl/prim_flop_2sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
39 1 1
40 1 1
42 1 1


Branch Coverage for Instance : tb.dut.u_reseed_ctrl.u_edn_req.u_prim_sync_reqack_data.u_prim_sync_reqack.gen_nrz_hs_protocol.req_sync
Line No.TotalCoveredPercent
Branches 2 2 100.00
IF 39 2 2 100.00

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

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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

Line Coverage for Instance : tb.dut.u_reseed_ctrl.u_edn_req.u_prim_sync_reqack_data.u_prim_sync_reqack.gen_nrz_hs_protocol.ack_sync
Line No.TotalCoveredPercent
TOTAL33100.00
ALWAYS3933100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_flop_2sync_0/rtl/prim_flop_2sync.sv' or '../src/lowrisc_prim_flop_2sync_0/rtl/prim_flop_2sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
39 1 1
40 1 1
42 1 1


Branch Coverage for Instance : tb.dut.u_reseed_ctrl.u_edn_req.u_prim_sync_reqack_data.u_prim_sync_reqack.gen_nrz_hs_protocol.ack_sync
Line No.TotalCoveredPercent
Branches 2 2 100.00
IF 39 2 2 100.00

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

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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3

Line Coverage for Instance : tb.dut.u_ctrl.u_key_valid_sync
Line No.TotalCoveredPercent
TOTAL33100.00
ALWAYS3933100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_prim_flop_2sync_0/rtl/prim_flop_2sync.sv' or '../src/lowrisc_prim_flop_2sync_0/rtl/prim_flop_2sync.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
39 1 1
40 1 1
42 1 1


Branch Coverage for Instance : tb.dut.u_ctrl.u_key_valid_sync
Line No.TotalCoveredPercent
Branches 2 2 100.00
IF 39 2 2 100.00

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

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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3