Unified Coverage Report :: Module :: clkmgr_byp

Module : clkmgr_byp

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_10_02/clkmgr-sim-vcs/default/sim-vcs/../src/lowrisc_opentitan_top_earlgrey_clkmgr_0.1/rtl/clkmgr_byp.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_clkmgr_byp	100.00	100.00

---

Module Instance : tb.dut.u_clkmgr_byp

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

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
98.65	100.00	93.24	100.00		100.00	100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_all_ack_sync	100.00	100.00	100.00			100.00	100.00
u_all_byp_req	100.00	100.00				100.00	100.00
u_en_sync	100.00	100.00				100.00	100.00
u_hi_speed_sel	100.00	100.00				100.00	100.00
u_io_ack_sync	100.00	100.00	100.00			100.00	100.00
u_io_byp_req	100.00	100.00				100.00	100.00
u_lc_byp_req	100.00	100.00				100.00	100.00
u_send	100.00	100.00				100.00
u_step_down_acks_sync	100.00	100.00				100.00

---

Since this is the module's only instance, the coverage report is the same as for the module.

Line Coverage for Module : clkmgr_byp

	Line No.	Total	Covered	Percent
TOTAL		3	3	100.00
CONT_ASSIGN	85	1	1	100.00
CONT_ASSIGN	111	1	1	100.00
CONT_ASSIGN	114	1	1	100.00

84                        mubi4_t io_clk_byp_req_d;
85         1/1            assign io_clk_byp_req_d = lc_ctrl_pkg::lc_tx_test_true_strict(lc_clk_byp_req[LcClkBypReqIoReq]) ?
           Tests:       T4 T28 T30 
86                                                  MuBi4True :
87                                                  MuBi4False;
88                      
89                        prim_mubi4_sender #(
90                          .ResetValue(MuBi4False),
91                          .EnSecBuf(1)
92                        ) u_io_byp_req (
93                          .clk_i,
94                          .rst_ni,
95                          .mubi_i(io_clk_byp_req_d),
96                          .mubi_o(io_clk_byp_req_o)
97                        );
98                      
99                        // only ack the lc_ctrl if it made a request.
100                       mubi4_t io_clk_byp_ack;
101                       prim_lc_sender u_send (
102                        .clk_i,
103                        .rst_ni,
104                        .lc_en_i(&step_down_acks_sync & mubi4_test_true_strict(io_clk_byp_ack) ?
105                                 lc_clk_byp_req[LcClkBypReqLcAck] : lc_ctrl_pkg::Off),
106                        .lc_en_o(lc_clk_byp_ack_o)
107                       );
108                     
109                       // software switch request handling
110                       mubi4_t debug_en;
111        1/1            assign debug_en = lc_ctrl_pkg::lc_to_mubi4(en);
           Tests:       T4 T28 T30 
112                     
113                       mubi4_t all_clk_byp_req_d;
114        1/1            assign all_clk_byp_req_d = mubi4_and_hi(byp_req_i, debug_en);
           Tests:       T4 T28 T30