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

Module : rv_plic
SCORELINECONDTOGGLEFSMBRANCHASSERT
16.28 0.00 0.00 1.41 0.00 80.00

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 16.28 0.00 0.00 1.41 0.00 80.00


Module Instance : tb.dut.top_earlgrey.u_rv_plic

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
16.28 0.00 0.00 1.41 0.00 80.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
37.33 22.22 34.86 2.46 55.66 71.43


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
75.19 51.61 73.96 100.00 top_earlgrey


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
gen_alert_tx[0].u_prim_alert_sender 33.33 33.33
gen_target[0].u_target 41.15 0.40 39.02 58.52 66.67
u_gateway 55.84 81.82 0.00 85.71
u_prim_flop_2sync 100.00 100.00 100.00
u_reg 45.41 28.12 32.28 54.60 66.67

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
TOTAL56300.00
CONT_ASSIGN74100.00
ALWAYS77400.00
ALWAYS83400.00
CONT_ASSIGN99100.00
CONT_ASSIGN100100.00
CONT_ASSIGN101100.00
CONT_ASSIGN102100.00
CONT_ASSIGN103100.00
CONT_ASSIGN104100.00
CONT_ASSIGN105100.00
CONT_ASSIGN106100.00
CONT_ASSIGN107100.00
CONT_ASSIGN108100.00
CONT_ASSIGN109100.00
CONT_ASSIGN110100.00
CONT_ASSIGN111100.00
CONT_ASSIGN112100.00
CONT_ASSIGN113100.00
CONT_ASSIGN114100.00
CONT_ASSIGN115100.00
CONT_ASSIGN116100.00
CONT_ASSIGN117100.00
CONT_ASSIGN118100.00
CONT_ASSIGN119100.00
CONT_ASSIGN120100.00
CONT_ASSIGN121100.00
CONT_ASSIGN122100.00
CONT_ASSIGN123100.00
CONT_ASSIGN124100.00
CONT_ASSIGN125100.00
CONT_ASSIGN126100.00
CONT_ASSIGN127100.00
CONT_ASSIGN128100.00
CONT_ASSIGN129100.00
CONT_ASSIGN130100.00
CONT_ASSIGN131100.00
CONT_ASSIGN132100.00
CONT_ASSIGN133100.00
CONT_ASSIGN134100.00
CONT_ASSIGN135100.00
CONT_ASSIGN136100.00
CONT_ASSIGN137100.00
CONT_ASSIGN138100.00
CONT_ASSIGN139100.00
CONT_ASSIGN140100.00
CONT_ASSIGN141100.00
CONT_ASSIGN142100.00
CONT_ASSIGN143100.00
CONT_ASSIGN144100.00
CONT_ASSIGN145100.00
CONT_ASSIGN146100.00
CONT_ASSIGN147100.00
CONT_ASSIGN148100.00
CONT_ASSIGN149100.00
CONT_ASSIGN150100.00
CONT_ASSIGN151100.00
CONT_ASSIGN152100.00
CONT_ASSIGN153100.00
CONT_ASSIGN154100.00
CONT_ASSIGN155100.00
CONT_ASSIGN156100.00
CONT_ASSIGN157100.00
CONT_ASSIGN158100.00
CONT_ASSIGN159100.00
CONT_ASSIGN160100.00
CONT_ASSIGN161100.00
CONT_ASSIGN162100.00
CONT_ASSIGN163100.00
CONT_ASSIGN164100.00
CONT_ASSIGN165100.00
CONT_ASSIGN166100.00
CONT_ASSIGN167100.00
CONT_ASSIGN168100.00
CONT_ASSIGN169100.00
CONT_ASSIGN170100.00
CONT_ASSIGN171100.00
CONT_ASSIGN172100.00
CONT_ASSIGN173100.00
CONT_ASSIGN174100.00
CONT_ASSIGN175100.00
CONT_ASSIGN176100.00
CONT_ASSIGN177100.00
CONT_ASSIGN178100.00
CONT_ASSIGN179100.00
CONT_ASSIGN180100.00
CONT_ASSIGN181100.00
CONT_ASSIGN182100.00
CONT_ASSIGN183100.00
CONT_ASSIGN184100.00
CONT_ASSIGN185100.00
CONT_ASSIGN186100.00
CONT_ASSIGN187100.00
CONT_ASSIGN188100.00
CONT_ASSIGN189100.00
CONT_ASSIGN190100.00
CONT_ASSIGN191100.00
CONT_ASSIGN192100.00
CONT_ASSIGN193100.00
CONT_ASSIGN194100.00
CONT_ASSIGN195100.00
CONT_ASSIGN196100.00
CONT_ASSIGN197100.00
CONT_ASSIGN198100.00
CONT_ASSIGN199100.00
CONT_ASSIGN200100.00
CONT_ASSIGN201100.00
CONT_ASSIGN202100.00
CONT_ASSIGN203100.00
CONT_ASSIGN204100.00
CONT_ASSIGN205100.00
CONT_ASSIGN206100.00
CONT_ASSIGN207100.00
CONT_ASSIGN208100.00
CONT_ASSIGN209100.00
CONT_ASSIGN210100.00
CONT_ASSIGN211100.00
CONT_ASSIGN212100.00
CONT_ASSIGN213100.00
CONT_ASSIGN214100.00
CONT_ASSIGN215100.00
CONT_ASSIGN216100.00
CONT_ASSIGN217100.00
CONT_ASSIGN218100.00
CONT_ASSIGN219100.00
CONT_ASSIGN220100.00
CONT_ASSIGN221100.00
CONT_ASSIGN222100.00
CONT_ASSIGN223100.00
CONT_ASSIGN224100.00
CONT_ASSIGN225100.00
CONT_ASSIGN226100.00
CONT_ASSIGN227100.00
CONT_ASSIGN228100.00
CONT_ASSIGN229100.00
CONT_ASSIGN230100.00
CONT_ASSIGN231100.00
CONT_ASSIGN232100.00
CONT_ASSIGN233100.00
CONT_ASSIGN234100.00
CONT_ASSIGN235100.00
CONT_ASSIGN236100.00
CONT_ASSIGN237100.00
CONT_ASSIGN238100.00
CONT_ASSIGN239100.00
CONT_ASSIGN240100.00
CONT_ASSIGN241100.00
CONT_ASSIGN242100.00
CONT_ASSIGN243100.00
CONT_ASSIGN244100.00
CONT_ASSIGN245100.00
CONT_ASSIGN246100.00
CONT_ASSIGN247100.00
CONT_ASSIGN248100.00
CONT_ASSIGN249100.00
CONT_ASSIGN250100.00
CONT_ASSIGN251100.00
CONT_ASSIGN252100.00
CONT_ASSIGN253100.00
CONT_ASSIGN254100.00
CONT_ASSIGN255100.00
CONT_ASSIGN256100.00
CONT_ASSIGN257100.00
CONT_ASSIGN258100.00
CONT_ASSIGN259100.00
CONT_ASSIGN260100.00
CONT_ASSIGN261100.00
CONT_ASSIGN262100.00
CONT_ASSIGN263100.00
CONT_ASSIGN264100.00
CONT_ASSIGN265100.00
CONT_ASSIGN266100.00
CONT_ASSIGN267100.00
CONT_ASSIGN268100.00
CONT_ASSIGN269100.00
CONT_ASSIGN270100.00
CONT_ASSIGN271100.00
CONT_ASSIGN272100.00
CONT_ASSIGN273100.00
CONT_ASSIGN274100.00
CONT_ASSIGN275100.00
CONT_ASSIGN276100.00
CONT_ASSIGN277100.00
CONT_ASSIGN278100.00
CONT_ASSIGN279100.00
CONT_ASSIGN280100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.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_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN286100.00
CONT_ASSIGN292100.00
CONT_ASSIGN297100.00
CONT_ASSIGN298100.00
CONT_ASSIGN299100.00
CONT_ASSIGN300100.00
CONT_ASSIGN301100.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_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_ASSIGN375100.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 0 1
77 0 1
78 0 1
79 0 2
==> MISSING_ELSE
83 0 1
84 0 1
85 0 2
==> MISSING_ELSE
99 0 1
100 0 1
101 0 1
102 0 1
103 0 1
104 0 1
105 0 1
106 0 1
107 0 1
108 0 1
109 0 1
110 0 1
111 0 1
112 0 1
113 0 1
114 0 1
115 0 1
116 0 1
117 0 1
118 0 1
119 0 1
120 0 1
121 0 1
122 0 1
123 0 1
124 0 1
125 0 1
126 0 1
127 0 1
128 0 1
129 0 1
130 0 1
131 0 1
132 0 1
133 0 1
134 0 1
135 0 1
136 0 1
137 0 1
138 0 1
139 0 1
140 0 1
141 0 1
142 0 1
143 0 1
144 0 1
145 0 1
146 0 1
147 0 1
148 0 1
149 0 1
150 0 1
151 0 1
152 0 1
153 0 1
154 0 1
155 0 1
156 0 1
157 0 1
158 0 1
159 0 1
160 0 1
161 0 1
162 0 1
163 0 1
164 0 1
165 0 1
166 0 1
167 0 1
168 0 1
169 0 1
170 0 1
171 0 1
172 0 1
173 0 1
174 0 1
175 0 1
176 0 1
177 0 1
178 0 1
179 0 1
180 0 1
181 0 1
182 0 1
183 0 1
184 0 1
185 0 1
186 0 1
187 0 1
188 0 1
189 0 1
190 0 1
191 0 1
192 0 1
193 0 1
194 0 1
195 0 1
196 0 1
197 0 1
198 0 1
199 0 1
200 0 1
201 0 1
202 0 1
203 0 1
204 0 1
205 0 1
206 0 1
207 0 1
208 0 1
209 0 1
210 0 1
211 0 1
212 0 1
213 0 1
214 0 1
215 0 1
216 0 1
217 0 1
218 0 1
219 0 1
220 0 1
221 0 1
222 0 1
223 0 1
224 0 1
225 0 1
226 0 1
227 0 1
228 0 1
229 0 1
230 0 1
231 0 1
232 0 1
233 0 1
234 0 1
235 0 1
236 0 1
237 0 1
238 0 1
239 0 1
240 0 1
241 0 1
242 0 1
243 0 1
244 0 1
245 0 1
246 0 1
247 0 1
248 0 1
249 0 1
250 0 1
251 0 1
252 0 1
253 0 1
254 0 1
255 0 1
256 0 1
257 0 1
258 0 1
259 0 1
260 0 1
261 0 1
262 0 1
263 0 1
264 0 1
265 0 1
266 0 1
267 0 1
268 0 1
269 0 1
270 0 1
271 0 1
272 0 1
273 0 1
274 0 1
275 0 1
276 0 1
277 0 1
278 0 1
279 0 1
280 0 1
286 0 182
292 0 1
297 0 1
298 0 1
299 0 1
300 0 1
301 0 1
306 0 1
313 0 182
375 0 1

