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

Module : usb_fs_nb_out_pe
SCORELINECONDTOGGLEFSMBRANCHASSERT
0.00 0.00 0.00 0.00 0.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.usbdev_impl.u_usb_fs_nb_pe.u_usb_fs_nb_out_pe 0.00 0.00 0.00 0.00 0.00



Module Instance : tb.dut.usbdev_impl.u_usb_fs_nb_pe.u_usb_fs_nb_out_pe

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


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
0.00 0.00 0.00 u_usb_fs_nb_pe


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 : usb_fs_nb_out_pe
Line No.TotalCoveredPercent
TOTAL12600.00
CONT_ASSIGN90100.00
CONT_ASSIGN131100.00
CONT_ASSIGN132100.00
CONT_ASSIGN134100.00
CONT_ASSIGN140100.00
CONT_ASSIGN144100.00
CONT_ASSIGN148100.00
CONT_ASSIGN152100.00
CONT_ASSIGN157100.00
CONT_ASSIGN163100.00
CONT_ASSIGN164100.00
CONT_ASSIGN171100.00
CONT_ASSIGN172100.00
CONT_ASSIGN175100.00
CONT_ASSIGN176100.00
CONT_ASSIGN178100.00
ALWAYS184600.00
ALWAYS196400.00
ALWAYS2125400.00
CONT_ASSIGN325100.00
ALWAYS328300.00
ALWAYS336300.00
ALWAYS345700.00
CONT_ASSIGN359100.00
ALWAYS362500.00
ALWAYS372900.00
ALWAYS389300.00
ALWAYS401600.00
CONT_ASSIGN417100.00
ALWAYS420600.00
CONT_ASSIGN434100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_usb_fs_nb_pe_0.1/rtl/usb_fs_nb_out_pe.sv' or '../src/lowrisc_ip_usb_fs_nb_pe_0.1/rtl/usb_fs_nb_out_pe.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
90 0 1
131 0 1
132 0 1
134 0 1
140 0 1
144 0 1
148 0 1
152 0 1
157 0 1
163 0 1
164 0 1
171 0 1
172 0 1
175 0 1
176 0 1
178 0 1
184 0 1
185 0 1
187 0 1
188 0 1
189 0 1
190 0 1
==> MISSING_ELSE
196 0 1
197 0 1
199 0 1
200 0 1
==> MISSING_ELSE
212 0 1
213 0 1
214 0 1
215 0 1
216 0 1
217 0 1
218 0 1
219 0 1
221 0 1
225 0 1
226 0 1
227 0 1
229 0 1
237 0 1
239 0 1
240 0 1
241 0 1
242 0 1
244 0 1
249 0 1
253 0 1
254 0 1
257 0 1
258 0 1
259 0 1
260 0 1
261 0 1
263 0 1
264 0 1
265 0 1
266 0 1
268 0 1
273 0 1
274 0 1
276 0 1
278 0 1
280 0 1
281 0 1
283 0 1
284 0 1
285 0 1
289 0 1
290 0 1
291 0 1
292 0 1
293 0 1
295 0 1
296 0 1
297 0 1
304 0 1
306 0 1
308 0 1
311 0 1
312 0 1
325 0 1
328 0 1
329 0 1
331 0 1
336 0 1
337 0 1
339 0 1
345 0 1
347 0 1
348 0 1
349 0 1
350 0 1
==> MISSING_ELSE
353 0 1
354 0 1
==> MISSING_ELSE
359 0 1
362 0 1
363 0 1
364 0 1
365 0 1
367 0 1
372 0 1
373 0 1
374 0 1
375 0 1
377 0 1
378 0 1
379 0 1
380 0 1
382 0 1
389 0 1
390 0 1
392 0 1
401 0 1
402 0 1
404 0 1
405 0 1
406 0 1
407 0 1
==> MISSING_ELSE
417 0 1
420 0 1
421 0 1
423 0 1
424 0 1
425 0 1
426 0 1
==> MISSING_ELSE
434 0 1


