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

Module : rv_plic
SCORELINECONDTOGGLEFSMBRANCHASSERT
72.95 40.67 66.67 93.50 75.00 88.89

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_opentitan_top_earlgrey_rv_plic_0/rtl/rv_plic.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.top_earlgrey.u_rv_plic 72.95 40.67 66.67 93.50 75.00 88.89



Module Instance : tb.dut.top_earlgrey.u_rv_plic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
72.95 40.67 66.67 93.50 75.00 88.89


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
85.84 81.78 76.59 92.35 82.20 96.30


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
79.60 53.96 84.85 100.00 top_earlgrey


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_alert_tx[0].u_prim_alert_sender 58.33 58.33
gen_target[0].u_target 59.65 39.01 39.84 59.74 100.00
u_gateway 75.00 100.00 25.00 100.00
u_prim_flop_2sync 100.00 100.00 100.00
u_reg 95.85 93.40 99.88 90.13 100.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : rv_plic
Line No.TotalCoveredPercent
TOTAL56322940.67
CONT_ASSIGN7411100.00
ALWAYS774375.00
ALWAYS8344100.00
CONT_ASSIGN99100.00
CONT_ASSIGN100100.00
CONT_ASSIGN10111100.00
CONT_ASSIGN10211100.00
CONT_ASSIGN10311100.00
CONT_ASSIGN10411100.00
CONT_ASSIGN105100.00
CONT_ASSIGN10611100.00
CONT_ASSIGN10711100.00
CONT_ASSIGN10811100.00
CONT_ASSIGN10911100.00
CONT_ASSIGN11011100.00
CONT_ASSIGN111100.00
CONT_ASSIGN11211100.00
CONT_ASSIGN113100.00
CONT_ASSIGN11411100.00
CONT_ASSIGN11511100.00
CONT_ASSIGN11611100.00
CONT_ASSIGN117100.00
CONT_ASSIGN11811100.00
CONT_ASSIGN11911100.00
CONT_ASSIGN120100.00
CONT_ASSIGN12111100.00
CONT_ASSIGN12211100.00
CONT_ASSIGN123100.00
CONT_ASSIGN124100.00
CONT_ASSIGN12511100.00
CONT_ASSIGN126100.00
CONT_ASSIGN12711100.00
CONT_ASSIGN12811100.00
CONT_ASSIGN12911100.00
CONT_ASSIGN130100.00
CONT_ASSIGN13111100.00
CONT_ASSIGN13211100.00
CONT_ASSIGN133100.00
CONT_ASSIGN13411100.00
CONT_ASSIGN13511100.00
CONT_ASSIGN13611100.00
CONT_ASSIGN137100.00
CONT_ASSIGN13811100.00
CONT_ASSIGN13911100.00
CONT_ASSIGN14011100.00
CONT_ASSIGN141100.00
CONT_ASSIGN14211100.00
CONT_ASSIGN14311100.00
CONT_ASSIGN14411100.00
CONT_ASSIGN145100.00
CONT_ASSIGN14611100.00
CONT_ASSIGN14711100.00
CONT_ASSIGN14811100.00
CONT_ASSIGN14911100.00
CONT_ASSIGN15011100.00
CONT_ASSIGN15111100.00
CONT_ASSIGN15211100.00
CONT_ASSIGN15311100.00
CONT_ASSIGN15411100.00
CONT_ASSIGN15511100.00
CONT_ASSIGN15611100.00
CONT_ASSIGN15711100.00
CONT_ASSIGN158100.00
CONT_ASSIGN159100.00
CONT_ASSIGN160100.00
CONT_ASSIGN16111100.00
CONT_ASSIGN162100.00
CONT_ASSIGN16311100.00
CONT_ASSIGN16411100.00
CONT_ASSIGN16511100.00
CONT_ASSIGN16611100.00
CONT_ASSIGN16711100.00
CONT_ASSIGN168100.00
CONT_ASSIGN16911100.00
CONT_ASSIGN17011100.00
CONT_ASSIGN17111100.00
CONT_ASSIGN17211100.00
CONT_ASSIGN17311100.00
CONT_ASSIGN174100.00
CONT_ASSIGN175100.00
CONT_ASSIGN176100.00
CONT_ASSIGN17711100.00
CONT_ASSIGN17811100.00
CONT_ASSIGN17911100.00
CONT_ASSIGN18011100.00
CONT_ASSIGN18111100.00
CONT_ASSIGN18211100.00
CONT_ASSIGN183100.00
CONT_ASSIGN184100.00
CONT_ASSIGN18511100.00
CONT_ASSIGN18611100.00
CONT_ASSIGN187100.00
CONT_ASSIGN188100.00
CONT_ASSIGN18911100.00
CONT_ASSIGN19011100.00
CONT_ASSIGN19111100.00
CONT_ASSIGN19211100.00
CONT_ASSIGN19311100.00
CONT_ASSIGN19411100.00
CONT_ASSIGN19511100.00
CONT_ASSIGN19611100.00
CONT_ASSIGN197100.00
CONT_ASSIGN19811100.00
CONT_ASSIGN199100.00
CONT_ASSIGN20011100.00
CONT_ASSIGN20111100.00
CONT_ASSIGN20211100.00
CONT_ASSIGN203100.00
CONT_ASSIGN20411100.00
CONT_ASSIGN205100.00
CONT_ASSIGN206100.00
CONT_ASSIGN207100.00
CONT_ASSIGN20811100.00
CONT_ASSIGN209100.00
CONT_ASSIGN21011100.00
CONT_ASSIGN21111100.00
CONT_ASSIGN21211100.00
CONT_ASSIGN21311100.00
CONT_ASSIGN21411100.00
CONT_ASSIGN215100.00
CONT_ASSIGN21611100.00
CONT_ASSIGN217100.00
CONT_ASSIGN21811100.00
CONT_ASSIGN21911100.00
CONT_ASSIGN22011100.00
CONT_ASSIGN22111100.00
CONT_ASSIGN22211100.00
CONT_ASSIGN223100.00
CONT_ASSIGN22411100.00
CONT_ASSIGN225100.00
CONT_ASSIGN226100.00
CONT_ASSIGN22711100.00
CONT_ASSIGN22811100.00
CONT_ASSIGN229100.00
CONT_ASSIGN23011100.00
CONT_ASSIGN23111100.00
CONT_ASSIGN23211100.00
CONT_ASSIGN23311100.00
CONT_ASSIGN234100.00
CONT_ASSIGN23511100.00
CONT_ASSIGN23611100.00
CONT_ASSIGN23711100.00
CONT_ASSIGN23811100.00
CONT_ASSIGN239100.00
CONT_ASSIGN24011100.00
CONT_ASSIGN24111100.00
CONT_ASSIGN24211100.00
CONT_ASSIGN24311100.00
CONT_ASSIGN24411100.00
CONT_ASSIGN245100.00
CONT_ASSIGN24611100.00
CONT_ASSIGN24711100.00
CONT_ASSIGN24811100.00
CONT_ASSIGN24911100.00
CONT_ASSIGN250100.00
CONT_ASSIGN251100.00
CONT_ASSIGN25211100.00
CONT_ASSIGN25311100.00
CONT_ASSIGN254100.00
CONT_ASSIGN255100.00
CONT_ASSIGN25611100.00
CONT_ASSIGN25711100.00
CONT_ASSIGN25811100.00
CONT_ASSIGN25911100.00
CONT_ASSIGN26011100.00
CONT_ASSIGN26111100.00
CONT_ASSIGN26211100.00
CONT_ASSIGN26311100.00
CONT_ASSIGN26411100.00
CONT_ASSIGN26511100.00
CONT_ASSIGN26611100.00
CONT_ASSIGN26711100.00
CONT_ASSIGN26811100.00
CONT_ASSIGN26911100.00
CONT_ASSIGN270100.00
CONT_ASSIGN271100.00
CONT_ASSIGN272100.00
CONT_ASSIGN27311100.00
CONT_ASSIGN27411100.00
CONT_ASSIGN27511100.00
CONT_ASSIGN27611100.00
CONT_ASSIGN27711100.00
CONT_ASSIGN27811100.00
CONT_ASSIGN279100.00
CONT_ASSIGN280100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN286100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN28611100.00
CONT_ASSIGN29211100.00
CONT_ASSIGN297100.00
CONT_ASSIGN29811100.00
CONT_ASSIGN29911100.00
CONT_ASSIGN30011100.00
CONT_ASSIGN30111100.00
CONT_ASSIGN306100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN31311100.00
CONT_ASSIGN31311100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN313100.00
CONT_ASSIGN37511100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_opentitan_top_earlgrey_rv_plic_0/rtl/rv_plic.sv' or '../src/lowrisc_opentitan_top_earlgrey_rv_plic_0/rtl/rv_plic.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
74 1 1
77 1 1
78 1 1
79 1 2
MISSING_ELSE
83 1 1
84 1 1
85 2 2
MISSING_ELSE
99 0 1
100 0 1
101 1 1
102 1 1
103 1 1
104 1 1
105 0 1
106 1 1
107 1 1
108 1 1
109 1 1
110 1 1
111 0 1
112 1 1
113 0 1
114 1 1
115 1 1
116 1 1
117 0 1
118 1 1
119 1 1
120 0 1
121 1 1
122 1 1
123 0 1
124 0 1
125 1 1
126 0 1
127 1 1
128 1 1
129 1 1
130 0 1
131 1 1
132 1 1
133 0 1
134 1 1
135 1 1
136 1 1
137 0 1
138 1 1
139 1 1
140 1 1
141 0 1
142 1 1
143 1 1
144 1 1
145 0 1
146 1 1
147 1 1
148 1 1
149 1 1
150 1 1
151 1 1
152 1 1
153 1 1
154 1 1
155 1 1
156 1 1
157 1 1
158 0 1
159 0 1
160 0 1
161 1 1
162 0 1
163 1 1
164 1 1
165 1 1
166 1 1
167 1 1
168 0 1
169 1 1
170 1 1
171 1 1
172 1 1
173 1 1
174 0 1
175 0 1
176 0 1
177 1 1
178 1 1
179 1 1
180 1 1
181 1 1
182 1 1
183 0 1
184 0 1
185 1 1
186 1 1
187 0 1
188 0 1
189 1 1
190 1 1
191 1 1
192 1 1
193 1 1
194 1 1
195 1 1
196 1 1
197 0 1
198 1 1
199 0 1
200 1 1
201 1 1
202 1 1
203 0 1
204 1 1
205 0 1
206 0 1
207 0 1
208 1 1
209 0 1
210 1 1
211 1 1
212 1 1
213 1 1
214 1 1
215 0 1
216 1 1
217 0 1
218 1 1
219 1 1
220 1 1
221 1 1
222 1 1
223 0 1
224 1 1
225 0 1
226 0 1
227 1 1
228 1 1
229 0 1
230 1 1
231 1 1
232 1 1
233 1 1
234 0 1
235 1 1
236 1 1
237 1 1
238 1 1
239 0 1
240 1 1
241 1 1
242 1 1
243 1 1
244 1 1
245 0 1
246 1 1
247 1 1
248 1 1
249 1 1
250 0 1
251 0 1
252 1 1
253 1 1
254 0 1
255 0 1
256 1 1
257 1 1
258 1 1
259 1 1
260 1 1
261 1 1
262 1 1
263 1 1
264 1 1
265 1 1
266 1 1
267 1 1
268 1 1
269 1 1
270 0 1
271 0 1
272 0 1
273 1 1
274 1 1
275 1 1
276 1 1
277 1 1
278 1 1
279 0 1
280 0 1
286 83 182
292 1 1
297 0 1
298 1 1
299 1 1
300 1 1
301 1 1
306 0 1
313 2 182
375 1 1


