Unified Coverage Report :: Module :: pwrmgr_slow_fsm

Module : pwrmgr_slow_fsm

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00		0.00	0.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_slow_fsm	0.00	0.00	0.00		0.00	0.00

---

Module Instance : tb.dut.u_slow_fsm

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00		0.00	0.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00		0.00	0.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
20.42	0.00	0.00	81.69		0.00		dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_main_pok_sync	0.00	0.00				0.00
u_state_regs	0.00	0.00				0.00
u_usb_clk_en	0.00	0.00				0.00

---

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

Line Coverage for Module : pwrmgr_slow_fsm

	Line No.	Total	Covered	Percent
TOTAL		110	0	0.00
CONT_ASSIGN	75	1	0	0.00
CONT_ASSIGN	85	1	0	0.00
CONT_ASSIGN	90	1	0	0.00
CONT_ASSIGN	91	1	0	0.00
CONT_ASSIGN	95	1	0	0.00
CONT_ASSIGN	105	1	0	0.00
CONT_ASSIGN	106	1	0	0.00
CONT_ASSIGN	107	1	0	0.00
ALWAYS	110	23	0	0.00
ALWAYS	138	3	0	0.00
ALWAYS	141	49	0	0.00
ALWAYS	268	3	0	0.00
ALWAYS	288	6	0	0.00
CONT_ASSIGN	302	1	0	0.00
ALWAYS	305	5	0	0.00
CONT_ASSIGN	314	1	0	0.00
CONT_ASSIGN	315	1	0	0.00
CONT_ASSIGN	316	1	0	0.00
CONT_ASSIGN	317	1	0	0.00
CONT_ASSIGN	318	1	0	0.00
CONT_ASSIGN	320	1	0	0.00
CONT_ASSIGN	321	1	0	0.00
CONT_ASSIGN	335	1	0	0.00
CONT_ASSIGN	337	1	0	0.00
CONT_ASSIGN	338	1	0	0.00
CONT_ASSIGN	339	1	0	0.00
CONT_ASSIGN	349	1	0	0.00

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

Line No.	Covered	Statements
75	0	1
85	0	1
90	0	1
91	0	1
95	0	1
105	0	1
106	0	1
107	0	1
110	0	1
111	0	1
112	0	1
113	0	1
114	0	1
115	0	1
116	0	1
117	0	1
118	0	1
119	0	1
120	0	1
121	0	1
123	0	1
124	0	1
125	0	1
126	0	1
127	0	1
128	0	1
129	0	1
130	0	1
131	0	1
132	0	1
133	0	1
138	0	3
141	0	1
142	0	1
143	0	1
144	0	1
145	0	1
146	0	1
148	0	1
149	0	1
150	0	1
152	0	1
154	0	1
156	0	1
159	0	1
160	0	1
166	0	1
167	0	1
168	0	1
169	0	1
			==> MISSING_ELSE
174	0	1
176	0	1
177	0	1
178	0	1
179	0	1
			==> MISSING_ELSE
184	0	1
185	0	1
189	0	1
191	0	1
192	0	1
			==> MISSING_ELSE
197	0	1
198	0	1
202	0	1
203	0	1
204	0	1
			==> MISSING_ELSE
211	0	1
213	0	1
214	0	1
			==> MISSING_ELSE
219	0	1
220	0	1
222	0	1
223	0	1
224	0	1
			==> MISSING_ELSE
229	0	1
231	0	1
232	0	1
			==> MISSING_ELSE
238	0	1
239	0	1
243	0	1
247	0	1
248	0	1
			==> MISSING_ELSE
268	0	1
269	0	1
271	0	1
288	0	1
289	0	1
290	0	1
291	0	1
292	0	1
293	0	1
			==> MISSING_ELSE
302	0	1
305	0	1
306	0	1
307	0	1
308	0	1
310	0	1
314	0	1
315	0	1
316	0	1
317	0	1
318	0	1
320	0	1
321	0	1
335	0	1
337	0	1
338	0	1
339	0	1
349	0	1

---

Cond Coverage for Module : pwrmgr_slow_fsm

	Total	Covered	Percent
Conditions	68	0	0.00
Logical	68	0	0.00
Non-Logical	0	0
Event	0	0

 LINE       75
 EXPRESSION (ast_i.core_clk_val & ast_i.io_clk_val & (((~usb_clk_en_active_i)) | ast_i.usb_clk_val))
             ---------1--------   --------2-------   -----------------------3----------------------

