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

Module : usbdev_aon_wake
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.98 100.00 93.18 94.74 100.00

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

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake 96.98 100.00 93.18 94.74 100.00


Module Instance : tb.dut.top_earlgrey.u_pinmux_aon.u_usbdev_aon_wake

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.98 100.00 93.18 94.74 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.43 100.00 95.59 98.11 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
90.74 99.03 84.25 98.84 79.56 92.00 u_pinmux_aon


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
filter_activity 100.00 100.00 100.00 100.00
filter_bus_reset 100.00 100.00 100.00 100.00
filter_sense 100.00 100.00 100.00 100.00
u_pullup_en_cdc 100.00 100.00 100.00

Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : usbdev_aon_wake
Line No.TotalCoveredPercent
TOTAL3939100.00
CONT_ASSIGN5411100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN8111100.00
CONT_ASSIGN10611100.00
CONT_ASSIGN10811100.00
CONT_ASSIGN11011100.00
CONT_ASSIGN11311100.00
CONT_ASSIGN11411100.00
CONT_ASSIGN11511100.00
CONT_ASSIGN11811100.00
CONT_ASSIGN12011100.00
ALWAYS12399100.00
ALWAYS13766100.00
ALWAYS16333100.00
CONT_ASSIGN17011100.00
CONT_ASSIGN18611100.00
CONT_ASSIGN18811100.00
ALWAYS19255100.00
CONT_ASSIGN20111100.00
CONT_ASSIGN20311100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_usbdev_0.1/rtl/usbdev_aon_wake.sv' or '../src/lowrisc_ip_usbdev_0.1/rtl/usbdev_aon_wake.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
54 1 1
80 1 1
81 1 1
106 1 1
108 1 1
110 1 1
113 1 1
114 1 1
115 1 1
118 1 1
120 1 1
123 1 1
124 1 1
125 1 1
126 1 1
127 1 1
129 1 1
130 1 1
131 1 1
132 1 1
137 1 1
139 1 1
142 1 1
143 1 1
MISSING_ELSE
151 1 1
152 1 1
MISSING_ELSE
163 1 1
164 1 1
166 1 1
170 1 1
186 1 1
188 1 1
192 1 1
193 1 1
194 1 1
196 1 1
197 1 1
201 1 1
203 1 1

Cond Coverage for Module : usbdev_aon_wake
TotalCoveredPercent
Conditions444193.18
Logical444193.18
Non-Logical00
Event00

 LINE       54
 EXPRESSION ((usb_dp_i != usb_dppullup_en_o) | (usb_dn_i != usb_dnpullup_en_o))
             ---------------1---------------   ---------------2---------------
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT22,T23,T71
10CoveredT4,T5,T6 

 LINE       54
 SUB-EXPRESSION (usb_dp_i != usb_dppullup_en_o)
                ---------------1---------------
-1-StatusTests
0CoveredT1,T22,T2
1CoveredT4,T5,T6 

 LINE       54
 SUB-EXPRESSION (usb_dn_i != usb_dnpullup_en_o)
                ---------------1---------------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT21,T22,T30 

 LINE       80
 EXPRESSION (((~usb_dp_i)) & ((~usb_dn_i)))
             ------1------   ------2------
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT22,T30,T34
11CoveredT30,T34,T35 

 LINE       106
 EXPRESSION ((event_not_idle | bus_not_idle_q) & wake_detect_active_q)
             ----------------1----------------   ----------2---------
-1--2-StatusTests
01CoveredT3,T10,T404
10CoveredT4,T5,T6
11CoveredT1,T2,T3 

 LINE       106
 SUB-EXPRESSION (event_not_idle | bus_not_idle_q)
                 -------1------   -------2------
-1--2-StatusTests
00CoveredT4,T5,T6
01CoveredT1,T2,T3
10CoveredT4,T5,T6 

 LINE       108
 EXPRESSION ((event_bus_reset | bus_reset_q) & wake_detect_active_q)
             ---------------1---------------   ----------2---------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT30,T34,T35
11CoveredT70 

 LINE       108
 SUB-EXPRESSION (event_bus_reset | bus_reset_q)
                 -------1-------   -----2-----
