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

Module : clk_ctrl_and_main_pd_sva_if
SCORELINECONDTOGGLEFSMBRANCHASSERT
92.86 92.86

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_dv_top_earlgrey_sva_0.1/clk_ctrl_and_main_pd_sva_if.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.top_earlgrey.clk_ctrl_and_main_pd_sva_if 92.86 92.86



Module Instance : tb.dut.top_earlgrey.clk_ctrl_and_main_pd_sva_if

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
92.86 92.86


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
92.86 92.86


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
76.37 55.20 73.92 100.00 top_earlgrey


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Since this is the module's only instance, the coverage report is the same as for the module.
Toggle Coverage for Module : clk_ctrl_and_main_pd_sva_if
TotalCoveredPercent
Totals 14 13 92.86
Total Bits 28 26 92.86
Total Bits 0->1 14 13 92.86
Total Bits 1->0 14 13 92.86

Ports 14 13 92.86
Port Bits 28 26 92.86
Port Bits 0->1 14 13 92.86
Port Bits 1->0 14 13 92.86

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_slow_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_slow_ni Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
por_d0_ni Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_clk_en Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
core_clk_val Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
clk_core_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
io_clk_en Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
io_clk_val Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
clk_io_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
usb_clk_en Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
usb_clk_val Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
clk_usb_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
main_pd_n No No No INPUT
main_pok Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT

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