Cond Coverage for Module : rv_plic
TotalCoveredPercent
Conditions300.00
Logical300.00
Non-Logical00
Event00

 LINE       375
 SUB-EXPRESSION (reg2hw.alert_test.q & reg2hw.alert_test.qe)
                 ---------1---------   ----------2---------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered
Toggle Coverage for Module : rv_plic
TotalCoveredPercent
Totals 33 5 15.15
Total Bits 708 10 1.41
Total Bits 0->1 354 5 1.41
Total Bits 1->0 354 5 1.41

Ports 33 5 15.15
Port Bits 708 10 1.41
Port Bits 0->1 354 5 1.41
Port Bits 1->0 354 5 1.41

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] No No No INPUT
tl_i.a_user.cmd_intg[6:0] No No No INPUT
tl_i.a_user.instr_type[3:0] No No No INPUT
tl_i.a_user.rsvd[4:0] Unreachable Unreachable Unreachable INPUT
tl_i.a_data[31:0] No No No INPUT
tl_i.a_mask[3:0] No No No INPUT
tl_i.a_address[27:0] No No No INPUT
tl_i.a_address[29:28] Unreachable Unreachable Unreachable INPUT
tl_i.a_address[30] No No No INPUT
tl_i.a_address[31] Unreachable Unreachable Unreachable INPUT
tl_i.a_source[5:0] No No No INPUT
tl_i.a_source[7:6] Unreachable Unreachable Unreachable INPUT
tl_i.a_size[1:0] No No No INPUT
tl_i.a_param[2:0] Unreachable Unreachable Unreachable INPUT
tl_i.a_opcode[2:0] No No No INPUT
tl_i.a_valid No No No INPUT
tl_o.a_ready No No No OUTPUT
tl_o.d_error No No No OUTPUT
tl_o.d_user.data_intg[6:0] No No No OUTPUT
tl_o.d_user.rsp_intg[6:0] No No No OUTPUT
tl_o.d_data[31:0] No No No OUTPUT
tl_o.d_sink No No No OUTPUT
tl_o.d_source[5:0] No No No OUTPUT
tl_o.d_source[7:6] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_size[1:0] No No No OUTPUT
tl_o.d_param[2:0] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_opcode[0] No No No OUTPUT
tl_o.d_opcode[2:1] Unreachable Unreachable Unreachable OUTPUT
tl_o.d_valid No No No OUTPUT
intr_src_i[0] Unreachable Unreachable Unreachable INPUT
intr_src_i[181:1] 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 No No No 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 No No No OUTPUT
irq_o No No No OUTPUT
irq_id_o[0][7:0] No No No OUTPUT
msip_o No No No OUTPUT

