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

Module : flash_ctrl_prog
SCORELINECONDTOGGLEFSMBRANCHASSERT
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_prog.sv

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


Module Instance : tb.dut.u_flash_ctrl_prog

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
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_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_prog
Line No.TotalCoveredPercent
TOTAL5400.00
ALWAYS55300.00
ALWAYS89400.00
CONT_ASSIGN96100.00
CONT_ASSIGN97100.00
ALWAYS100500.00
CONT_ASSIGN111100.00
CONT_ASSIGN121100.00
CONT_ASSIGN122100.00
CONT_ASSIGN123100.00
CONT_ASSIGN124100.00
CONT_ASSIGN125100.00
ALWAYS1312600.00
CONT_ASSIGN182100.00
CONT_ASSIGN183100.00
CONT_ASSIGN184100.00
CONT_ASSIGN185100.00
CONT_ASSIGN186100.00
CONT_ASSIGN187100.00
CONT_ASSIGN188100.00
CONT_ASSIGN192100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_ctrl_prog.sv' or '../src/lowrisc_ip_flash_ctrl_0.1/rtl/flash_ctrl_prog.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
55 0 1
56 0 1
58 0 1
89 0 1
90 0 1
91 0 1
92 0 1
==> MISSING_ELSE
96 0 1
97 0 1
100 0 1
101 0 1
102 0 1
103 0 1
105 0 1
111 0 1
121 0 1
122 0 1
123 0 1
124 0 1
125 0 1
131 0 1
132 0 1
133 0 1
134 0 1
135 0 1
137 0 1
143 0 1
145 0 1
147 0 1
149 0 1
151 0 1
152 0 1
153 0 1
154 0 1
156 0 1
157 0 1
159 0 1
==> MISSING_ELSE
163 0 1
164 0 1
165 0 1
166 0 1
167 0 1
==> MISSING_ELSE
171 0 1
173 0 1
174 0 1
175 0 1
==> MISSING_ELSE
182 0 1
183 0 1
184 0 1
185 0 1
186 0 1
187 0 1
188 0 1
192 0 1

Cond Coverage for Module : flash_ctrl_prog
TotalCoveredPercent
Conditions3400.00
Logical3400.00
Non-Logical00
Event00

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

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

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

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

 LINE       124
 EXPRESSION (start_window != end_window)
            --------------1-------------
-1-StatusTests
0Not Covered
1Not Covered 

 LINE       125
 EXPRESSION (pgm_res_err | op_addr_oob_i)
             -----1-----   ------2------
-1--2-StatusTests
00Not Covered
01Unreachable
10Not Covered 

 LINE       147
 EXPRESSION (op_start_i && prog_type_avail && ((!win_err)))
             -----1----    -------2-------    ------3-----
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered 

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

 LINE       163
 EXPRESSION (op_start_i && (((!prog_type_avail)) || win_err))
             -----1----    ----------------2----------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       163
 SUB-EXPRESSION (((!prog_type_avail)) || win_err)
                 ----------1---------    ---2---
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered 

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

 LINE       186
 EXPRESSION (flash_req_o & cnt_hit)
             -----1-----   ---2---
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered
Branch Coverage for Module : flash_ctrl_prog
Line No.TotalCoveredPercent
Branches 18 0 0.00
IF 55 2 0 0.00
IF 89 3 0 0.00
IF 100 3 0 0.00
CASE 137 10 0 0.00

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


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

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



	LineNo.	Expression
-1-:	89	if ((!rst_ni))
-2-:	91	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-:	100	if ((!rst_ni))
-2-:	102	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-:	137	case (st_q)
-2-:	143	if (cnt_err_o)
-3-:	147	if (((op_start_i && prog_type_avail) && (!win_err)))
-4-:	151	if (txn_done)
-5-:	156	if (cnt_hit)
-6-:	159	((|op_err_d)) ? 
-7-:	163	if ((op_start_i && ((!prog_type_avail) || win_err)))
-8-:	173	if ((data_rdy_i && cnt_hit))

Branches:
-1--2--3--4--5--6--7--8-StatusTests
StNorm 1 - - - - - - Not Covered
StNorm 0 1 1 1 - - - Not Covered
StNorm 0 1 1 0 1 - - Not Covered
StNorm 0 1 1 0 0 - - Not Covered
StNorm 0 1 0 - - - - Not Covered
StNorm 0 0 - - - 1 - Not Covered
StNorm 0 0 - - - 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%