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

Module : flash_ctrl_rd
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_flash_ctrl_rd 0.00 0.00 0.00 0.00 0.00


Module Instance : tb.dut.u_flash_ctrl_rd

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
16.65 0.00 0.00 66.62 0.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_bus_intg 0.00 0.00
u_cnt 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_ctrl_rd
Line No.TotalCoveredPercent
TOTAL4400.00
ALWAYS52300.00
ALWAYS60500.00
ALWAYS97400.00
CONT_ASSIGN104100.00
CONT_ASSIGN105100.00
ALWAYS1132400.00
CONT_ASSIGN163100.00
CONT_ASSIGN164100.00
CONT_ASSIGN165100.00
CONT_ASSIGN167100.00
CONT_ASSIGN180100.00
CONT_ASSIGN182100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_ctrl_rd.sv' or '../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_ctrl_rd.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
52 0 1
53 0 1
55 0 1
60 0 1
61 0 1
62 0 1
63 0 1
65 0 1
97 0 1
98 0 1
99 0 1
100 0 1
==> MISSING_ELSE
104 0 1
105 0 1
113 0 1
114 0 1
115 0 1
116 0 1
117 0 1
119 0 1
121 0 1
123 0 1
124 0 1
125 0 1
126 0 1
==> MISSING_ELSE
133 0 1
135 0 1
136 0 1
137 0 1
139 0 1
141 0 1
142 0 1
143 0 1
145 0 1
==> MISSING_ELSE
151 0 1
153 0 1
154 0 1
155 0 1
==> MISSING_ELSE
163 0 1
164 0 1
165 0 1
167 0 1
180 0 1
182 0 1

Cond Coverage for Module : flash_ctrl_rd
TotalCoveredPercent
Conditions3300.00
Logical3300.00
Non-Logical00
Event00

 LINE       62
 EXPRESSION (op_start_i && op_done_o)
             -----1----    ----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       71
 EXPRESSION (op_start_i && op_done_o)
             -----1----    ----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       99
 EXPRESSION (((~|op_err_q)) && ((|op_err_d)))
             -------1------    ------2------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       104
 EXPRESSION (flash_req_o & flash_done_i)
             -----1-----   ------2-----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       126
 EXPRESSION (((|op_err_d)) ? StErr : StNorm)
             ------1------
-1-StatusTests
0Not Covered
1Not Covered 

 LINE       133
 EXPRESSION (op_start_i & data_rdy_i)
             -----1----   -----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       145
 EXPRESSION (((|op_err_d)) ? StErr : StNorm)
             ------1------
-1-StatusTests
0Not Covered
1Not Covered 

 LINE       153
 EXPRESSION (data_rdy_i && cnt_hit)
             -----1----    ---2---
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       167
 EXPRESSION (data_wr_o & ((|op_err_o)))
             ----1----   ------2------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       180
 EXPRESSION ((((~err_sel)) | (err_sel & op_err_o.rd_err)) ? flash_data_i : inv_data_integ)
             ----------------------1---------------------
-1-StatusTests
0Not Covered
1Not Covered 

 LINE       180
 SUB-EXPRESSION (((~err_sel)) | (err_sel & op_err_o.rd_err))
                 ------1-----   -------------2-------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered 

 LINE       180
 SUB-EXPRESSION (err_sel & op_err_o.rd_err)
                 ---1---   -------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered
FSM Coverage for Module : flash_ctrl_rd
Summary for FSM :: st_q
TotalCoveredPercent
States 3 0 0.00 (Not included in score)
Transitions 5 0 0.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: st_q
statesLine No.CoveredTests
StErr 123 Not Covered
StIdle 143 Not Covered
StNorm 126 Not Covered


transitionsLine No.CoveredTests
StErr->StIdle 154 Not Covered
StIdle->StErr 123 Not Covered
StIdle->StNorm 126 Not Covered
StNorm->StErr 145 Not Covered
StNorm->StIdle 143 Not Covered


Branch Coverage for Module : flash_ctrl_rd
Line No.TotalCoveredPercent
Branches 21 0 0.00
TERNARY 180 2 0 0.00
IF 52 2 0 0.00
IF 60 3 0 0.00
IF 97 3 0 0.00
CASE 119 11 0 0.00

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


	LineNo.	Expression
-1-:	180	(((~err_sel) | (err_sel & op_err_o.rd_err))) ?

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered 



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

Branches:
-1-StatusTests
1 Not Covered
0 Not Covered 



	LineNo.	Expression
-1-:	60	if ((!rst_ni))
-2-:	62	if ((op_start_i && op_done_o))

Branches:
-1--2-StatusTests
1 - Not Covered
0 1 Not Covered
0 0 Not Covered 



	LineNo.	Expression
-1-:	97	if ((!rst_ni))
-2-:	99	if (((~|op_err_q) && (|op_err_d)))

Branches:
-1--2-StatusTests
1 - Not Covered
0 1 Not Covered
0 0 Not Covered 



	LineNo.	Expression
-1-:	119	case (st_q)
-2-:	121	if (cnt_err_o)
-3-:	124	if (op_start_i)
-4-:	126	((|op_err_d)) ? 
-5-:	135	if (txn_done)
-6-:	141	if (cnt_hit)
-7-:	145	((|op_err_d)) ? 
-8-:	153	if ((data_rdy_i && cnt_hit))

Branches:
-1--2--3--4--5--6--7--8-StatusTests
StIdle 1 - - - - - - Not Covered
StIdle 0 1 1 - - - - Not Covered
StIdle 0 1 0 - - - - Not Covered
StIdle 0 0 - - - - - Not Covered
StNorm - - - 1 1 - - Not Covered
StNorm - - - 1 0 1 - Not Covered
StNorm - - - 1 0 0 - Not Covered
StNorm - - - 0 - - - Not Covered
StErr - - - - - - 1 Not Covered
StErr - - - - - - 0 Not Covered
default - - - - - - - Not Covered

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