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

Module : spid_readbuffer
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_readcmd.u_readbuffer 0.00 0.00 0.00 0.00


Module Instance : tb.dut.u_readcmd.u_readbuffer

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
0.00 0.00 0.00 0.00 0.00 u_readcmd


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children

Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : spid_readbuffer
Line No.TotalCoveredPercent
TOTAL3700.00
ALWAYS103400.00
CONT_ASSIGN111100.00
CONT_ASSIGN112100.00
ALWAYS118400.00
CONT_ASSIGN122100.00
CONT_ASSIGN131100.00
ALWAYS135600.00
ALWAYS147600.00
ALWAYS166500.00
ALWAYS175800.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_spi_device_0.1/rtl/spid_readbuffer.sv' or '../src/lowrisc_ip_spi_device_0.1/rtl/spid_readbuffer.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
103 0 1
104 0 1
105 0 1
106 0 1
==> MISSING_ELSE
111 0 1
112 0 1
118 0 2
119 0 2
==> MISSING_ELSE
122 0 1
131 0 1
135 0 1
136 0 1
137 0 1
140 0 1
141 0 1
142 0 1
==> MISSING_ELSE
147 0 1
149 0 1
150 0 1
151 0 1
152 0 1
157 0 1
==> MISSING_ELSE
==> MISSING_ELSE
166 0 2
167 0 1
168 0 1
170 0 1
175 0 1
177 0 1
179 0 1
181 0 1
183 0 1
185 0 1
==> MISSING_ELSE
191 0 1
193 0 1

Cond Coverage for Module : spid_readbuffer
TotalCoveredPercent
Conditions3500.00
Logical3500.00
Non-Logical00
Event00

 LINE       105
 EXPRESSION (active && flip)
             ---1--    --2-
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       112
 EXPRESSION (current_buffer_idx == next_buffer_addr)
            --------------------1-------------------
-1-StatusTests
0Not Covered
1Not Covered 

 LINE       122
 EXPRESSION (active && flip && ((!flip_q)))
             ---1--    --2-    -----3-----
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered 

 LINE       131
 EXPRESSION ((current_address_i[(spi_device_pkg::SramBufferAw - 1):0] >= threshold_i) && ((|threshold_i)))
             ------------------------------------1-----------------------------------    --------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       137
 EXPRESSION (active && watermark_cross)
             ---1--    -------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       141
 EXPRESSION (active && flip)
             ---1--    --2-
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       149
 EXPRESSION (active && watermark_cross)
             ---1--    -------2-------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered 

 LINE       167
 EXPRESSION (spi_mode_i != FlashMode)
            ------------1------------
-1-StatusTests
0Not Covered
1Not Covered 

 LINE       181
 EXPRESSION (start_i && (spi_mode_i == FlashMode) && ((!sfdp_hit_i)) && ( ! (mailbox_en_i && mailbox_hit_i) ))
             ---1---    ------------2------------    -------3-------    ------------------4------------------
-1--2--3--4-StatusTests
0111Not Covered
1011Not Covered
1101Not Covered
1110Not Covered
1111Not Covered 

 LINE       181
 SUB-EXPRESSION (spi_mode_i == FlashMode)
                ------------1------------
-1-StatusTests
0Not Covered
1Not Covered 

 LINE       181
 SUB-EXPRESSION ( ! (mailbox_en_i && mailbox_hit_i) )
                    ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered 

 LINE       181
 SUB-EXPRESSION (mailbox_en_i && mailbox_hit_i)
                 ------1-----    ------2------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered
Branch Coverage for Module : spid_readbuffer
Line No.TotalCoveredPercent
Branches 21 0 0.00
IF 103 3 0 0.00
IF 118 3 0 0.00
IF 135 4 0 0.00
IF 149 4 0 0.00
IF 166 3 0 0.00
CASE 179 4 0 0.00

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


	LineNo.	Expression
-1-:	103	if ((!sys_rst_ni))
-2-:	105	if ((active && flip))

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



	LineNo.	Expression
-1-:	118	if ((!sys_rst_ni))
-2-:	119	if (active)

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



	LineNo.	Expression
-1-:	135	if ((!sys_rst_ni))
-2-:	137	if ((active && watermark_cross))
-3-:	141	if ((active && flip))

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



	LineNo.	Expression
-1-:	149	if ((active && watermark_cross))
-2-:	150	if ((!watermark_crossed))
-3-:	152	if (flip)

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



	LineNo.	Expression
-1-:	166	if ((!rst_ni))
-2-:	167	if ((spi_mode_i != FlashMode))

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



	LineNo.	Expression
-1-:	179	case (st_q)
-2-:	181	if ((((start_i && (spi_mode_i == FlashMode)) && (!sfdp_hit_i)) && (!(mailbox_en_i && mailbox_hit_i))))

Branches:
-1--2-StatusTests
StIdle 1 Not Covered
StIdle 0 Not Covered
StActive - Not Covered
default - Not Covered

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