Unified Coverage Report :: Module :: flash_mp

Module : flash_mp

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
0.00	0.00	0.00			0.00

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

Module self-instances :

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

---

Module Instance : tb.dut.u_flash_mp

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
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

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
16.65	0.00	0.00	66.62		0.00		dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_hw_sel	0.00	0.00				0.00
u_sw_sel	0.00	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 : flash_mp

	Line No.	Total	Covered	Percent
TOTAL		76	0	0.00
CONT_ASSIGN	78	1	0	0.00
CONT_ASSIGN	79	1	0	0.00
CONT_ASSIGN	80	1	0	0.00
CONT_ASSIGN	100	1	0	0.00
CONT_ASSIGN	104	1	0	0.00
CONT_ASSIGN	105	1	0	0.00
CONT_ASSIGN	121	1	0	0.00
CONT_ASSIGN	129	1	0	0.00
CONT_ASSIGN	132	1	0	0.00
CONT_ASSIGN	149	1	0	0.00
CONT_ASSIGN	149	1	0	0.00
CONT_ASSIGN	149	1	0	0.00
CONT_ASSIGN	149	1	0	0.00
CONT_ASSIGN	149	1	0	0.00
CONT_ASSIGN	149	1	0	0.00
CONT_ASSIGN	149	1	0	0.00
CONT_ASSIGN	149	1	0	0.00
CONT_ASSIGN	149	1	0	0.00
CONT_ASSIGN	174	1	0	0.00
CONT_ASSIGN	179	1	0	0.00
CONT_ASSIGN	180	1	0	0.00
ALWAYS	185	0	0
ALWAYS	185	2	0	0.00
CONT_ASSIGN	191	1	0	0.00
CONT_ASSIGN	195	1	0	0.00
CONT_ASSIGN	198	1	0	0.00
CONT_ASSIGN	201	1	0	0.00
CONT_ASSIGN	204	1	0	0.00
CONT_ASSIGN	206	1	0	0.00
CONT_ASSIGN	209	1	0	0.00
CONT_ASSIGN	212	1	0	0.00
CONT_ASSIGN	215	1	0	0.00
ALWAYS	240	10	0	0.00
CONT_ASSIGN	262	1	0	0.00
CONT_ASSIGN	263	1	0	0.00
CONT_ASSIGN	266	1	0	0.00
CONT_ASSIGN	269	1	0	0.00
CONT_ASSIGN	270	1	0	0.00
CONT_ASSIGN	271	1	0	0.00
CONT_ASSIGN	273	1	0	0.00
CONT_ASSIGN	274	1	0	0.00
CONT_ASSIGN	277	1	0	0.00
CONT_ASSIGN	278	1	0	0.00
CONT_ASSIGN	281	1	0	0.00
CONT_ASSIGN	289	1	0	0.00
CONT_ASSIGN	290	1	0	0.00
CONT_ASSIGN	291	1	0	0.00
CONT_ASSIGN	292	1	0	0.00
CONT_ASSIGN	293	1	0	0.00
CONT_ASSIGN	294	1	0	0.00
CONT_ASSIGN	295	1	0	0.00
CONT_ASSIGN	296	1	0	0.00
CONT_ASSIGN	301	1	0	0.00
ALWAYS	307	6	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	319	1	0	0.00
CONT_ASSIGN	324	1	0	0.00
CONT_ASSIGN	325	1	0	0.00
CONT_ASSIGN	326	1	0	0.00
CONT_ASSIGN	375	1	0	0.00

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

Line No.	Covered	Statements
78	0	1
79	0	1
80	0	1
100	0	1
104	0	1
105	0	1
121	0	1
129	0	1
132	0	1
149	0	9
174	0	1
179	0	1
180	0	1
185	0	1
186	0	1
191	0	1
195	0	1
198	0	1
201	0	1
204	0	1
206	0	1
209	0	1
212	0	1
215	0	1
240	0	1
241	0	1
242	0	1
243	0	1
245	0	1
248	0	1
249	0	1
			==> MISSING_ELSE
			==> MISSING_ELSE