Cond Coverage for Module : usb_fs_nb_out_pe
TotalCoveredPercent
Conditions13400.00
Logical13400.00
Non-Logical00
Event00

 LINE       134
 EXPRESSION (rx_pkt_end_i && rx_pkt_valid_i && (rx_pid_type == UsbPidTypeToken) && (rx_addr_i == dev_addr_i))
             ------1-----    -------2------    ----------------3---------------    ------------4------------
-1--2--3--4-StatusTests
0111Not Covered
1011Not Covered
1101Not Covered
1110Not Covered
1111Not Covered

 LINE       134
 SUB-EXPRESSION (rx_pid_type == UsbPidTypeToken)
                ----------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       134
 SUB-EXPRESSION (rx_addr_i == dev_addr_i)
                ------------1------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       140
 EXPRESSION (token_received && (rx_pid == UsbPidOut))
             -------1------    ----------2----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       140
 SUB-EXPRESSION (rx_pid == UsbPidOut)
                ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       144
 EXPRESSION (token_received && (rx_pid == UsbPidSetup))
             -------1------    -----------2-----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       144
 SUB-EXPRESSION (rx_pid == UsbPidSetup)
                -----------1-----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       148
 EXPRESSION (rx_pkt_end_i && ((!rx_pkt_valid_i)))
             ------1-----    ---------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       152
 EXPRESSION (rx_pkt_end_i && rx_pkt_valid_i && ((rx_pid == UsbPidData0) || (rx_pid == UsbPidData1)))
             ------1-----    -------2------    --------------------------3-------------------------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       152
 SUB-EXPRESSION ((rx_pid == UsbPidData0) || (rx_pid == UsbPidData1))
                 -----------1-----------    -----------2-----------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       152
 SUB-EXPRESSION (rx_pid == UsbPidData0)
                -----------1-----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       152
 SUB-EXPRESSION (rx_pid == UsbPidData1)
                -----------1-----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       157
 EXPRESSION (rx_pkt_end_i && rx_pkt_valid_i && ( ! ((rx_pid == UsbPidData0) || (rx_pid == UsbPidData1)) ))
             ------1-----    -------2------    -----------------------------3----------------------------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       157
 SUB-EXPRESSION ( ! ((rx_pid == UsbPidData0) || (rx_pid == UsbPidData1)) )
                    --------------------------1-------------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       157
 SUB-EXPRESSION ((rx_pid == UsbPidData0) || (rx_pid == UsbPidData1))
                 -----------1-----------    -----------2-----------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       157
 SUB-EXPRESSION (rx_pid == UsbPidData0)
                -----------1-----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       157
 SUB-EXPRESSION (rx_pid == UsbPidData1)
                -----------1-----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       164
 EXPRESSION (ep_in_hw ? rx_endp_i : '0)
             ----1---
-1-StatusTests
0Not Covered
1Not Covered

 LINE       175
 EXPRESSION (out_ep_enabled_i[out_ep_index_d] & ep_in_hw)
             ----------------1---------------   ----2---
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       178
 EXPRESSION (data_packet_received && ep_active && (rx_pid_i[3] != data_toggle_q[out_ep_index_d]))
             ----------1---------    ----2----    -----------------------3----------------------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       178
 SUB-EXPRESSION (rx_pid_i[3] != data_toggle_q[out_ep_index_d])
                -----------------------1----------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       187
 EXPRESSION (setup_token_received && ep_active)
             ----------1---------    ----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       189
 EXPRESSION (out_token_received && ep_active)
             ---------1--------    ----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       225
 EXPRESSION (ep_active && (out_token_received || (setup_token_received && ep_is_control)))
             ----1----    -------------------------------2-------------------------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       225
 SUB-EXPRESSION (out_token_received || (setup_token_received && ep_is_control))
                 ---------1--------    -------------------2-------------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       225
 SUB-EXPRESSION (setup_token_received && ep_is_control)
                 ----------1---------    ------2------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       241
 EXPRESSION (timeout_cntdown_q == '0)
            ------------1------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       249
 EXPRESSION (((!ep_is_control)) && out_ep_iso_i[out_ep_index] && data_packet_received)
             ---------1--------    -------------2------------    ----------3---------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       254
 EXPRESSION (bad_data_toggle && ((!out_ep_stall_i[out_ep_index])))
             -------1-------    ----------------2----------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       261
 EXPRESSION (invalid_packet_received || non_data_packet_received)
             -----------1-----------    ------------2-----------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       278
 EXPRESSION (nak_out_transaction | out_ep_full_i[out_ep_index])
             ---------1---------   -------------2-------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       291
 EXPRESSION (nak_out_transaction | out_ep_full_i[out_ep_index])
             ---------1---------   -------------2-------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       306
 EXPRESSION (nak_out_transaction | out_ep_full_i[out_ep_index])
             ---------1---------   -------------2-------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       339
 EXPRESSION (link_reset_i ? StIdle : out_xact_state_next)
             ------1-----
-1-StatusTests
0Not Covered
1Not Covered

 LINE       347
 EXPRESSION (setup_token_received && ep_active)
             ----------1---------    ----2----
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       392
 EXPRESSION ((out_xact_state == StRcvdDataStart) && rx_data_put_i)
             -----------------1-----------------    ------2------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       392
 SUB-EXPRESSION (out_xact_state == StRcvdDataStart)
                -----------------1-----------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       404
 EXPRESSION ((out_xact_state == StIdle) || (out_xact_state == StRcvdOut))
             -------------1------------    --------------2--------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

 LINE       404
 SUB-EXPRESSION (out_xact_state == StIdle)
                -------------1------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       404
 SUB-EXPRESSION (out_xact_state == StRcvdOut)
                --------------1--------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       406
 EXPRESSION (out_ep_data_put_o && out_ep_full_i[out_ep_index])
             --------1--------    -------------2-------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       417
 EXPRESSION (((!nak_out_transaction)) && ((~&out_ep_put_addr_o)) && out_ep_data_put_o)
             ------------1-----------    -----------2-----------    --------3--------
-1--2--3-StatusTests
011Not Covered
101Not Covered
110Not Covered
111Not Covered

 LINE       423
 EXPRESSION (out_xact_state == StRcvdOut)
            --------------1--------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       425
 EXPRESSION ((out_xact_state == StRcvdDataStart) && increment_addr)
             -----------------1-----------------    -------2------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       425
 SUB-EXPRESSION (out_xact_state == StRcvdDataStart)
                -----------------1-----------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       434
 EXPRESSION ((out_xact_state == StRcvdDataStart) && (ep_is_control || ((!out_ep_iso_i[out_ep_index]))) && ((!out_ep_stall_i[out_ep_index])) && bad_data_toggle)
             -----------------1-----------------    -------------------------2------------------------    ----------------3----------------    -------4-------
-1--2--3--4-StatusTests
0111Not Covered
1011Not Covered
1101Not Covered
1110Not Covered
1111Not Covered

 LINE       434
 SUB-EXPRESSION (out_xact_state == StRcvdDataStart)
                -----------------1-----------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       434
 SUB-EXPRESSION (ep_is_control || ((!out_ep_iso_i[out_ep_index])))
                 ------1------    ---------------2---------------
-1--2-StatusTests
00Not Covered
01Not Covered
10Not Covered

FSM Coverage for Module : usb_fs_nb_out_pe
Summary for FSM :: out_xact_state
TotalCoveredPercent
States 5 0 0.00 (Not included in score)
Transitions 8 0 0.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: out_xact_state
statesLine No.CoveredTests
StIdle 339 Not Covered
StRcvdDataEnd 266 Not Covered
StRcvdDataStart 240 Not Covered
StRcvdIsoDataEnd 253 Not Covered
StRcvdOut 226 Not Covered


transitionsLine No.CoveredTests
StIdle->StRcvdOut 226 Not Covered
StRcvdDataEnd->StIdle 339 Not Covered
StRcvdDataStart->StIdle 339 Not Covered
StRcvdDataStart->StRcvdDataEnd 266 Not Covered
StRcvdDataStart->StRcvdIsoDataEnd 253 Not Covered
StRcvdIsoDataEnd->StIdle 339 Not Covered
StRcvdOut->StIdle 339 Not Covered
StRcvdOut->StRcvdDataStart 240 Not Covered



Branch Coverage for Module : usb_fs_nb_out_pe
Line No.TotalCoveredPercent
Branches 53 0 0.00
TERNARY 164 2 0 0.00
IF 184 4 0 0.00
IF 196 3 0 0.00
CASE 221 18 0 0.00
IF 328 2 0 0.00
IF 336 3 0 0.00
IF 347 3 0 0.00
IF 353 2 0 0.00
IF 362 3 0 0.00
IF 372 3 0 0.00
IF 389 2 0 0.00
IF 401 4 0 0.00
IF 420 4 0 0.00

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

LineNo. Expression -1-: 164 (ep_in_hw) ?

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


LineNo. Expression -1-: 184 if ((!rst_ni)) -2-: 187 if ((setup_token_received && ep_active)) -3-: 189 if ((out_token_received && ep_active))

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-: 196 if ((!rst_ni)) -2-: 199 if (rx_data_put_i)

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


LineNo. Expression -1-: 221 case (out_xact_state) -2-: 225 if ((ep_active && (out_token_received || (setup_token_received && ep_is_control)))) -3-: 239 if (rx_pkt_start_i) -4-: 241 if ((timeout_cntdown_q == '0)) -5-: 249 if ((((!ep_is_control) && out_ep_iso_i[out_ep_index]) && data_packet_received)) -6-: 254 if ((bad_data_toggle && (!out_ep_stall_i[out_ep_index]))) -7-: 261 if ((invalid_packet_received || non_data_packet_received)) -8-: 265 if (data_packet_received) -9-: 276 if (current_xact_setup_q) -10-: 278 if ((nak_out_transaction | out_ep_full_i[out_ep_index])) -11-: 289 if (out_ep_stall_i[out_ep_index]) -12-: 291 if ((nak_out_transaction | out_ep_full_i[out_ep_index])) -13-: 306 if ((nak_out_transaction | out_ep_full_i[out_ep_index]))

Branches:
-1--2--3--4--5--6--7--8--9--10--11--12--13-StatusTests
StIdle 1 - - - - - - - - - - - Not Covered
StIdle 0 - - - - - - - - - - - Not Covered
StRcvdOut - 1 - - - - - - - - - - Not Covered
StRcvdOut - 0 1 - - - - - - - - - Not Covered
StRcvdOut - 0 0 - - - - - - - - - Not Covered
StRcvdDataStart - - - 1 - - - - - - - - Not Covered
StRcvdDataStart - - - 0 1 - - - - - - - Not Covered
StRcvdDataStart - - - 0 0 1 - - - - - - Not Covered
StRcvdDataStart - - - 0 0 0 1 - - - - - Not Covered
StRcvdDataStart - - - 0 0 0 0 - - - - - Not Covered
StRcvdDataEnd - - - - - - - 1 1 - - - Not Covered
StRcvdDataEnd - - - - - - - 1 0 - - - Not Covered
StRcvdDataEnd - - - - - - - 0 - 1 - - Not Covered
StRcvdDataEnd - - - - - - - 0 - 0 1 - Not Covered
StRcvdDataEnd - - - - - - - 0 - 0 0 - Not Covered
StRcvdIsoDataEnd - - - - - - - - - - - 1 Not Covered
StRcvdIsoDataEnd - - - - - - - - - - - 0 Not Covered
default - - - - - - - - - - - - Not Covered


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

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


LineNo. Expression -1-: 336 if ((!rst_ni)) -2-: 339 (link_reset_i) ?

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


LineNo. Expression -1-: 347 if ((setup_token_received && ep_active)) -2-: 349 if (new_pkt_end)

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


LineNo. Expression -1-: 353 if (out_datatog_we_i)

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


LineNo. Expression -1-: 362 if ((!rst_ni)) -2-: 364 if (link_reset_i)

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


LineNo. Expression -1-: 372 if ((!rst_ni)) -2-: 377 if (out_xact_start)

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


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

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


LineNo. Expression -1-: 401 if ((!rst_ni)) -2-: 404 if (((out_xact_state == StIdle) || (out_xact_state == StRcvdOut))) -3-: 406 if ((out_ep_data_put_o && out_ep_full_i[out_ep_index]))

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-: 420 if ((!rst_ni)) -2-: 423 if ((out_xact_state == StRcvdOut)) -3-: 425 if (((out_xact_state == StRcvdDataStart) && increment_addr))

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

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