Cond Coverage for Module : rv_plic
TotalCoveredPercent
Conditions3266.67
Logical3266.67
Non-Logical00
Event00

 LINE       375
 SUB-EXPRESSION (reg2hw.alert_test.q & reg2hw.alert_test.qe)
                 ---------1---------   ----------2---------
-1--2-StatusTests
01Not Covered
10CoveredT1
11CoveredT1

Toggle Coverage for Module : rv_plic
TotalCoveredPercent
Totals 33 30 90.91
Total Bits 708 662 93.50
Total Bits 0->1 354 331 93.50
Total Bits 1->0 354 331 93.50

Ports 33 30 90.91
Port Bits 708 662 93.50
Port Bits 0->1 354 331 93.50
Port Bits 1->0 354 331 93.50

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_ni Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.d_ready Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
tl_i.a_user.data_intg[6:0] Yes Yes T1,T11,T12 Yes T1,T11,T12 INPUT
tl_i.a_user.cmd_intg[6:0] Yes Yes T1,T11,T12 Yes T1,T11,T12 INPUT
tl_i.a_user.instr_type[3:0] Yes Yes T1,T11,T12 Yes T1,T11,T12 INPUT
tl_i.a_user.rsvd[4:0] Unreachable Unreachable Unreachable INPUT
tl_i.a_data[31:0] Yes Yes T1,T11,T12 Yes T1,T11,T12 INPUT
tl_i.a_mask[3:0] Yes Yes T1,T11,T12 Yes T1,T11,T12 INPUT
tl_i.a_address[27:0] Yes Yes T11,T12,T13 Yes T11,T12,T13 INPUT
tl_i.a_address[29:28] Unreachable Unreachable Unreachable INPUT
tl_i.a_address[30] Yes Yes *T1,*T11,*T12 Yes T1,T11,T12 INPUT
tl_i.a_address[31] Unreachable Unreachable Unreachable INPUT
tl_i.a_source[5:0] Yes Yes *T1,T11,T12 Yes T1,T11,T12 INPUT
tl_i.a_source[7:6] Unreachable Unreachable Unreachable INPUT
tl_i.a_size[1:0] Yes Yes T11,T12,T13 Yes T11,T12,T13 INPUT
tl_i.a_param[2:0] Unreachable Unreachable Unreachable INPUT
tl_i.a_opcode[2:0] Yes Yes T11,T12,T13 Yes T11,T12,T13 INPUT
tl_i.a_valid Yes Yes T1,T11,T12 Yes T1,T11,T12 INPUT
tl_o.a_ready Yes Yes T1,T12,T13 Yes T1,T11,T12 OUTPUT
tl_o.d_error Yes Yes T11,T12,T13 Yes T11,T12,T13 OUTPUT
tl_o.d_user.data_intg[6:0] Yes Yes T1,T11,T12 Yes T1,T11,T12 OUTPUT
tl_o.d_user.rsp_intg[6:0] Yes Yes T1,T11,T12 Yes T1,T11,T12 OUTPUT
tl_o.d_data[31:0] Yes Yes T1,T11,T12 Yes T1,T11,T12 OUTPUT
tl_o.d_sink Yes Yes T11,T12,T13 Yes T11,T12,T13 OUTPUT
tl_o.d_source[5:0] Yes Yes *T1,T11,T12 Yes T1,T11,T12 OUTPUT
tl_o.d_source[7:6] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_size[1:0] Yes Yes T11,T12,T13 Yes T11,T12,T13 OUTPUT
tl_o.d_param[2:0] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_opcode[0] Yes Yes *T1,*T11,*T12 Yes T1,T11,T12 OUTPUT
tl_o.d_opcode[2:1] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_valid Yes Yes T1,T11,T12 Yes T1,T11,T12 OUTPUT
intr_src_i[0] Unreachable Unreachable Unreachable INPUT
intr_src_i[11:1] Yes Yes *T22,*T20,*T19 Yes T22,T20,T19 INPUT
intr_src_i[12] No No No INPUT
intr_src_i[20:13] Yes Yes *T19,*T22,*T20 Yes T19,T22,T20 INPUT
intr_src_i[22:21] No No No INPUT
intr_src_i[29:23] Yes Yes *T22,*T21,*T19 Yes T22,T21,T19 INPUT
intr_src_i[30] No No No INPUT
intr_src_i[65:31] Yes Yes *T23,*T19,*T20 Yes T23,T19,T20 INPUT
intr_src_i[66] No No No INPUT
intr_src_i[75:67] Yes Yes *T23,*T22,*T20 Yes T23,T22,T20 INPUT
intr_src_i[76] No No No INPUT
intr_src_i[80:77] Yes Yes *T23,*T19,*T22 Yes T23,T19,T22 INPUT
intr_src_i[81] No No No INPUT
intr_src_i[86:82] Yes Yes *T23,*T21,*T19 Yes T23,T21,T19 INPUT
intr_src_i[87] No No No INPUT
intr_src_i[88] Yes Yes *T16,*T23,*T19 Yes T16,T23,T19 INPUT
intr_src_i[90:89] No No No INPUT
intr_src_i[96:91] Yes Yes *T19,*T22,*T20 Yes T19,T22,T20 INPUT
intr_src_i[97] No No No INPUT
intr_src_i[103:98] Yes Yes *T22,*T20,*T23 Yes T22,T20,T23 INPUT
intr_src_i[104] No No No INPUT
intr_src_i[111:105] Yes Yes *T19,*T22,*T20 Yes T19,T22,T20 INPUT
intr_src_i[112] No No No INPUT
intr_src_i[125:113] Yes Yes *T23,*T19,*T22 Yes T23,T19,T22 INPUT
intr_src_i[126] No No No INPUT
intr_src_i[133:127] Yes Yes *T23,*T22,*T27 Yes T23,T22,T27 INPUT
intr_src_i[134] No No No INPUT
intr_src_i[136:135] Yes Yes T19 Yes T19 INPUT
intr_src_i[137] No No No INPUT
intr_src_i[140:138] Yes Yes *T23,*T20,*T19 Yes T23,T20,T19 INPUT
intr_src_i[141] No No No INPUT
intr_src_i[162:142] Yes Yes *T23,*T22,*T20 Yes T23,T22,T20 INPUT
intr_src_i[163] No No No INPUT
intr_src_i[166:164] Yes Yes *T22,*T20,*T19 Yes T22,T20,T19 INPUT
intr_src_i[168:167] No No No INPUT
intr_src_i[180:169] Yes Yes *T19,*T22,*T21 Yes T19,T22,T21 INPUT
intr_src_i[181] No No No INPUT
alert_rx_i[0].ack_n Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
alert_rx_i[0].ack_p Yes Yes T1,T17,T24 Yes T1,T17,T24 INPUT
alert_rx_i[0].ping_n No No No INPUT
alert_rx_i[0].ping_p No No No INPUT
alert_tx_o[0].alert_n Yes Yes T1,T2,T3 Yes T1,T2,T3 OUTPUT
alert_tx_o[0].alert_p Yes Yes T1,T17,T24 Yes T1,T17,T24 OUTPUT
irq_o Yes Yes T15,T18,T17 Yes T15,T18,T17 OUTPUT
irq_id_o[0][0] Yes Yes T1,T15,T16 Yes T1,T15,T16 OUTPUT
irq_id_o[0][1] Yes Yes T1,T15,T18 Yes T1,T15,T18 OUTPUT
irq_id_o[0][2] Yes Yes T15,T16,T18 Yes T15,T16,T18 OUTPUT
irq_id_o[0][3] Yes Yes T1,T15,T16 Yes T1,T15,T16 OUTPUT
irq_id_o[0][4] Yes Yes T1,T16,T18 Yes T1,T16,T18 OUTPUT
irq_id_o[0][5] Yes Yes T15,T16,T18 Yes T15,T16,T18 OUTPUT
irq_id_o[0][6] Yes Yes T17,T39,T43 Yes T17,T39,T43 OUTPUT
irq_id_o[0][7] Yes Yes T1,T15,T16 Yes T1,T15,T16 OUTPUT
msip_o Yes Yes T15,T16,T18 Yes T15,T16,T18 OUTPUT