-1-	-2-	-3-	Status	Tests
0	1	1	Not Covered
1	0	1	Not Covered
1	1	0	Not Covered
1	1	1	Not Covered

 LINE       75
 SUB-EXPRESSION (((~usb_clk_en_active_i)) | ast_i.usb_clk_val)
                 ------------1-----------   --------2--------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       85
 EXPRESSION (main_pd_ni & usb_clk_en_lp_i)
             -----1----   -------2-------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       90
 EXPRESSION (main_pd_ni & core_clk_en_i)
             -----1----   ------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       91
 EXPRESSION (main_pd_ni & io_clk_en_i)
             -----1----   -----2-----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       95
 EXPRESSION ((core_clk_en | ((~ast_i.core_clk_val))) & (io_clk_en | ((~ast_i.io_clk_val))) & (usb_clk_en_lp | ((~ast_i.usb_clk_val))))
             -------------------1-------------------   -----------------2-----------------   --------------------3-------------------

-1-	-2-	-3-	Status	Tests
0	1	1	Not Covered
1	0	1	Not Covered
1	1	0	Not Covered
1	1	1	Not Covered

 LINE       95
 SUB-EXPRESSION (core_clk_en | ((~ast_i.core_clk_val)))
                 -----1-----   -----------2-----------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       95
 SUB-EXPRESSION (io_clk_en | ((~ast_i.io_clk_val)))
                 ----1----   ----------2----------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       95
 SUB-EXPRESSION (usb_clk_en_lp | ((~ast_i.usb_clk_val)))
                 ------1------   -----------2----------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       105
 EXPRESSION (fsm_invalid_q | clk_active | core_clk_en)
             ------1------   -----2----   -----3-----

-1-	-2-	-3-	Status	Tests
0	0	0	Not Covered
0	0	1	Not Covered
0	1	0	Not Covered
1	0	0	Not Covered

 LINE       106
 EXPRESSION (fsm_invalid_q | clk_active | io_clk_en)
             ------1------   -----2----   ----3----

-1-	-2-	-3-	Status	Tests
0	0	0	Not Covered
0	0	1	Not Covered
0	1	0	Not Covered
1	0	0	Not Covered

 LINE       107
 EXPRESSION (fsm_invalid_q | (clk_active ? usb_clk_en_active_i : usb_clk_en_lp))
             ------1------   -------------------------2------------------------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       107
 SUB-EXPRESSION (clk_active ? usb_clk_en_active_i : usb_clk_en_lp)
                 -----1----

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       166
 EXPRESSION (wakeup_i || reset_req_i)
             ----1---    -----2-----

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       169
 EXPRESSION (reset_req_i ? Reset : Wake)
             -----1-----

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       202
 EXPRESSION (ack_pwrup_i && ((!req_pwrdn_i)))
             -----1-----    --------2-------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       213
 EXPRESSION (req_pwrdn_i && ((!ack_pwrup_i)))
             -----1-----    --------2-------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       247
 EXPRESSION (((!main_pok_st)) | main_pd_ni)
             --------1-------   -----2----

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       290
 EXPRESSION (((!pd_nd)) && mon_main_pok)
             -----1----    ------2-----

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       302
 EXPRESSION (mon_main_pok & ((~main_pok_st)))
             ------1-----   --------2-------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Not Covered
1	1	Not Covered

 LINE       310
 EXPRESSION (rst_req_o | pwr_rst_req)
             ----1----   -----2-----

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

 LINE       327
 EXPRESSION (usb_clk_en_q | usb_ip_clk_status_i)
             ------1-----   ---------2---------

-1-	-2-	Status	Tests
0	0	Not Covered
0	1	Not Covered
1	0	Not Covered

---

FSM Coverage for Module : pwrmgr_slow_fsm

Summary for FSM :: state_q

	Total	Covered	Percent
States	11	0	0.00	(Not included in score)
Transitions	11	0	0.00
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
SlowPwrStateAckPwrDn	214	Not Covered
SlowPwrStateClocksOff	224	Not Covered
SlowPwrStateClocksOn	185	Not Covered
SlowPwrStateIdle	204	Not Covered
SlowPwrStateLowPower	248	Not Covered
SlowPwrStateMainPowerOff	239	Not Covered
SlowPwrStateMainPowerOn	159	Not Covered
SlowPwrStatePwrClampOff	179	Not Covered
SlowPwrStatePwrClampOn	232	Not Covered
SlowPwrStateReqPwrUp	192	Not Covered
SlowPwrStateReset	158	Not Covered