-1--2-StatusTests
00CoveredT4,T5,T6
01Not Covered
10CoveredT30,T34,T35 

 LINE       110
 EXPRESSION ((event_sense_lost | sense_lost_q) & wake_detect_active_q)
             ----------------1----------------   ----------2---------
-1--2-StatusTests
01CoveredT70
10CoveredT4,T5,T6
11CoveredT1,T2,T3 

 LINE       110
 SUB-EXPRESSION (event_sense_lost | sense_lost_q)
                 --------1-------   ------2-----
-1--2-StatusTests
00CoveredT4,T5,T6
01Not Covered
10CoveredT4,T5,T6 

 LINE       118
 EXPRESSION (wake_detect_active_q & (event_not_idle | event_bus_reset | event_sense_lost | wake_req_q))
             ----------1---------   ---------------------------------2--------------------------------
-1--2-StatusTests
01CoveredT4,T5,T6
10CoveredT70
11CoveredT1,T2,T3 

 LINE       118
 SUB-EXPRESSION (event_not_idle | event_bus_reset | event_sense_lost | wake_req_q)
                 -------1------   -------2-------   --------3-------   -----4----
-1--2--3--4-StatusTests
0000CoveredT4,T5,T6
0001Not Covered
0010CoveredT4,T5,T6
0100CoveredT30,T34,T35
1000CoveredT34,T35,T405 

 LINE       186
 EXPRESSION (wake_detect_active_q ? aon_dppullup_en_q : usbdev_dppullup_en_aon)
             ----------1---------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT1,T2,T3 

 LINE       188
 EXPRESSION (wake_detect_active_q ? aon_dnpullup_en_q : usbdev_dnpullup_en_aon)
             ----------1---------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT1,T2,T3 

 LINE       201
 EXPRESSION (wake_detect_active_q ? aon_dppullup_en_q : usbdev_dppullup_en_i)
             ----------1---------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT1,T2,T3 

 LINE       203
 EXPRESSION (wake_detect_active_q ? aon_dnpullup_en_q : usbdev_dnpullup_en_i)
             ----------1---------
-1-StatusTests
0CoveredT4,T5,T6
1CoveredT1,T2,T3
Branch Coverage for Module : usbdev_aon_wake
Line No.TotalCoveredPercent
Branches 19 18 94.74
TERNARY 186 2 2 100.00
TERNARY 188 2 2 100.00
TERNARY 201 2 2 100.00
TERNARY 203 2 2 100.00
IF 123 2 2 100.00
CASE 139 5 4 80.00
IF 163 2 2 100.00
IF 192 2 2 100.00

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


	LineNo.	Expression
-1-:	186	(wake_detect_active_q) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T4,T5,T6 



	LineNo.	Expression
-1-:	188	(wake_detect_active_q) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T4,T5,T6 



	LineNo.	Expression
-1-:	201	(wake_detect_active_q) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T4,T5,T6 



	LineNo.	Expression
-1-:	203	(wake_detect_active_q) ?

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T4,T5,T6 



	LineNo.	Expression
-1-:	123	if ((!rst_aon_ni))

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6 



	LineNo.	Expression
-1-:	139	case (wake_detect_active_q)
-2-:	142	if (suspend_req_aon_i)
-3-:	151	if (wake_ack_aon_i)

Branches:
-1--2--3-StatusTests
1'b0 1 - Covered T1,T2,T3
1'b0 0 - Covered T1,T2,T3
1'b1 - 1 Covered T1,T2,T3
1'b1 - 0 Covered T1,T2,T3
default - - Not Covered 



	LineNo.	Expression
-1-:	163	if ((!rst_aon_ni))

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6 



	LineNo.	Expression
-1-:	192	if ((!rst_aon_ni))

Branches:
-1-StatusTests
1 Covered T4,T5,T6
0 Covered T4,T5,T6

Assert Coverage for Module : usbdev_aon_wake
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 1 1 100.00 1 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 1 1 100.00 1 100.00



Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
WakeDetectActiveAonKnown_A 1502646 1313103 0 0


WakeDetectActiveAonKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1502646 1313103 0 0
T4 801 627 0 0
T5 1104 931 0 0
T6 5308 4764 0 0
T17 886 713 0 0
T19 3649 2860 0 0
T20 1379 1138 0 0
T42 413 241 0 0
T53 2097 1925 0 0
T55 2655 2421 0 0
T68 1492 1319 0 0

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