*Tests covering at least one bit in the range

Branch Coverage for Module : rv_plic
Line No.TotalCoveredPercent
Branches 4 3 75.00
IF 79 2 1 50.00
IF 85 2 2 100.00

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

LineNo. Expression -1-: 79 if (claim_re[i])

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


LineNo. Expression -1-: 85 if (complete_we[i])

Branches:
-1-StatusTests
1 Covered T1
0 Covered T1


Assert Coverage for Module : rv_plic
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 9 9 100.00 8 88.89
Cover properties 0 0 0
Cover sequences 0 0 0
Total 9 9 100.00 8 88.89




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
FpvSecCmRegWeOnehotCheck_A 6618378 0 0 0
Irq0Tied_A 6618378 6616003 0 0
IrqKnownO_A 6618378 6616003 0 0
MsipKnownO_A 6618378 6616003 0 0
TlAReadyKnownO_A 6618378 6616003 0 0
TlDValidKnownO_A 6618378 6616003 0 0
gen_irq_id_known[0].IrqIdKnownO_A 6618378 6616003 0 0
onehot0Claim 6618378 6616003 0 0
onehot0Complete 6618378 6616003 0 0


FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6618378 0 0 0

Irq0Tied_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6618378 6616003 0 0
T1 993885 993772 0 0
T2 729704 729587 0 0
T3 55035 54929 0 0
T4 111974 111963 0 0
T5 109076 109065 0 0
T6 109525 109514 0 0
T7 129796 129621 0 0
T8 174895 174727 0 0
T9 137709 137541 0 0
T10 167695 167517 0 0

IrqKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6618378 6616003 0 0
T1 993885 993772 0 0
T2 729704 729587 0 0
T3 55035 54929 0 0
T4 111974 111963 0 0
T5 109076 109065 0 0
T6 109525 109514 0 0
T7 129796 129621 0 0
T8 174895 174727 0 0
T9 137709 137541 0 0
T10 167695 167517 0 0

MsipKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6618378 6616003 0 0
T1 993885 993772 0 0
T2 729704 729587 0 0
T3 55035 54929 0 0
T4 111974 111963 0 0
T5 109076 109065 0 0
T6 109525 109514 0 0
T7 129796 129621 0 0
T8 174895 174727 0 0
T9 137709 137541 0 0
T10 167695 167517 0 0

TlAReadyKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6618378 6616003 0 0
T1 993885 993772 0 0
T2 729704 729587 0 0
T3 55035 54929 0 0
T4 111974 111963 0 0
T5 109076 109065 0 0
T6 109525 109514 0 0
T7 129796 129621 0 0
T8 174895 174727 0 0
T9 137709 137541 0 0
T10 167695 167517 0 0

TlDValidKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6618378 6616003 0 0
T1 993885 993772 0 0
T2 729704 729587 0 0
T3 55035 54929 0 0
T4 111974 111963 0 0
T5 109076 109065 0 0
T6 109525 109514 0 0
T7 129796 129621 0 0
T8 174895 174727 0 0
T9 137709 137541 0 0
T10 167695 167517 0 0