transitions	Line No.	Covered	Tests
SlowPwrStateAckPwrDn->SlowPwrStateClocksOff	224	Not Covered
SlowPwrStateClocksOff->SlowPwrStatePwrClampOn	232	Not Covered
SlowPwrStateClocksOn->SlowPwrStateReqPwrUp	192	Not Covered
SlowPwrStateIdle->SlowPwrStateAckPwrDn	214	Not Covered
SlowPwrStateLowPower->SlowPwrStateMainPowerOn	167	Not Covered
SlowPwrStateMainPowerOff->SlowPwrStateLowPower	248	Not Covered
SlowPwrStateMainPowerOn->SlowPwrStatePwrClampOff	179	Not Covered
SlowPwrStatePwrClampOff->SlowPwrStateClocksOn	185	Not Covered
SlowPwrStatePwrClampOn->SlowPwrStateMainPowerOff	239	Not Covered
SlowPwrStateReqPwrUp->SlowPwrStateIdle	204	Not Covered
SlowPwrStateReset->SlowPwrStateMainPowerOn	159	Not Covered

---

Branch Coverage for Module : pwrmgr_slow_fsm

	Line No.	Total	Covered	Percent
Branches		34	0	0.00
IF	110	2	0	0.00
IF	138	2	0	0.00
CASE	156	21	0	0.00
IF	268	2	0	0.00
IF	288	4	0	0.00
IF	305	3	0	0.00

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

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

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

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	156	case (state_q)
-2-:	166	if ((wakeup_i || reset_req_i))
-3-:	169	(reset_req_i) ? 
-4-:	176	if (main_pok_st)
-5-:	191	if (all_clks_valid)
-6-:	202	if ((ack_pwrup_i && (!req_pwrdn_i)))
-7-:	213	if ((req_pwrdn_i && (!ack_pwrup_i)))
-8-:	222	if ((!req_pwrdn_i))
-9-:	229	if (all_clks_invalid)
-10-:	247	if (((!main_pok_st) | main_pd_ni))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	Status	Tests
SlowPwrStateReset	-	-	-	-	-	-	-	-	-	Not Covered
SlowPwrStateLowPower	1	1	-	-	-	-	-	-	-	Not Covered
SlowPwrStateLowPower	1	0	-	-	-	-	-	-	-	Not Covered
SlowPwrStateLowPower	0	-	-	-	-	-	-	-	-	Not Covered
SlowPwrStateMainPowerOn	-	-	1	-	-	-	-	-	-	Not Covered
SlowPwrStateMainPowerOn	-	-	0	-	-	-	-	-	-	Not Covered
SlowPwrStatePwrClampOff	-	-	-	-	-	-	-	-	-	Not Covered
SlowPwrStateClocksOn	-	-	-	1	-	-	-	-	-	Not Covered
SlowPwrStateClocksOn	-	-	-	0	-	-	-	-	-	Not Covered
SlowPwrStateReqPwrUp	-	-	-	-	1	-	-	-	-	Not Covered
SlowPwrStateReqPwrUp	-	-	-	-	0	-	-	-	-	Not Covered
SlowPwrStateIdle	-	-	-	-	-	1	-	-	-	Not Covered
SlowPwrStateIdle	-	-	-	-	-	0	-	-	-	Not Covered
SlowPwrStateAckPwrDn	-	-	-	-	-	-	1	-	-	Not Covered
SlowPwrStateAckPwrDn	-	-	-	-	-	-	0	-	-	Not Covered
SlowPwrStateClocksOff	-	-	-	-	-	-	-	1	-	Not Covered
SlowPwrStateClocksOff	-	-	-	-	-	-	-	0	-	Not Covered
SlowPwrStatePwrClampOn	-	-	-	-	-	-	-	-	-	Not Covered
SlowPwrStateMainPowerOff	-	-	-	-	-	-	-	-	1	Not Covered
SlowPwrStateMainPowerOff	-	-	-	-	-	-	-	-	0	Not Covered
default	-	-	-	-	-	-	-	-	-	Not Covered

	LineNo.	Expression
-1-:	268	if ((!rst_main_ni))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	288	if ((!rst_ni))
-2-:	290	if (((!pd_nd) && mon_main_pok))
-3-:	292	if (set_main_pok)

Branches:

-1-	-2-	-3-	Status	Tests
1	-	-	Not Covered
0	1	-	Not Covered
0	0	1	Not Covered
0	0	0	Not Covered

	LineNo.	Expression
-1-:	305	if ((!rst_ni))
-2-:	307	if (clr_req_i)

Branches:

-1-	-2-	Status	Tests
1	-	Not Covered
0	1	Not Covered
0	0	Not Covered