Unified Coverage Report :: Module

Module : rstmgr_leaf_rst

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00			100.00

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_09_23/rstmgr-sim-vcs/default/sim-vcs/../src/lowrisc_opentitan_top_earlgrey_rstmgr_0.1/rtl/rstmgr_leaf_rst.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_d0_spi_device	96.67	100.00	90.00			100.00
tb.dut.u_d0_spi_host0	96.67	100.00	90.00			100.00
tb.dut.u_d0_spi_host1	96.67	100.00	90.00			100.00
tb.dut.u_d0_usb	96.67	100.00	90.00			100.00
tb.dut.u_d0_i2c0	96.67	100.00	90.00			100.00
tb.dut.u_d0_i2c1	96.67	100.00	90.00			100.00
tb.dut.u_d0_i2c2	96.67	100.00	90.00			100.00
tb.dut.u_daon_por	100.00		100.00
tb.dut.u_daon_por_io	100.00		100.00
tb.dut.u_daon_por_io_div2	100.00		100.00
tb.dut.u_daon_por_io_div4	100.00		100.00
tb.dut.u_daon_por_usb	100.00		100.00
tb.dut.u_daon_lc	100.00		100.00
tb.dut.u_d0_lc	100.00		100.00
tb.dut.u_daon_lc_shadowed	100.00		100.00
tb.dut.u_d0_lc_shadowed	100.00		100.00
tb.dut.u_daon_lc_aon	100.00		100.00
tb.dut.u_daon_lc_io	100.00		100.00
tb.dut.u_d0_lc_io	100.00		100.00
tb.dut.u_daon_lc_io_div2	100.00		100.00
tb.dut.u_d0_lc_io_div2	100.00		100.00
tb.dut.u_daon_lc_usb	100.00		100.00
tb.dut.u_d0_lc_usb	100.00		100.00
tb.dut.u_d0_sys	100.00		100.00
tb.dut.u_daon_sys_io_div4	100.00		100.00
tb.dut.u_d0_usb_aon	100.00	100.00	100.00			100.00
tb.dut.u_daon_lc_io_div4
tb.dut.u_d0_lc_io_div4
tb.dut.u_daon_lc_io_div4_shadowed
tb.dut.u_d0_lc_io_div4_shadowed

Module Instance : tb.dut.u_d0_spi_device

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.67	100.00	90.00			100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
99.29	100.00	96.43	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_d0_spi_host0

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.67	100.00	90.00			100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
99.29	100.00	96.43	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_d0_spi_host1

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.67	100.00	90.00			100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
99.29	100.00	96.43	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_d0_usb

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.67	100.00	90.00			100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
99.29	100.00	96.43	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_d0_i2c0

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.67	100.00	90.00			100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
99.29	100.00	96.43	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_d0_i2c1

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.67	100.00	90.00			100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
99.29	100.00	96.43	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_d0_i2c2

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.67	100.00	90.00			100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
99.29	100.00	96.43	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_daon_por

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_daon_por_io

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_daon_por_io_div2

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_daon_por_io_div4

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_daon_por_usb

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_daon_lc

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_d0_lc

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_daon_lc_shadowed

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_d0_lc_shadowed

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_daon_lc_aon

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_daon_lc_io

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_d0_lc_io

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_daon_lc_io_div2

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_d0_lc_io_div2

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_daon_lc_usb

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_d0_lc_usb

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_d0_sys

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_daon_sys_io_div4

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00		100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_d0_usb_aon

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00			100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00	100.00		100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
gen_rst_chk.u_prim_rst_sync	100.00	100.00	100.00			100.00	100.00
gen_rst_chk.u_rst_chk	100.00			100.00
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_daon_lc_io_div4

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00			100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_d0_lc_io_div4

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00			100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_daon_lc_io_div4_shadowed

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00			100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Module Instance : tb.dut.u_d0_lc_io_div4_shadowed

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00			100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.55	100.00	98.21	100.00			100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_prim_mubi4_sender	100.00	100.00				100.00	100.00
u_rst_mux	100.00	100.00	100.00				100.00
u_rst_sync	100.00	100.00				100.00
u_scanmode_sync	100.00	100.00					100.00

Line Coverage for Module : rstmgr_leaf_rst ( parameter SecCheck=1,SecMaxSyncDelay=2,SwRstReq=1 )
Line Coverage for Module self-instances :