254	0	1
255	0	1
257	0	1
262	0	1
263	0	1
266	0	1
269	0	1
270	0	1
271	0	1
273	0	1
274	0	1
277	0	1
278	0	1
281	0	1
289	0	1
290	0	1
291	0	1
292	0	1
293	0	1
294	0	1
295	0	1
296	0	1
301	0	1
307	0	1
308	0	1
309	0	1
310	0	1
311	0	1
312	0	1
			==> MISSING_ELSE
316	0	1
317	0	1
318	0	1
319	0	1
324	0	1
325	0	1
326	0	1
375	0	1

---

Cond Coverage for Module : flash_mp

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

 LINE       100
 EXPRESSION (if_sel_i == HwSel)
            ---------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       104
 EXPRESSION (req_part_i == FlashPartData)
            --------------1--------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       105
 EXPRESSION (req_part_i == FlashPartInfo)
            --------------1--------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       129
 EXPRESSION (data_part_sel ? flash_ctrl_pkg::DataPartitionEndAddr : flash_ctrl_pkg::InfoPartitionEndAddr[info_sel_i])
             ------1------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       132
 EXPRESSION (req_i & ((page_addr > end_addr) | bank_invalid | addr_ovfl_i))
             --1--   --------------------------2--------------------------

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

 LINE       132
 SUB-EXPRESSION ((page_addr > end_addr) | bank_invalid | addr_ovfl_i)
                 -----------1----------   ------2-----   -----3-----

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

 LINE       154
 EXPRESSION (req_i & ((~hw_sel)))
             --1--   -----2-----

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

 LINE       164
 EXPRESSION (req_i & hw_sel)
             --1--   ---2--

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

 LINE       174
 EXPRESSION (hw_sel ? hw_sel_cfg : sw_sel_cfg)
             ---1--

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       186
 EXPRESSION ((bank_addr == i[0]) & bank_cfgs_i[i].q & ((~hw_sel)))
             ---------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       186
 SUB-EXPRESSION (bank_addr == i[0])
                ---------1---------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       204
 EXPRESSION (bk_erase_i & ((|bk_erase_en)))
             -----1----   --------2-------

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

 LINE       215
 EXPRESSION (req_i & data_part_sel & ( ~ (data_rd_en | data_prog_en | data_pg_erase_en | data_bk_erase_en) ))
             --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       215
 SUB-EXPRESSION (data_rd_en | data_prog_en | data_pg_erase_en | data_bk_erase_en)
                 -----1----   ------2-----   --------3-------   --------4-------

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

 LINE       242
 EXPRESSION (hw_sel && req_i)
             ---1--    --2--

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

 LINE       245
 EXPRESSION 
 Number  Term
      1  (bank_page_addr == flash_ctrl_pkg::HwInfoPageAttr[i].page.addr) && 
      2  (info_sel_i == flash_ctrl_pkg::HwInfoPageAttr[i].page.sel) && 
      3  (phase_i == flash_ctrl_pkg::HwInfoPageAttr[i].phase))

-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       245
 SUB-EXPRESSION (bank_page_addr == flash_ctrl_pkg::HwInfoPageAttr[i].page.addr)
                -------------------------------1-------------------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       245
 SUB-EXPRESSION (info_sel_i == flash_ctrl_pkg::HwInfoPageAttr[i].page.sel)
                -----------------------------1----------------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       245
 SUB-EXPRESSION (phase_i == flash_ctrl_pkg::HwInfoPageAttr[i].phase)
                --------------------------1-------------------------

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       263
 EXPRESSION (hw_sel ? hw_page_cfg : info_page_cfgs_i[bank_addr][info_sel_i][info_page_addr])
             ---1--