gen_irq_id_known[0].IrqIdKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 6618378 6616003 0 0
T1 993885 993772 0 0
T2 729704 729587 0 0
T3 55035 54929 0 0
T4 111974 111963 0 0
T5 109076 109065 0 0
T6 109525 109514 0 0
T7 129796 129621 0 0
T8 174895 174727 0 0
T9 137709 137541 0 0
T10 167695 167517 0 0

onehot0Claim
NameAttemptsReal SuccessesFailuresIncomplete
Total 6618378 6616003 0 0
T1 993885 993772 0 0
T2 729704 729587 0 0
T3 55035 54929 0 0
T4 111974 111963 0 0
T5 109076 109065 0 0
T6 109525 109514 0 0
T7 129796 129621 0 0
T8 174895 174727 0 0
T9 137709 137541 0 0
T10 167695 167517 0 0

onehot0Complete
NameAttemptsReal SuccessesFailuresIncomplete
Total 6618378 6616003 0 0
T1 993885 993772 0 0
T2 729704 729587 0 0
T3 55035 54929 0 0
T4 111974 111963 0 0
T5 109076 109065 0 0
T6 109525 109514 0 0
T7 129796 129621 0 0
T8 174895 174727 0 0
T9 137709 137541 0 0
T10 167695 167517 0 0

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