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

Module : usbdev_aon_wake
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.71 100.00 92.11 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.71 100.00 92.11 94.74 100.00



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

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
96.71 100.00 92.11 94.74 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.32 100.00 95.16 98.11 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
90.45 98.99 84.10 97.78 79.38 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
TOTAL3535100.00
CONT_ASSIGN5311100.00
CONT_ASSIGN7811100.00
CONT_ASSIGN7911100.00
CONT_ASSIGN10311100.00
CONT_ASSIGN10411100.00
CONT_ASSIGN10611100.00
CONT_ASSIGN10711100.00
CONT_ASSIGN11011100.00
CONT_ASSIGN11211100.00
ALWAYS11577100.00
ALWAYS12766100.00
ALWAYS15333100.00
CONT_ASSIGN16011100.00
CONT_ASSIGN17611100.00
CONT_ASSIGN17811100.00
ALWAYS18255100.00
CONT_ASSIGN19111100.00
CONT_ASSIGN19311100.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
53 1 1
78 1 1
79 1 1
103 1 1
104 1 1
106 1 1
107 1 1
110 1 1
112 1 1
115 1 1
116 1 1
117 1 1
118 1 1
120 1 1
121 1 1
122 1 1
127 1 1
129 1 1
132 1 1
133 1 1
MISSING_ELSE
141 1 1
142 1 1
MISSING_ELSE
153 1 1
154 1 1
156 1 1
160 1 1
176 1 1
178 1 1
182 1 1
183 1 1
184 1 1
186 1 1
187 1 1
191 1 1
193 1 1


Cond Coverage for Module : usbdev_aon_wake
TotalCoveredPercent
Conditions383592.11
Logical383592.11
Non-Logical00
Event00

 LINE       53
 EXPRESSION ((usb_dp_i != usb_dppullup_en_o) | (usb_dn_i != usb_dnpullup_en_o))
             ---------------1---------------   ---------------2---------------
-1--2-StatusTests
00CoveredT16,T17,T18
01CoveredT16,T8,T9
10CoveredT1,T2,T3

 LINE       53
 SUB-EXPRESSION (usb_dp_i != usb_dppullup_en_o)
                ---------------1---------------
-1-StatusTests
0CoveredT16,T17,T18
1CoveredT1,T2,T3

 LINE       53
 SUB-EXPRESSION (usb_dn_i != usb_dnpullup_en_o)
                ---------------1---------------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT16,T23,T8

 LINE       78
 EXPRESSION (((~usb_dp_i)) & ((~usb_dn_i)))
             ------1------   ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT16,T19,T23
11CoveredT16,T17,T19

 LINE       103
 EXPRESSION ((event_bus_reset | bus_reset_q) & wake_detect_active_q)
             ---------------1---------------   ----------2---------
-1--2-StatusTests
01CoveredT18,T57,T58
10CoveredT16,T17,T19
11CoveredT57

 LINE       103
 SUB-EXPRESSION (event_bus_reset | bus_reset_q)
                 -------1-------   -----2-----
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT16,T17,T19

 LINE       104
 EXPRESSION ((event_sense_lost | sense_lost_q) & wake_detect_active_q)
             ----------------1----------------   ----------2---------
-1--2-StatusTests
01CoveredT57
10CoveredT1,T2,T3
11CoveredT18,T58,T75

 LINE       104
 SUB-EXPRESSION (event_sense_lost | sense_lost_q)
                 --------1-------   ------2-----
-1--2-StatusTests
00CoveredT1,T2,T3
01Not Covered
10CoveredT1,T2,T3

 LINE       110
 EXPRESSION (wake_detect_active_q & (event_not_idle | event_bus_reset | event_sense_lost | wake_req_q))
             ----------1---------   ---------------------------------2--------------------------------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT57
11CoveredT18,T57,T58

 LINE       110
 SUB-EXPRESSION (event_not_idle | event_bus_reset | event_sense_lost | wake_req_q)
                 -------1------   -------2-------   --------3-------   -----4----
-1--2--3--4-StatusTests
0000CoveredT1,T2,T3
0001Not Covered
0010CoveredT1,T2,T3
0100CoveredT16,T17,T19
1000CoveredT16,T24,T399

 LINE       176
 EXPRESSION (wake_detect_active_q ? aon_dppullup_en_q : usbdev_dppullup_en_aon)
             ----------1---------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT18,T57,T58

 LINE       178
 EXPRESSION (wake_detect_active_q ? aon_dnpullup_en_q : usbdev_dnpullup_en_aon)
             ----------1---------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT18,T57,T58

 LINE       191
 EXPRESSION (wake_detect_active_q ? aon_dppullup_en_q : usbdev_dppullup_en_i)
             ----------1---------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT18,T57,T58

 LINE       193
 EXPRESSION (wake_detect_active_q ? aon_dnpullup_en_q : usbdev_dnpullup_en_i)
             ----------1---------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT18,T57,T58

Branch Coverage for Module : usbdev_aon_wake
Line No.TotalCoveredPercent
Branches 19 18 94.74
TERNARY 176 2 2 100.00
TERNARY 178 2 2 100.00
TERNARY 191 2 2 100.00
TERNARY 193 2 2 100.00
IF 115 2 2 100.00
CASE 129 5 4 80.00
IF 153 2 2 100.00
IF 182 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-: 176 (wake_detect_active_q) ?

Branches:
-1-StatusTests
1 Covered T18,T57,T58
0 Covered T1,T2,T3


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

Branches:
-1-StatusTests
1 Covered T18,T57,T58
0 Covered T1,T2,T3


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

Branches:
-1-StatusTests
1 Covered T18,T57,T58
0 Covered T1,T2,T3


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

Branches:
-1-StatusTests
1 Covered T18,T57,T58
0 Covered T1,T2,T3


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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


LineNo. Expression -1-: 129 case (wake_detect_active_q) -2-: 132 if (suspend_req_aon_i) -3-: 141 if (wake_ack_aon_i)

Branches:
-1--2--3-StatusTests
1'b0 1 - Covered T18,T57,T58
1'b0 0 - Covered T18,T57,T58
1'b1 - 1 Covered T57
1'b1 - 0 Covered T18,T57,T58
default - - Not Covered


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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


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

Branches:
-1-StatusTests
1 Covered T1,T2,T3
0 Covered T1,T2,T3


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 1335828 1161964 0 0


WakeDetectActiveAonKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1335828 1161964 0 0
T1 364 200 0 0
T2 999 837 0 0
T3 1224 1060 0 0
T4 5320 4238 0 0
T20 3935 3772 0 0
T33 959 794 0 0
T50 927 763 0 0
T51 990 827 0 0
T67 745 582 0 0
T81 319 155 0 0

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