SCORE	LINE
96.67	100.00

tb.dut.u_d0_spi_device

SCORE	LINE
96.67	100.00

tb.dut.u_d0_spi_host0

SCORE	LINE
96.67	100.00

tb.dut.u_d0_spi_host1

SCORE	LINE
96.67	100.00

tb.dut.u_d0_usb

SCORE	LINE
100.00	100.00

tb.dut.u_d0_usb_aon

SCORE	LINE
96.67	100.00

tb.dut.u_d0_i2c0

SCORE	LINE
96.67	100.00

tb.dut.u_d0_i2c1

SCORE	LINE
96.67	100.00

tb.dut.u_d0_i2c2

	Line No.	Total	Covered	Percent
TOTAL		6	6	100.00
ALWAYS	68	6	6	100.00



67                          always_ff @(posedge clk_i or negedge rst_ni) begin
68         1/1                if (!rst_ni) begin
           Tests:       T1 T2 T3 
69         1/1                   sw_rst_req_q <= '0;
           Tests:       T1 T2 T3 
70         1/1                end else if (sw_rst_req_q && clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
71         1/1                   sw_rst_req_q <= '0;
           Tests:       T5 T7 T10 
72         1/1                end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
73         1/1                   sw_rst_req_q <= 1'b1;
           Tests:       T3 T5 T7 
74                            end
                        MISSING_ELSE

Cond Coverage for Module : rstmgr_leaf_rst ( parameter SecCheck=1,SecMaxSyncDelay=2,SwRstReq=1 )
Cond Coverage for Module self-instances :

SCORE	COND
96.67	90.00

tb.dut.u_d0_spi_device

SCORE	COND
96.67	90.00

tb.dut.u_d0_spi_host0

SCORE	COND
96.67	90.00

tb.dut.u_d0_spi_host1

SCORE	COND
96.67	90.00

tb.dut.u_d0_usb

SCORE	COND
100.00	100.00

tb.dut.u_d0_usb_aon

SCORE	COND
96.67	90.00

tb.dut.u_d0_i2c0

SCORE	COND
96.67	90.00

tb.dut.u_d0_i2c1

SCORE	COND
96.67	90.00

tb.dut.u_d0_i2c2

	Total	Covered	Percent
Conditions	10	10	100.00
Logical	10	10	100.00
Non-Logical	0	0
Event	0	0

 LINE       70
 EXPRESSION (sw_rst_req_q && clr_sw_rst_req)
             ------1-----    -------2------

-1-	-2-	Status	Tests
0	1	Covered	T5,T7,T10
1	0	Covered	T3,T5,T7
1	1	Covered	T5,T7,T10

 LINE       72
 EXPRESSION (((!sw_rst_req_q)) && ((!sw_rst_req_ni)) && ((!clr_sw_rst_req)))
             --------1--------    ---------2--------    ---------3---------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T3,T5,T7
1	0	1	Covered	T1,T2,T3
1	1	0	Covered	T5,T7,T10
1	1	1	Covered	T3,T5,T7

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T3,T5,T7
1	0	Covered	T94,T98,T99

Cond Coverage for Module : rstmgr_leaf_rst ( parameter SecCheck=1,SecMaxSyncDelay=2,SwRstReq=0 )
Cond Coverage for Module self-instances :

SCORE	COND
100.00	100.00

tb.dut.u_daon_por

SCORE	COND
100.00	100.00

tb.dut.u_daon_por_io

SCORE	COND
100.00	100.00

tb.dut.u_daon_por_io_div2

SCORE	COND
100.00	100.00

tb.dut.u_daon_por_io_div4

SCORE	COND
100.00	100.00

tb.dut.u_daon_por_usb

SCORE	COND
100.00	100.00

tb.dut.u_daon_lc

SCORE	COND
100.00	100.00

tb.dut.u_d0_lc

SCORE	COND
100.00	100.00

tb.dut.u_daon_lc_shadowed

SCORE	COND
100.00	100.00

tb.dut.u_d0_lc_shadowed

SCORE	COND
100.00	100.00

tb.dut.u_daon_lc_aon

SCORE	COND
100.00	100.00

tb.dut.u_daon_lc_io

SCORE	COND
100.00	100.00

tb.dut.u_d0_lc_io

SCORE	COND
100.00	100.00

tb.dut.u_daon_lc_io_div2

SCORE	COND
100.00	100.00

tb.dut.u_d0_lc_io_div2

SCORE	COND
100.00	100.00

tb.dut.u_daon_lc_usb

SCORE	COND
100.00	100.00

tb.dut.u_d0_lc_usb

SCORE	COND
100.00	100.00

tb.dut.u_d0_sys

SCORE	COND
100.00	100.00

tb.dut.u_daon_sys_io_div4

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Branch Coverage for Module : rstmgr_leaf_rst

	Line No.	Total	Covered	Percent
Branches		4	4	100.00
IF	68	4	4	100.00



68               if (!rst_ni) begin
                 -1-  
69                  sw_rst_req_q <= '0;
                    ==>
70               end else if (sw_rst_req_q && clr_sw_rst_req) begin
                          -2-  
71                  sw_rst_req_q <= '0;
                    ==>
72               end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
                          -3-  
73                  sw_rst_req_q <= 1'b1;
                    ==>
74               end
                 MISSING_ELSE
                 ==>

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T5,T7,T10
0	0	1	Covered	T3,T5,T7
0	0	0	Covered	T1,T2,T3

Line Coverage for Instance : tb.dut.u_d0_spi_device

	Line No.	Total	Covered	Percent
TOTAL		6	6	100.00
ALWAYS	68	6	6	100.00



67                          always_ff @(posedge clk_i or negedge rst_ni) begin
68         1/1                if (!rst_ni) begin
           Tests:       T1 T2 T3 
69         1/1                   sw_rst_req_q <= '0;
           Tests:       T1 T2 T3 
70         1/1                end else if (sw_rst_req_q && clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
71         1/1                   sw_rst_req_q <= '0;
           Tests:       T7 T10 T12 
72         1/1                end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
73         1/1                   sw_rst_req_q <= 1'b1;
           Tests:       T3 T7 T10 
74                            end
                        MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_d0_spi_device

	Total	Covered	Percent
Conditions	10	9	90.00
Logical	10	9	90.00
Non-Logical	0	0
Event	0	0

 LINE       70
 EXPRESSION (sw_rst_req_q && clr_sw_rst_req)
             ------1-----    -------2------

-1-	-2-	Status	Tests
0	1	Covered	T7,T10,T12
1	0	Covered	T3,T7,T10
1	1	Covered	T7,T10,T12

 LINE       72
 EXPRESSION (((!sw_rst_req_q)) && ((!sw_rst_req_ni)) && ((!clr_sw_rst_req)))
             --------1--------    ---------2--------    ---------3---------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T3,T7,T10
1	0	1	Covered	T1,T2,T3
1	1	0	Covered	T7,T10,T12
1	1	1	Covered	T3,T7,T10

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T3,T7,T10
1	0	Not Covered

Branch Coverage for Instance : tb.dut.u_d0_spi_device

	Line No.	Total	Covered	Percent
Branches		4	4	100.00
IF	68	4	4	100.00



68               if (!rst_ni) begin
                 -1-  
69                  sw_rst_req_q <= '0;
                    ==>
70               end else if (sw_rst_req_q && clr_sw_rst_req) begin
                          -2-  
71                  sw_rst_req_q <= '0;
                    ==>
72               end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
                          -3-  
73                  sw_rst_req_q <= 1'b1;
                    ==>
74               end
                 MISSING_ELSE
                 ==>

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T7,T10,T12
0	0	1	Covered	T3,T7,T10
0	0	0	Covered	T1,T2,T3

Line Coverage for Instance : tb.dut.u_d0_spi_host0

	Line No.	Total	Covered	Percent
TOTAL		6	6	100.00
ALWAYS	68	6	6	100.00



67                          always_ff @(posedge clk_i or negedge rst_ni) begin
68         1/1                if (!rst_ni) begin
           Tests:       T1 T2 T3 
69         1/1                   sw_rst_req_q <= '0;
           Tests:       T1 T2 T3 
70         1/1                end else if (sw_rst_req_q && clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
71         1/1                   sw_rst_req_q <= '0;
           Tests:       T7 T62 T63 
72         1/1                end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
73         1/1                   sw_rst_req_q <= 1'b1;
           Tests:       T3 T7 T62 
74                            end
                        MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_d0_spi_host0

	Total	Covered	Percent
Conditions	10	9	90.00
Logical	10	9	90.00
Non-Logical	0	0
Event	0	0

 LINE       70
 EXPRESSION (sw_rst_req_q && clr_sw_rst_req)
             ------1-----    -------2------

-1-	-2-	Status	Tests
0	1	Covered	T7,T62,T63
1	0	Covered	T7,T62,T63
1	1	Covered	T7,T62,T63

 LINE       72
 EXPRESSION (((!sw_rst_req_q)) && ((!sw_rst_req_ni)) && ((!clr_sw_rst_req)))
             --------1--------    ---------2--------    ---------3---------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T7,T62,T63
1	0	1	Covered	T1,T2,T3
1	1	0	Covered	T7,T62,T63
1	1	1	Covered	T3,T7,T62

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T3,T7,T62
1	0	Not Covered

Branch Coverage for Instance : tb.dut.u_d0_spi_host0

	Line No.	Total	Covered	Percent
Branches		4	4	100.00
IF	68	4	4	100.00



68               if (!rst_ni) begin
                 -1-  
69                  sw_rst_req_q <= '0;
                    ==>
70               end else if (sw_rst_req_q && clr_sw_rst_req) begin
                          -2-  
71                  sw_rst_req_q <= '0;
                    ==>
72               end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
                          -3-  
73                  sw_rst_req_q <= 1'b1;
                    ==>
74               end
                 MISSING_ELSE
                 ==>

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T7,T62,T63
0	0	1	Covered	T3,T7,T62
0	0	0	Covered	T1,T2,T3

Line Coverage for Instance : tb.dut.u_d0_spi_host1

	Line No.	Total	Covered	Percent
TOTAL		6	6	100.00
ALWAYS	68	6	6	100.00



67                          always_ff @(posedge clk_i or negedge rst_ni) begin
68         1/1                if (!rst_ni) begin
           Tests:       T1 T2 T3 
69         1/1                   sw_rst_req_q <= '0;
           Tests:       T1 T2 T3 
70         1/1                end else if (sw_rst_req_q && clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
71         1/1                   sw_rst_req_q <= '0;
           Tests:       T7 T62 T13 
72         1/1                end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
73         1/1                   sw_rst_req_q <= 1'b1;
           Tests:       T7 T62 T13 
74                            end
                        MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_d0_spi_host1

	Total	Covered	Percent
Conditions	10	9	90.00
Logical	10	9	90.00
Non-Logical	0	0
Event	0	0

 LINE       70
 EXPRESSION (sw_rst_req_q && clr_sw_rst_req)
             ------1-----    -------2------

-1-	-2-	Status	Tests
0	1	Covered	T7,T62,T13
1	0	Covered	T7,T62,T13
1	1	Covered	T7,T62,T13

 LINE       72
 EXPRESSION (((!sw_rst_req_q)) && ((!sw_rst_req_ni)) && ((!clr_sw_rst_req)))
             --------1--------    ---------2--------    ---------3---------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T7,T62,T13
1	0	1	Covered	T1,T2,T3
1	1	0	Covered	T7,T62,T13
1	1	1	Covered	T7,T62,T13

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T7,T62,T13
1	0	Not Covered

Branch Coverage for Instance : tb.dut.u_d0_spi_host1

	Line No.	Total	Covered	Percent
Branches		4	4	100.00
IF	68	4	4	100.00



68               if (!rst_ni) begin
                 -1-  
69                  sw_rst_req_q <= '0;
                    ==>
70               end else if (sw_rst_req_q && clr_sw_rst_req) begin
                          -2-  
71                  sw_rst_req_q <= '0;
                    ==>
72               end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
                          -3-  
73                  sw_rst_req_q <= 1'b1;
                    ==>
74               end
                 MISSING_ELSE
                 ==>

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T7,T62,T13
0	0	1	Covered	T7,T62,T13
0	0	0	Covered	T1,T2,T3

Line Coverage for Instance : tb.dut.u_d0_usb

	Line No.	Total	Covered	Percent
TOTAL		6	6	100.00
ALWAYS	68	6	6	100.00



67                          always_ff @(posedge clk_i or negedge rst_ni) begin
68         1/1                if (!rst_ni) begin
           Tests:       T1 T2 T3 
69         1/1                   sw_rst_req_q <= '0;
           Tests:       T1 T2 T3 
70         1/1                end else if (sw_rst_req_q && clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
71         1/1                   sw_rst_req_q <= '0;
           Tests:       T7 T62 T63 
72         1/1                end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
73         1/1                   sw_rst_req_q <= 1'b1;
           Tests:       T7 T62 T63 
74                            end
                        MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_d0_usb

	Total	Covered	Percent
Conditions	10	9	90.00
Logical	10	9	90.00
Non-Logical	0	0
Event	0	0

 LINE       70
 EXPRESSION (sw_rst_req_q && clr_sw_rst_req)
             ------1-----    -------2------

-1-	-2-	Status	Tests
0	1	Covered	T7,T62,T63
1	0	Covered	T7,T62,T63
1	1	Covered	T7,T62,T63

 LINE       72
 EXPRESSION (((!sw_rst_req_q)) && ((!sw_rst_req_ni)) && ((!clr_sw_rst_req)))
             --------1--------    ---------2--------    ---------3---------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T7,T62,T63
1	0	1	Covered	T1,T2,T3
1	1	0	Covered	T7,T62,T63
1	1	1	Covered	T7,T62,T63

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T7,T62,T63
1	0	Not Covered

Branch Coverage for Instance : tb.dut.u_d0_usb

	Line No.	Total	Covered	Percent
Branches		4	4	100.00
IF	68	4	4	100.00



68               if (!rst_ni) begin
                 -1-  
69                  sw_rst_req_q <= '0;
                    ==>
70               end else if (sw_rst_req_q && clr_sw_rst_req) begin
                          -2-  
71                  sw_rst_req_q <= '0;
                    ==>
72               end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
                          -3-  
73                  sw_rst_req_q <= 1'b1;
                    ==>
74               end
                 MISSING_ELSE
                 ==>

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T7,T62,T63
0	0	1	Covered	T7,T62,T63
0	0	0	Covered	T1,T2,T3

Line Coverage for Instance : tb.dut.u_d0_i2c0

	Line No.	Total	Covered	Percent
TOTAL		6	6	100.00
ALWAYS	68	6	6	100.00



67                          always_ff @(posedge clk_i or negedge rst_ni) begin
68         1/1                if (!rst_ni) begin
           Tests:       T1 T2 T3 
69         1/1                   sw_rst_req_q <= '0;
           Tests:       T1 T2 T3 
70         1/1                end else if (sw_rst_req_q && clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
71         1/1                   sw_rst_req_q <= '0;
           Tests:       T7 T62 T63 
72         1/1                end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
73         1/1                   sw_rst_req_q <= 1'b1;
           Tests:       T7 T62 T63 
74                            end
                        MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_d0_i2c0

	Total	Covered	Percent
Conditions	10	9	90.00
Logical	10	9	90.00
Non-Logical	0	0
Event	0	0

 LINE       70
 EXPRESSION (sw_rst_req_q && clr_sw_rst_req)
             ------1-----    -------2------

-1-	-2-	Status	Tests
0	1	Covered	T7,T62,T63
1	0	Covered	T7,T62,T63
1	1	Covered	T7,T62,T63

 LINE       72
 EXPRESSION (((!sw_rst_req_q)) && ((!sw_rst_req_ni)) && ((!clr_sw_rst_req)))
             --------1--------    ---------2--------    ---------3---------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T7,T62,T63
1	0	1	Covered	T1,T2,T3
1	1	0	Covered	T7,T62,T63
1	1	1	Covered	T7,T62,T63

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T7,T62,T63
1	0	Not Covered

Branch Coverage for Instance : tb.dut.u_d0_i2c0

	Line No.	Total	Covered	Percent
Branches		4	4	100.00
IF	68	4	4	100.00



68               if (!rst_ni) begin
                 -1-  
69                  sw_rst_req_q <= '0;
                    ==>
70               end else if (sw_rst_req_q && clr_sw_rst_req) begin
                          -2-  
71                  sw_rst_req_q <= '0;
                    ==>
72               end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
                          -3-  
73                  sw_rst_req_q <= 1'b1;
                    ==>
74               end
                 MISSING_ELSE
                 ==>

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T7,T62,T63
0	0	1	Covered	T7,T62,T63
0	0	0	Covered	T1,T2,T3

Line Coverage for Instance : tb.dut.u_d0_i2c1

	Line No.	Total	Covered	Percent
TOTAL		6	6	100.00
ALWAYS	68	6	6	100.00



67                          always_ff @(posedge clk_i or negedge rst_ni) begin
68         1/1                if (!rst_ni) begin
           Tests:       T1 T2 T3 
69         1/1                   sw_rst_req_q <= '0;
           Tests:       T1 T2 T3 
70         1/1                end else if (sw_rst_req_q && clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
71         1/1                   sw_rst_req_q <= '0;
           Tests:       T5 T7 T62 
72         1/1                end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
73         1/1                   sw_rst_req_q <= 1'b1;
           Tests:       T5 T7 T62 
74                            end
                        MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_d0_i2c1

	Total	Covered	Percent
Conditions	10	9	90.00
Logical	10	9	90.00
Non-Logical	0	0
Event	0	0

 LINE       70
 EXPRESSION (sw_rst_req_q && clr_sw_rst_req)
             ------1-----    -------2------

-1-	-2-	Status	Tests
0	1	Covered	T5,T7,T62
1	0	Covered	T5,T7,T62
1	1	Covered	T5,T7,T62

 LINE       72
 EXPRESSION (((!sw_rst_req_q)) && ((!sw_rst_req_ni)) && ((!clr_sw_rst_req)))
             --------1--------    ---------2--------    ---------3---------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T5,T7,T62
1	0	1	Covered	T1,T2,T3
1	1	0	Covered	T5,T7,T62
1	1	1	Covered	T5,T7,T62

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T5,T7,T62
1	0	Not Covered

Branch Coverage for Instance : tb.dut.u_d0_i2c1

	Line No.	Total	Covered	Percent
Branches		4	4	100.00
IF	68	4	4	100.00



68               if (!rst_ni) begin
                 -1-  
69                  sw_rst_req_q <= '0;
                    ==>
70               end else if (sw_rst_req_q && clr_sw_rst_req) begin
                          -2-  
71                  sw_rst_req_q <= '0;
                    ==>
72               end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
                          -3-  
73                  sw_rst_req_q <= 1'b1;
                    ==>
74               end
                 MISSING_ELSE
                 ==>

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T5,T7,T62
0	0	1	Covered	T5,T7,T62
0	0	0	Covered	T1,T2,T3

Line Coverage for Instance : tb.dut.u_d0_i2c2

	Line No.	Total	Covered	Percent
TOTAL		6	6	100.00
ALWAYS	68	6	6	100.00



67                          always_ff @(posedge clk_i or negedge rst_ni) begin
68         1/1                if (!rst_ni) begin
           Tests:       T1 T2 T3 
69         1/1                   sw_rst_req_q <= '0;
           Tests:       T1 T2 T3 
70         1/1                end else if (sw_rst_req_q && clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
71         1/1                   sw_rst_req_q <= '0;
           Tests:       T7 T62 T13 
72         1/1                end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
73         1/1                   sw_rst_req_q <= 1'b1;
           Tests:       T7 T62 T13 
74                            end
                        MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_d0_i2c2

	Total	Covered	Percent
Conditions	10	9	90.00
Logical	10	9	90.00
Non-Logical	0	0
Event	0	0

 LINE       70
 EXPRESSION (sw_rst_req_q && clr_sw_rst_req)
             ------1-----    -------2------

-1-	-2-	Status	Tests
0	1	Covered	T7,T62,T13
1	0	Covered	T7,T62,T13
1	1	Covered	T7,T62,T13

 LINE       72
 EXPRESSION (((!sw_rst_req_q)) && ((!sw_rst_req_ni)) && ((!clr_sw_rst_req)))
             --------1--------    ---------2--------    ---------3---------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T7,T62,T13
1	0	1	Covered	T1,T2,T3
1	1	0	Covered	T7,T62,T13
1	1	1	Covered	T7,T62,T13

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T7,T62,T13
1	0	Not Covered

Branch Coverage for Instance : tb.dut.u_d0_i2c2

	Line No.	Total	Covered	Percent
Branches		4	4	100.00
IF	68	4	4	100.00



68               if (!rst_ni) begin
                 -1-  
69                  sw_rst_req_q <= '0;
                    ==>
70               end else if (sw_rst_req_q && clr_sw_rst_req) begin
                          -2-  
71                  sw_rst_req_q <= '0;
                    ==>
72               end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
                          -3-  
73                  sw_rst_req_q <= 1'b1;
                    ==>
74               end
                 MISSING_ELSE
                 ==>

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T7,T62,T13
0	0	1	Covered	T7,T62,T13
0	0	0	Covered	T1,T2,T3

Cond Coverage for Instance : tb.dut.u_daon_por

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_daon_por_io

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_daon_por_io_div2

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_daon_por_io_div4

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_daon_por_usb

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_daon_lc

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_d0_lc

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_daon_lc_shadowed

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_d0_lc_shadowed

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_daon_lc_aon

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_daon_lc_io

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_d0_lc_io

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_daon_lc_io_div2

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_d0_lc_io_div2

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_daon_lc_usb

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_d0_lc_usb

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_d0_sys

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Cond Coverage for Instance : tb.dut.u_daon_sys_io_div4

	Total	Covered	Percent
Conditions	1	1	100.00
Logical	1	1	100.00
Non-Logical	0	0
Event	0	0

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Unreachable
1	0	Unreachable

Line Coverage for Instance : tb.dut.u_d0_usb_aon

	Line No.	Total	Covered	Percent
TOTAL		6	6	100.00
ALWAYS	68	6	6	100.00



67                          always_ff @(posedge clk_i or negedge rst_ni) begin
68         1/1                if (!rst_ni) begin
           Tests:       T1 T2 T3 
69         1/1                   sw_rst_req_q <= '0;
           Tests:       T1 T2 T3 
70         1/1                end else if (sw_rst_req_q && clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
71         1/1                   sw_rst_req_q <= '0;
           Tests:       T7 T10 T62 
72         1/1                end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
           Tests:       T1 T2 T3 
73         1/1                   sw_rst_req_q <= 1'b1;
           Tests:       T7 T10 T62 
74                            end
                        MISSING_ELSE

Cond Coverage for Instance : tb.dut.u_d0_usb_aon

	Total	Covered	Percent
Conditions	10	10	100.00
Logical	10	10	100.00
Non-Logical	0	0
Event	0	0

 LINE       70
 EXPRESSION (sw_rst_req_q && clr_sw_rst_req)
             ------1-----    -------2------

-1-	-2-	Status	Tests
0	1	Covered	T7,T10,T62
1	0	Covered	T7,T10,T62
1	1	Covered	T7,T10,T62

 LINE       72
 EXPRESSION (((!sw_rst_req_q)) && ((!sw_rst_req_ni)) && ((!clr_sw_rst_req)))
             --------1--------    ---------2--------    ---------3---------

-1-	-2-	-3-	Status	Tests
0	1	1	Covered	T7,T10,T62
1	0	1	Covered	T1,T2,T3
1	1	0	Covered	T7,T10,T62
1	1	1	Covered	T7,T10,T62

 LINE       104
 EXPRESSION (sw_rst_req_q | ((~sw_rst_req_ni)))
             ------1-----   ---------2--------

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T7,T10,T62
1	0	Covered	T94,T98,T99

Branch Coverage for Instance : tb.dut.u_d0_usb_aon

	Line No.	Total	Covered	Percent
Branches		4	4	100.00
IF	68	4	4	100.00



68               if (!rst_ni) begin
                 -1-  
69                  sw_rst_req_q <= '0;
                    ==>
70               end else if (sw_rst_req_q && clr_sw_rst_req) begin
                          -2-  
71                  sw_rst_req_q <= '0;
                    ==>
72               end else if (!sw_rst_req_q && !sw_rst_req_ni && !clr_sw_rst_req) begin
                          -3-  
73                  sw_rst_req_q <= 1'b1;
                    ==>
74               end
                 MISSING_ELSE
                 ==>

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Covered	T1,T2,T3
0	1	-	Covered	T7,T10,T62
0	0	1	Covered	T7,T10,T62
0	0	0	Covered	T1,T2,T3