Branch Coverage for Module : rv_plic
Line No.TotalCoveredPercent
Branches 4 0 0.00
IF 79 2 0 0.00
IF 85 2 0 0.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 Not Covered 



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

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

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



Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
FpvSecCmBusIntegrity_A 1610447 0 0 0
FpvSecCmRegWeOnehotCheck_A 1610447 0 0 0
Irq0Tied_A 1610447 1608760 0 0
IrqKnownO_A 1610447 1608760 0 0
MsipKnownO_A 1610447 1608760 0 0
TlAReadyKnownO_A 1610447 1608760 0 0
TlDValidKnownO_A 1610447 1608760 0 0
gen_irq_id_known[0].IrqIdKnownO_A 1610447 1608760 0 0
onehot0Claim 1610447 1608760 0 0
onehot0Complete 1610447 1608760 0 0


FpvSecCmBusIntegrity_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1610447 0 0 0

FpvSecCmRegWeOnehotCheck_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1610447 0 0 0

Irq0Tied_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1610447 1608760 0 0
T1 156404 156233 0 0
T2 158785 158625 0 0
T3 201885 201725 0 0
T4 164076 163905 0 0
T5 117962 117794 0 0
T6 218140 217958 0 0
T7 121259 121084 0 0
T8 171260 171096 0 0
T9 126275 126114 0 0
T10 174401 174226 0 0

IrqKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1610447 1608760 0 0
T1 156404 156233 0 0
T2 158785 158625 0 0
T3 201885 201725 0 0
T4 164076 163905 0 0
T5 117962 117794 0 0
T6 218140 217958 0 0
T7 121259 121084 0 0
T8 171260 171096 0 0
T9 126275 126114 0 0
T10 174401 174226 0 0

MsipKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1610447 1608760 0 0
T1 156404 156233 0 0
T2 158785 158625 0 0
T3 201885 201725 0 0
T4 164076 163905 0 0
T5 117962 117794 0 0
T6 218140 217958 0 0
T7 121259 121084 0 0
T8 171260 171096 0 0
T9 126275 126114 0 0
T10 174401 174226 0 0

TlAReadyKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1610447 1608760 0 0
T1 156404 156233 0 0
T2 158785 158625 0 0
T3 201885 201725 0 0
T4 164076 163905 0 0
T5 117962 117794 0 0
T6 218140 217958 0 0
T7 121259 121084 0 0
T8 171260 171096 0 0
T9 126275 126114 0 0
T10 174401 174226 0 0

TlDValidKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1610447 1608760 0 0
T1 156404 156233 0 0
T2 158785 158625 0 0
T3 201885 201725 0 0
T4 164076 163905 0 0
T5 117962 117794 0 0
T6 218140 217958 0 0
T7 121259 121084 0 0
T8 171260 171096 0 0
T9 126275 126114 0 0
T10 174401 174226 0 0

gen_irq_id_known[0].IrqIdKnownO_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 1610447 1608760 0 0
T1 156404 156233 0 0
T2 158785 158625 0 0
T3 201885 201725 0 0
T4 164076 163905 0 0
T5 117962 117794 0 0
T6 218140 217958 0 0
T7 121259 121084 0 0
T8 171260 171096 0 0
T9 126275 126114 0 0
T10 174401 174226 0 0

onehot0Claim
NameAttemptsReal SuccessesFailuresIncomplete
Total 1610447 1608760 0 0
T1 156404 156233 0 0
T2 158785 158625 0 0
T3 201885 201725 0 0
T4 164076 163905 0 0
T5 117962 117794 0 0
T6 218140 217958 0 0
T7 121259 121084 0 0
T8 171260 171096 0 0
T9 126275 126114 0 0
T10 174401 174226 0 0

onehot0Complete
NameAttemptsReal SuccessesFailuresIncomplete
Total 1610447 1608760 0 0
T1 156404 156233 0 0
T2 158785 158625 0 0
T3 201885 201725 0 0
T4 164076 163905 0 0
T5 117962 117794 0 0
T6 218140 217958 0 0
T7 121259 121084 0 0
T8 171260 171096 0 0
T9 126275 126114 0 0
T10 174401 174226 0 0

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