-1-	Status	Tests
0	Not Covered
1	Not Covered

 LINE       273
 EXPRESSION (info_part_sel & bk_erase_i & ((|bk_erase_en)))
             ------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       281
 EXPRESSION (req_i & info_part_sel & ( ~ (info_rd_en | info_prog_en | info_pg_erase_en | info_bk_erase_en) ))
             --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       281
 SUB-EXPRESSION (info_rd_en | info_prog_en | info_pg_erase_en | info_bk_erase_en)
                 -----1----   ------2-----   --------3-------   --------4-------

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

 LINE       289
 EXPRESSION (req_i & (data_rd_en | info_rd_en))
             --1--   ------------2------------

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

 LINE       289
 SUB-EXPRESSION (data_rd_en | info_rd_en)
                 -----1----   -----2----

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

 LINE       290
 EXPRESSION (req_i & (data_prog_en | info_prog_en))
             --1--   --------------2--------------

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

 LINE       290
 SUB-EXPRESSION (data_prog_en | info_prog_en)
                 ------1-----   ------2-----

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

 LINE       291
 EXPRESSION (req_i & (data_pg_erase_en | info_pg_erase_en))
             --1--   ------------------2------------------

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

 LINE       291
 SUB-EXPRESSION (data_pg_erase_en | info_pg_erase_en)
                 --------1-------   --------2-------

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

 LINE       292
 EXPRESSION (req_i & (data_bk_erase_en | info_bk_erase_en))
             --1--   ------------------2------------------

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

 LINE       292
 SUB-EXPRESSION (data_bk_erase_en | info_bk_erase_en)
                 --------1-------   --------2-------

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

 LINE       293
 EXPRESSION (req_i & (data_scramble_en | info_scramble_en))
             --1--   ------------------2------------------

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

 LINE       293
 SUB-EXPRESSION (data_scramble_en | info_scramble_en)
                 --------1-------   --------2-------

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

 LINE       294
 EXPRESSION (req_i & (data_ecc_en | info_ecc_en))
             --1--   -------------2-------------

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

 LINE       294
 SUB-EXPRESSION (data_ecc_en | info_ecc_en)
                 -----1-----   -----2-----

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

 LINE       295
 EXPRESSION (req_i & (data_he_en | info_he_en))
             --1--   ------------2------------

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

 LINE       295
 SUB-EXPRESSION (data_he_en | info_he_en)
                 -----1----   -----2----

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

 LINE       296
 EXPRESSION (rd_o | prog_o | pg_erase_o | bk_erase_o)
             --1-   ---2--   -----3----   -----4----

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

 LINE       316
 EXPRESSION (rd_done_i | txn_err)
             ----1----   ---2---

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

 LINE       317
 EXPRESSION (prog_done_i | txn_err)
             -----1-----   ---2---

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

 LINE       318
 EXPRESSION (erase_done_i | txn_err)
             ------1-----   ---2---

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

 LINE       324
 EXPRESSION (pg_erase_o | bk_erase_o)
             -----1----   -----2----

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

 LINE       325
 EXPRESSION (erase_valid & erase_suspend_i)
             -----1-----   -------2-------

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

 LINE       326
 EXPRESSION ((erase_suspend_i & ((~erase_valid))) | (erase_suspend_o & erase_done_o))
             ------------------1-----------------   ----------------2---------------

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

 LINE       326
 SUB-EXPRESSION (erase_suspend_i & ((~erase_valid)))
                 -------1-------   --------2-------

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

 LINE       326
 SUB-EXPRESSION (erase_suspend_o & erase_done_o)
                 -------1-------   ------2-----

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

---

Branch Coverage for Module : flash_mp

	Line No.	Total	Covered	Percent
Branches		12	0	0.00
TERNARY	129	2	0	0.00
TERNARY	174	2	0	0.00
TERNARY	263	2	0	0.00
IF	242	2	0	0.00
IF	307	4	0	0.00

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

	LineNo.	Expression
-1-:	129	(data_part_sel) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	174	(hw_sel) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	263	(hw_sel) ? 

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	242	if ((hw_sel && req_i))

Branches:

-1-	Status	Tests
1	Not Covered
0	Not Covered

	LineNo.	Expression
-1-:	307	if ((!rst_ni))
-2-:	309	if (txn_err)
-3-:	311	if (no_allowed_txn)

Branches:

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