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

Line Coverage for Module : otp_ctrl_part_unbuf ( parameter Info=65616,DigestOffset=56,StateWidth=10 )
Line Coverage for Module self-instances :
SCORELINE
0.00 0.00
tb.dut.gen_partitions[0].gen_unbuffered.u_part_unbuf

Line No.TotalCoveredPercent
TOTAL9300.00
CONT_ASSIGN138100.00
ALWAYS153300.00
ALWAYS1646800.00
CONT_ASSIGN334100.00
CONT_ASSIGN336100.00
CONT_ASSIGN339100.00
CONT_ASSIGN349100.00
CONT_ASSIGN350100.00
CONT_ASSIGN354100.00
CONT_ASSIGN358100.00
CONT_ASSIGN395100.00
CONT_ASSIGN420100.00
CONT_ASSIGN454100.00
ALWAYS461300.00
ALWAYS464800.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_part_unbuf.sv' or '../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_part_unbuf.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
138 0 1
153 0 1
154 0 1
156 0 1
164 0 1
167 0 1
170 0 1
171 0 1
174 0 1
175 0 1
176 0 1
179 0 1
182 0 1
183 0 1
184 0 1
186 0 1
191 0 1
193 0 1
194 0 1
196 unreachable
==> MISSING_ELSE
205 0 1
206 0 1
207 0 1
==> MISSING_ELSE
215 0 1
216 0 1
217 0 1
218 0 1
220 0 1
221 0 1
==> MISSING_ELSE
224 0 1
225 0 1
==> MISSING_ELSE
233 0 1
234 0 1
235 0 1
236 0 1
237 0 1
==> MISSING_ELSE
246 0 1
248 0 1
249 0 1
250 0 1
251 0 1
252 0 1
==> MISSING_ELSE
255 0 1
256 0 1
257 0 1
258 0 1
266 0 1
267 0 1
268 0 1
269 0 1
270 0 1
272 0 1
273 0 1
==> MISSING_ELSE
276 0 1
277 0 1
279 0 1
==> MISSING_ELSE
288 0 1
289 0 1
==> MISSING_ELSE
293 0 1
294 0 1
295 0 1
296 0 1
297 0 1
298 0 1
==> MISSING_ELSE
314 0 1
315 0 1
316 0 1
317 0 1
==> MISSING_ELSE
==> MISSING_ELSE
321 0 1
322 0 1
323 0 1
324 0 1
325 0 1
==> MISSING_ELSE
==> MISSING_ELSE
334 0 1
336 0 1
339 0 1
349 0 1
350 0 1
354 0 1
358 0 1
395 0 1
420 0 1
454 0 1
461 0 3
464 0 1
465 0 1
466 0 1
467 0 1
469 0 1
470 0 1
471 0 1
472 0 1
==> MISSING_ELSE


Line Coverage for Module : otp_ctrl_part_unbuf ( parameter Info=134594644,DigestOffset=424,StateWidth=10 )
Line Coverage for Module self-instances :
SCORELINE
0.00 0.00
tb.dut.gen_partitions[1].gen_unbuffered.u_part_unbuf

Line No.TotalCoveredPercent
TOTAL9100.00
CONT_ASSIGN138100.00
CONT_ASSIGN149100.00
ALWAYS1646800.00
CONT_ASSIGN334100.00
CONT_ASSIGN336100.00
CONT_ASSIGN342100.00
CONT_ASSIGN349100.00
CONT_ASSIGN350100.00
CONT_ASSIGN354100.00
CONT_ASSIGN358100.00
CONT_ASSIGN395100.00
CONT_ASSIGN420100.00
CONT_ASSIGN454100.00
ALWAYS461300.00
ALWAYS464800.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_part_unbuf.sv' or '../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_part_unbuf.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
138 0 1
149 0 1
164 0 1
167 0 1
170 0 1
171 0 1
174 0 1
175 0 1
176 0 1
179 0 1
182 0 1
183 0 1
184 0 1
186 0 1
191 0 1
193 0 1
194 0 1
196 unreachable
==> MISSING_ELSE
205 0 1
206 0 1
207 0 1
==> MISSING_ELSE
215 0 1
216 0 1
217 0 1
218 0 1
220 0 1
221 0 1
==> MISSING_ELSE
224 0 1
225 0 1
==> MISSING_ELSE
233 0 1
234 0 1
235 0 1
236 0 1
237 0 1
==> MISSING_ELSE
246 0 1
248 0 1
249 0 1
250 0 1
251 0 1
252 0 1
==> MISSING_ELSE
255 0 1
256 0 1
257 0 1
258 0 1
266 0 1
267 0 1
268 0 1
269 0 1
270 0 1
272 0 1
273 0 1
==> MISSING_ELSE
276 0 1
277 0 1
279 0 1
==> MISSING_ELSE
288 0 1
289 0 1
==> MISSING_ELSE
293 0 1
294 0 1
295 0 1
296 0 1
297 0 1
298 0 1
==> MISSING_ELSE
314 0 1
315 0 1
316 0 1
317 0 1
==> MISSING_ELSE
==> MISSING_ELSE
321 0 1
322 0 1
323 0 1
324 0 1
325 0 1
==> MISSING_ELSE
==> MISSING_ELSE
334 0 1
336 0 1
342 0 1
349 0 1
350 0 1
354 0 1
358 0 1
395 0 1
420 0 1
454 0 1
461 0 3
464 0 1
465 0 1
466 0 1
467 0 1
469 0 1
470 0 1
471 0 1
472 0 1
==> MISSING_ELSE


Line Coverage for Module : otp_ctrl_part_unbuf ( parameter Info=906698836,DigestOffset=1136,StateWidth=10 )
Line Coverage for Module self-instances :
SCORELINE
0.00 0.00
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf

Line No.TotalCoveredPercent
TOTAL9100.00
CONT_ASSIGN138100.00
CONT_ASSIGN149100.00
ALWAYS1646800.00
CONT_ASSIGN334100.00
CONT_ASSIGN336100.00
CONT_ASSIGN342100.00
CONT_ASSIGN349100.00
CONT_ASSIGN350100.00
CONT_ASSIGN354100.00
CONT_ASSIGN358100.00
CONT_ASSIGN395100.00
CONT_ASSIGN420100.00
CONT_ASSIGN454100.00
ALWAYS461300.00
ALWAYS464800.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_part_unbuf.sv' or '../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_part_unbuf.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
138 0 1
149 0 1
164 0 1
167 0 1
170 0 1
171 0 1
174 0 1
175 0 1
176 0 1
179 0 1
182 0 1
183 0 1
184 0 1
186 0 1
191 0 1
193 0 1
194 0 1
196 unreachable
==> MISSING_ELSE
205 0 1
206 0 1
207 0 1
==> MISSING_ELSE
215 0 1
216 0 1
217 0 1
218 0 1
220 0 1
221 0 1
==> MISSING_ELSE
224 0 1
225 0 1
==> MISSING_ELSE
233 0 1
234 0 1
235 0 1
236 0 1
237 0 1
==> MISSING_ELSE
246 0 1
248 0 1
249 0 1
250 0 1
251 0 1
252 0 1
==> MISSING_ELSE
255 0 1
256 0 1
257 0 1
258 0 1
266 0 1
267 0 1
268 0 1
269 0 1
270 0 1
272 0 1
273 0 1
==> MISSING_ELSE
276 0 1
277 0 1
279 0 1
==> MISSING_ELSE
288 0 1
289 0 1
==> MISSING_ELSE
293 0 1
294 0 1
295 0 1
296 0 1
297 0 1
298 0 1
==> MISSING_ELSE
314 0 1
315 0 1
316 0 1
317 0 1
==> MISSING_ELSE
==> MISSING_ELSE
321 0 1
322 0 1
323 0 1
324 0 1
325 0 1
==> MISSING_ELSE
==> MISSING_ELSE
334 0 1
336 0 1
342 0 1
349 0 1
350 0 1
354 0 1
358 0 1
395 0 1
420 0 1
454 0 1
461 0 3
464 0 1
465 0 1
466 0 1
467 0 1
469 0 1
470 0 1
471 0 1
472 0 1
==> MISSING_ELSE


Line Coverage for Module : otp_ctrl_part_unbuf ( parameter Info=-1,DigestOffset=1608,StateWidth=10 )
Line Coverage for Module self-instances :
SCORELINE
0.00 0.00
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf

Line No.TotalCoveredPercent
TOTAL9100.00
CONT_ASSIGN138100.00
CONT_ASSIGN149100.00
ALWAYS1646800.00
CONT_ASSIGN334100.00
CONT_ASSIGN336100.00
CONT_ASSIGN342100.00
CONT_ASSIGN349100.00
CONT_ASSIGN350100.00
CONT_ASSIGN354100.00
CONT_ASSIGN358100.00
CONT_ASSIGN395100.00
CONT_ASSIGN420100.00
CONT_ASSIGN454100.00
ALWAYS461300.00
ALWAYS464800.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_part_unbuf.sv' or '../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_part_unbuf.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
138 0 1
149 0 1
164 0 1
167 0 1
170 0 1
171 0 1
174 0 1
175 0 1
176 0 1
179 0 1
182 0 1
183 0 1
184 0 1
186 0 1
191 0 1
193 0 1
194 0 1
196 unreachable
==> MISSING_ELSE
205 0 1
206 0 1
207 0 1
==> MISSING_ELSE
215 0 1
216 0 1
217 0 1
218 0 1
220 0 1
221 0 1
==> MISSING_ELSE
224 0 1
225 0 1
==> MISSING_ELSE
233 0 1
234 0 1
235 0 1
236 0 1
237 0 1
==> MISSING_ELSE
246 0 1
248 0 1
249 0 1
250 0 1
251 0 1
252 0 1
==> MISSING_ELSE
255 0 1
256 0 1
257 0 1
258 0 1
266 0 1
267 0 1
268 0 1
269 0 1
270 0 1
272 0 1
273 0 1
==> MISSING_ELSE
276 0 1
277 0 1
279 0 1
==> MISSING_ELSE
288 0 1
289 0 1
==> MISSING_ELSE
293 0 1
294 0 1
295 0 1
296 0 1
297 0 1
298 0 1
==> MISSING_ELSE
314 0 1
315 0 1
316 0 1
317 0 1
==> MISSING_ELSE
==> MISSING_ELSE
321 0 1
322 0 1
323 0 1
324 0 1
325 0 1
==> MISSING_ELSE
==> MISSING_ELSE
334 0 1
336 0 1
342 0 1
349 0 1
350 0 1
354 0 1
358 0 1
395 0 1
420 0 1
454 0 1
461 0 3
464 0 1
465 0 1
466 0 1
467 0 1
469 0 1
470 0 1
471 0 1
472 0 1
==> MISSING_ELSE


Line Coverage for Module : otp_ctrl_part_unbuf ( parameter Info=-1,DigestOffset=1648,StateWidth=10 )
Line Coverage for Module self-instances :
SCORELINE
0.00 0.00
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf

Line No.TotalCoveredPercent
TOTAL9100.00
CONT_ASSIGN138100.00
CONT_ASSIGN149100.00
ALWAYS1646800.00
CONT_ASSIGN334100.00
CONT_ASSIGN336100.00
CONT_ASSIGN342100.00
CONT_ASSIGN349100.00
CONT_ASSIGN350100.00
CONT_ASSIGN354100.00
CONT_ASSIGN358100.00
CONT_ASSIGN395100.00
CONT_ASSIGN420100.00
CONT_ASSIGN454100.00
ALWAYS461300.00
ALWAYS464800.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_part_unbuf.sv' or '../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_part_unbuf.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
138 0 1
149 0 1
164 0 1
167 0 1
170 0 1
171 0 1
174 0 1
175 0 1
176 0 1
179 0 1
182 0 1
183 0 1
184 0 1
186 0 1
191 0 1
193 0 1
194 0 1
196 unreachable
==> MISSING_ELSE
205 0 1
206 0 1
207 0 1
==> MISSING_ELSE
215 0 1
216 0 1
217 0 1
218 0 1
220 0 1
221 0 1
==> MISSING_ELSE
224 0 1
225 0 1
==> MISSING_ELSE
233 0 1
234 0 1
235 0 1
236 0 1
237 0 1
==> MISSING_ELSE
246 0 1
248 0 1
249 0 1
250 0 1
251 0 1
252 0 1
==> MISSING_ELSE
255 0 1
256 0 1
257 0 1
258 0 1
266 0 1
267 0 1
268 0 1
269 0 1
270 0 1
272 0 1
273 0 1
==> MISSING_ELSE
276 0 1
277 0 1
279 0 1
==> MISSING_ELSE
288 0 1
289 0 1
==> MISSING_ELSE
293 0 1
294 0 1
295 0 1
296 0 1
297 0 1
298 0 1
==> MISSING_ELSE
314 0 1
315 0 1
316 0 1
317 0 1
==> MISSING_ELSE
==> MISSING_ELSE
321 0 1
322 0 1
323 0 1
324 0 1
325 0 1
==> MISSING_ELSE
==> MISSING_ELSE
334 0 1
336 0 1
342 0 1
349 0 1
350 0 1
354 0 1
358 0 1
395 0 1
420 0 1
454 0 1
461 0 3
464 0 1
465 0 1
466 0 1
467 0 1
469 0 1
470 0 1
471 0 1
472 0 1
==> MISSING_ELSE


Cond Coverage for Module : otp_ctrl_part_unbuf ( parameter Info=-1,DigestOffset=1608,StateWidth=10 )
Cond Coverage for Module self-instances :
SCORECOND
0.00 0.00
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf

TotalCoveredPercent
Conditions3400.00
Logical3400.00
Non-Logical00
Event00

 LINE       220
 EXPRESSION (otp_err != NoError)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       272
 EXPRESSION (otp_err != NoError)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       288
 EXPRESSION (error_q == NoError)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       316
 EXPRESSION (state_q != ErrorSt)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       324
 EXPRESSION (state_q != ErrorSt)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       336
 EXPRESSION ((tlul_rvalid_o && (tlul_rerror_o == '0)) ? otp_rdata_i[31:0] : '0)
             --------------------1-------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       336
 SUB-EXPRESSION (tlul_rvalid_o && (tlul_rerror_o == '0))
                 ------1------    ----------2----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       336
 SUB-EXPRESSION (tlul_rerror_o == '0)
                ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       342
 EXPRESSION (({tlul_addr_q, 2'b0} >= 11'b10001111000) && ({1'b0, tlul_addr_q, 2'b0} < PartEnd))
             --------------------1-------------------    ------------------2------------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       349
 EXPRESSION ((otp_addr_sel == DigestAddrSel) ? DigestOffset : ({tlul_addr_q, 2'b0}))
             ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       349
 SUB-EXPRESSION (otp_addr_sel == DigestAddrSel)
                ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       358
 EXPRESSION 
 Number  Term
      1  (otp_addr_sel == DigestAddrSel) ? (2'((unsigned'(((otp_ctrl_pkg::ScrmblBlockWidth / otp_ctrl_pkg::OtpWidth) - 1))))) : (2'((unsigned'(((32 / otp_ctrl_pkg::OtpWidth) - 1))))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       358
 SUB-EXPRESSION (otp_addr_sel == DigestAddrSel)
                ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       395
 EXPRESSION (((~init_done_o)) ? MuBi8True : MuBi8False)
             --------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       420
 EXPRESSION ((digest_o != '0) ? MuBi8True : MuBi8False)
             --------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       420
 SUB-EXPRESSION (digest_o != '0)
                --------1-------
-1-StatusTests
0Not Covered
1Not Covered

Cond Coverage for Module : otp_ctrl_part_unbuf ( parameter Info=65616,DigestOffset=56,StateWidth=10 )
Cond Coverage for Module self-instances :
SCORECOND
0.00 0.00
tb.dut.gen_partitions[0].gen_unbuffered.u_part_unbuf

TotalCoveredPercent
Conditions3100.00
Logical3100.00
Non-Logical00
Event00

 LINE       220
 EXPRESSION (otp_err != NoError)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       272
 EXPRESSION (otp_err != NoError)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       288
 EXPRESSION (error_q == NoError)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       316
 EXPRESSION (state_q != ErrorSt)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       324
 EXPRESSION (state_q != ErrorSt)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       336
 EXPRESSION ((tlul_rvalid_o && (tlul_rerror_o == '0)) ? otp_rdata_i[31:0] : '0)
             --------------------1-------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       336
 SUB-EXPRESSION (tlul_rvalid_o && (tlul_rerror_o == '0))
                 ------1------    ----------2----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       336
 SUB-EXPRESSION (tlul_rerror_o == '0)
                ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       349
 EXPRESSION ((otp_addr_sel == DigestAddrSel) ? DigestOffset : ({tlul_addr_q, 2'b0}))
             ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       349
 SUB-EXPRESSION (otp_addr_sel == DigestAddrSel)
                ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       358
 EXPRESSION 
 Number  Term
      1  (otp_addr_sel == DigestAddrSel) ? (2'((unsigned'(((otp_ctrl_pkg::ScrmblBlockWidth / otp_ctrl_pkg::OtpWidth) - 1))))) : (2'((unsigned'(((32 / otp_ctrl_pkg::OtpWidth) - 1))))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       358
 SUB-EXPRESSION (otp_addr_sel == DigestAddrSel)
                ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       395
 EXPRESSION (((~init_done_o)) ? MuBi8True : MuBi8False)
             --------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       420
 EXPRESSION ((digest_o != '0) ? MuBi8True : MuBi8False)
             --------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       420
 SUB-EXPRESSION (digest_o != '0)
                --------1-------
-1-StatusTests
0Not Covered
1Not Covered

Cond Coverage for Module : otp_ctrl_part_unbuf ( parameter Info=134594644,DigestOffset=424,StateWidth=10 )
Cond Coverage for Module self-instances :
SCORECOND
0.00 0.00
tb.dut.gen_partitions[1].gen_unbuffered.u_part_unbuf

TotalCoveredPercent
Conditions3400.00
Logical3400.00
Non-Logical00
Event00

 LINE       220
 EXPRESSION (otp_err != NoError)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       272
 EXPRESSION (otp_err != NoError)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       288
 EXPRESSION (error_q == NoError)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       316
 EXPRESSION (state_q != ErrorSt)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       324
 EXPRESSION (state_q != ErrorSt)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       336
 EXPRESSION ((tlul_rvalid_o && (tlul_rerror_o == '0)) ? otp_rdata_i[31:0] : '0)
             --------------------1-------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       336
 SUB-EXPRESSION (tlul_rvalid_o && (tlul_rerror_o == '0))
                 ------1------    ----------2----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       336
 SUB-EXPRESSION (tlul_rerror_o == '0)
                ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       342
 EXPRESSION (({tlul_addr_q, 2'b0} >= 11'b00001000000) && ({1'b0, tlul_addr_q, 2'b0} < PartEnd))
             --------------------1-------------------    ------------------2------------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       349
 EXPRESSION ((otp_addr_sel == DigestAddrSel) ? DigestOffset : ({tlul_addr_q, 2'b0}))
             ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       349
 SUB-EXPRESSION (otp_addr_sel == DigestAddrSel)
                ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       358
 EXPRESSION 
 Number  Term
      1  (otp_addr_sel == DigestAddrSel) ? (2'((unsigned'(((otp_ctrl_pkg::ScrmblBlockWidth / otp_ctrl_pkg::OtpWidth) - 1))))) : (2'((unsigned'(((32 / otp_ctrl_pkg::OtpWidth) - 1))))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       358
 SUB-EXPRESSION (otp_addr_sel == DigestAddrSel)
                ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       395
 EXPRESSION (((~init_done_o)) ? MuBi8True : MuBi8False)
             --------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       420
 EXPRESSION ((digest_o != '0) ? MuBi8True : MuBi8False)
             --------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       420
 SUB-EXPRESSION (digest_o != '0)
                --------1-------
-1-StatusTests
0Not Covered
1Not Covered

Cond Coverage for Module : otp_ctrl_part_unbuf ( parameter Info=906698836,DigestOffset=1136,StateWidth=10 )
Cond Coverage for Module self-instances :
SCORECOND
0.00 0.00
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf

TotalCoveredPercent
Conditions3400.00
Logical3400.00
Non-Logical00
Event00

 LINE       220
 EXPRESSION (otp_err != NoError)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       272
 EXPRESSION (otp_err != NoError)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       288
 EXPRESSION (error_q == NoError)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       316
 EXPRESSION (state_q != ErrorSt)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       324
 EXPRESSION (state_q != ErrorSt)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       336
 EXPRESSION ((tlul_rvalid_o && (tlul_rerror_o == '0)) ? otp_rdata_i[31:0] : '0)
             --------------------1-------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       336
 SUB-EXPRESSION (tlul_rvalid_o && (tlul_rerror_o == '0))
                 ------1------    ----------2----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       336
 SUB-EXPRESSION (tlul_rerror_o == '0)
                ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       342
 EXPRESSION (({tlul_addr_q, 2'b0} >= 11'b00110110000) && ({1'b0, tlul_addr_q, 2'b0} < PartEnd))
             --------------------1-------------------    ------------------2------------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       349
 EXPRESSION ((otp_addr_sel == DigestAddrSel) ? DigestOffset : ({tlul_addr_q, 2'b0}))
             ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       349
 SUB-EXPRESSION (otp_addr_sel == DigestAddrSel)
                ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       358
 EXPRESSION 
 Number  Term
      1  (otp_addr_sel == DigestAddrSel) ? (2'((unsigned'(((otp_ctrl_pkg::ScrmblBlockWidth / otp_ctrl_pkg::OtpWidth) - 1))))) : (2'((unsigned'(((32 / otp_ctrl_pkg::OtpWidth) - 1))))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       358
 SUB-EXPRESSION (otp_addr_sel == DigestAddrSel)
                ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       395
 EXPRESSION (((~init_done_o)) ? MuBi8True : MuBi8False)
             --------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       420
 EXPRESSION ((digest_o != '0) ? MuBi8True : MuBi8False)
             --------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       420
 SUB-EXPRESSION (digest_o != '0)
                --------1-------
-1-StatusTests
0Not Covered
1Not Covered

Cond Coverage for Module : otp_ctrl_part_unbuf ( parameter Info=-1,DigestOffset=1648,StateWidth=10 )
Cond Coverage for Module self-instances :
SCORECOND
0.00 0.00
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf

TotalCoveredPercent
Conditions3400.00
Logical3400.00
Non-Logical00
Event00

 LINE       220
 EXPRESSION (otp_err != NoError)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       272
 EXPRESSION (otp_err != NoError)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       288
 EXPRESSION (error_q == NoError)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       316
 EXPRESSION (state_q != ErrorSt)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       324
 EXPRESSION (state_q != ErrorSt)
            ----------1---------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       336
 EXPRESSION ((tlul_rvalid_o && (tlul_rerror_o == '0)) ? otp_rdata_i[31:0] : '0)
             --------------------1-------------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       336
 SUB-EXPRESSION (tlul_rvalid_o && (tlul_rerror_o == '0))
                 ------1------    ----------2----------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       336
 SUB-EXPRESSION (tlul_rerror_o == '0)
                ----------1----------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       342
 EXPRESSION (({tlul_addr_q, 2'b0} >= 11'b11001010000) && ({1'b0, tlul_addr_q, 2'b0} < PartEnd))
             --------------------1-------------------    ------------------2------------------
-1--2-StatusTests
01Not Covered
10Not Covered
11Not Covered

 LINE       349
 EXPRESSION ((otp_addr_sel == DigestAddrSel) ? DigestOffset : ({tlul_addr_q, 2'b0}))
             ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       349
 SUB-EXPRESSION (otp_addr_sel == DigestAddrSel)
                ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       358
 EXPRESSION 
 Number  Term
      1  (otp_addr_sel == DigestAddrSel) ? (2'((unsigned'(((otp_ctrl_pkg::ScrmblBlockWidth / otp_ctrl_pkg::OtpWidth) - 1))))) : (2'((unsigned'(((32 / otp_ctrl_pkg::OtpWidth) - 1))))))
-1-StatusTests
0Not Covered
1Not Covered

 LINE       358
 SUB-EXPRESSION (otp_addr_sel == DigestAddrSel)
                ---------------1---------------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       395
 EXPRESSION (((~init_done_o)) ? MuBi8True : MuBi8False)
             --------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       420
 EXPRESSION ((digest_o != '0) ? MuBi8True : MuBi8False)
             --------1-------
-1-StatusTests
0Not Covered
1Not Covered

 LINE       420
 SUB-EXPRESSION (digest_o != '0)
                --------1-------
-1-StatusTests
0Not Covered
1Not Covered

FSM Coverage for Module : otp_ctrl_part_unbuf
Summary for FSM :: state_q
TotalCoveredPercent
States 7 0 0.00 (Not included in score)
Transitions 14 0 0.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: state_q
statesLine No.CoveredTests
ErrorSt 224 Not Covered
IdleSt 196 Not Covered
InitSt 194 Not Covered
InitWaitSt 207 Not Covered
ReadSt 236 Not Covered
ReadWaitSt 252 Not Covered
ResetSt 190 Not Covered


transitionsLine No.CoveredTests
IdleSt->ErrorSt 315 Not Covered
IdleSt->ReadSt 236 Not Covered
InitSt->ErrorSt 315 Not Covered
InitSt->InitWaitSt 207 Not Covered
InitWaitSt->ErrorSt 224 Not Covered
InitWaitSt->IdleSt 218 Not Covered
ReadSt->ErrorSt 315 Not Covered
ReadSt->IdleSt 255 Not Covered
ReadSt->ReadWaitSt 252 Not Covered
ReadWaitSt->ErrorSt 276 Not Covered
ReadWaitSt->IdleSt 270 Not Covered
ResetSt->ErrorSt 315 Not Covered
ResetSt->IdleSt 196 Not Covered
ResetSt->InitSt 194 Not Covered


Summary for FSM :: error_q
TotalCoveredPercent
States 5 0 0.00 (Not included in score)
Transitions 20 0 0.00
Sequences 0 0

State, Transition and Sequence Details for FSM :: error_q
statesLine No.CoveredTests
AccessError 256 Not Covered
CheckFailError 317 Not Covered
FsmStateError 289 Not Covered
MacroEccCorrError 221 Not Covered
NoError 235 Not Covered


transitionsLine No.CoveredTests
AccessError->CheckFailError 317 Not Covered
AccessError->FsmStateError 325 Not Covered
AccessError->MacroEccCorrError 221 Not Covered
AccessError->NoError 235 Not Covered
CheckFailError->AccessError 256 Not Covered
CheckFailError->FsmStateError 325 Not Covered
CheckFailError->MacroEccCorrError 221 Not Covered
CheckFailError->NoError 235 Not Covered
FsmStateError->AccessError 256 Not Covered
FsmStateError->CheckFailError 317 Not Covered
FsmStateError->MacroEccCorrError 221 Not Covered
FsmStateError->NoError 235 Not Covered
MacroEccCorrError->AccessError 256 Not Covered
MacroEccCorrError->CheckFailError 317 Not Covered
MacroEccCorrError->FsmStateError 325 Not Covered
MacroEccCorrError->NoError 235 Not Covered
NoError->AccessError 256 Not Covered
NoError->CheckFailError 317 Not Covered
NoError->FsmStateError 289 Not Covered
NoError->MacroEccCorrError 221 Not Covered



Branch Coverage for Module : otp_ctrl_part_unbuf ( parameter Info=65616,DigestOffset=56,StateWidth=10 )
Branch Coverage for Module self-instances :
SCOREBRANCH
0.00 0.00
tb.dut.gen_partitions[0].gen_unbuffered.u_part_unbuf

Line No.TotalCoveredPercent
Branches 46 0 0.00
TERNARY 336 2 0 0.00
TERNARY 349 2 0 0.00
TERNARY 358 2 0 0.00
TERNARY 395 2 0 0.00
TERNARY 420 2 0 0.00
CASE 186 23 0 0.00
IF 314 3 0 0.00
IF 321 3 0 0.00
IF 461 2 0 0.00
IF 464 3 0 0.00
IF 153 2 0 0.00

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

LineNo. Expression -1-: 336 ((tlul_rvalid_o && (tlul_rerror_o == '0))) ?

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


LineNo. Expression -1-: 349 ((otp_addr_sel == DigestAddrSel)) ?

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


LineNo. Expression -1-: 358 ((otp_addr_sel == DigestAddrSel)) ?

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


LineNo. Expression -1-: 395 ((~init_done_o)) ?

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


LineNo. Expression -1-: 420 ((digest_o != '0)) ?

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


LineNo. Expression -1-: 186 case (state_q) -2-: 191 if (init_req_i) -3-: 193 if (1'b1) -4-: 206 if (otp_gnt_i) -5-: 215 if (otp_rvalid_i) -6-: 217 if ((otp_err inside {NoError, MacroEccCorrError})) -7-: 220 if ((otp_err != NoError)) -8-: 234 if (tlul_req_i) -9-: 248 if ((tlul_addr_in_range && prim_mubi_pkg::mubi8_test_false_strict(access_o.read_lock))) -10-: 251 if (otp_gnt_i) -11-: 267 if (otp_rvalid_i) -12-: 269 if ((otp_err inside {NoError, MacroEccCorrError})) -13-: 272 if ((otp_err != NoError)) -14-: 288 if ((error_q == NoError)) -15-: 293 if (pending_tlul_error_q) -16-: 296 if (tlul_req_i)

Branches:
-1--2--3--4--5--6--7--8--9--10--11--12--13--14--15--16-StatusTests
ResetSt 1 1 - - - - - - - - - - - - - Not Covered
ResetSt 1 0 - - - - - - - - - - - - - Unreachable
ResetSt 0 - - - - - - - - - - - - - - Not Covered
InitSt - - 1 - - - - - - - - - - - - Not Covered
InitSt - - 0 - - - - - - - - - - - - Not Covered
InitWaitSt - - - 1 1 1 - - - - - - - - - Not Covered
InitWaitSt - - - 1 1 0 - - - - - - - - - Not Covered
InitWaitSt - - - 1 0 - - - - - - - - - - Not Covered
InitWaitSt - - - 0 - - - - - - - - - - - Not Covered
IdleSt - - - - - - 1 - - - - - - - - Not Covered
IdleSt - - - - - - 0 - - - - - - - - Not Covered
ReadSt - - - - - - - 1 1 - - - - - - Not Covered
ReadSt - - - - - - - 1 0 - - - - - - Not Covered
ReadSt - - - - - - - 0 - - - - - - - Not Covered
ReadWaitSt - - - - - - - - - 1 1 1 - - - Not Covered
ReadWaitSt - - - - - - - - - 1 1 0 - - - Not Covered
ReadWaitSt - - - - - - - - - 1 0 - - - - Not Covered
ReadWaitSt - - - - - - - - - 0 - - - - - Not Covered
ErrorSt - - - - - - - - - - - - 1 - - Not Covered
ErrorSt - - - - - - - - - - - - 0 - - Not Covered
ErrorSt - - - - - - - - - - - - - 1 - Not Covered
ErrorSt - - - - - - - - - - - - - 0 1 Not Covered
ErrorSt - - - - - - - - - - - - - 0 0 Not Covered
default - - - - - - - - - - - - - - - Not Covered


LineNo. Expression -1-: 314 if (ecc_err) -2-: 316 if ((state_q != ErrorSt))

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


LineNo. Expression -1-: 321 if (lc_ctrl_pkg::lc_tx_test_true_loose(escalate_en_i)) -2-: 324 if ((state_q != ErrorSt))

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


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

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


LineNo. Expression -1-: 464 if ((!rst_ni)) -2-: 471 if (tlul_gnt_o)

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


LineNo. Expression -1-: 153 if ((otp_err_e'(otp_err_i) inside {MacroEccCorrError, MacroEccUncorrError}))

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


Branch Coverage for Module : otp_ctrl_part_unbuf ( parameter Info=134594644,DigestOffset=424,StateWidth=10 + Info=906698836,DigestOffset=1136,StateWidth=10 + Info=-1,DigestOffset=1608,StateWidth=10 + Info=-1,DigestOffset=1648,StateWidth=10 )
Branch Coverage for Module self-instances :
SCOREBRANCH
0.00 0.00
tb.dut.gen_partitions[1].gen_unbuffered.u_part_unbuf

SCOREBRANCH
0.00 0.00
tb.dut.gen_partitions[2].gen_unbuffered.u_part_unbuf

SCOREBRANCH
0.00 0.00
tb.dut.gen_partitions[3].gen_unbuffered.u_part_unbuf

SCOREBRANCH
0.00 0.00
tb.dut.gen_partitions[4].gen_unbuffered.u_part_unbuf

Line No.TotalCoveredPercent
Branches 44 0 0.00
TERNARY 336 2 0 0.00
TERNARY 349 2 0 0.00
TERNARY 358 2 0 0.00
TERNARY 395 2 0 0.00
TERNARY 420 2 0 0.00
CASE 186 23 0 0.00
IF 314 3 0 0.00
IF 321 3 0 0.00
IF 461 2 0 0.00
IF 464 3 0 0.00

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

LineNo. Expression -1-: 336 ((tlul_rvalid_o && (tlul_rerror_o == '0))) ?

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


LineNo. Expression -1-: 349 ((otp_addr_sel == DigestAddrSel)) ?

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


LineNo. Expression -1-: 358 ((otp_addr_sel == DigestAddrSel)) ?

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


LineNo. Expression -1-: 395 ((~init_done_o)) ?

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


LineNo. Expression -1-: 420 ((digest_o != '0)) ?

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


LineNo. Expression -1-: 186 case (state_q) -2-: 191 if (init_req_i) -3-: 193 if (1'b1) -4-: 206 if (otp_gnt_i) -5-: 215 if (otp_rvalid_i) -6-: 217 if ((otp_err inside {NoError, MacroEccCorrError})) -7-: 220 if ((otp_err != NoError)) -8-: 234 if (tlul_req_i) -9-: 248 if ((tlul_addr_in_range && prim_mubi_pkg::mubi8_test_false_strict(access_o.read_lock))) -10-: 251 if (otp_gnt_i) -11-: 267 if (otp_rvalid_i) -12-: 269 if ((otp_err inside {NoError, MacroEccCorrError})) -13-: 272 if ((otp_err != NoError)) -14-: 288 if ((error_q == NoError)) -15-: 293 if (pending_tlul_error_q) -16-: 296 if (tlul_req_i)

Branches:
-1--2--3--4--5--6--7--8--9--10--11--12--13--14--15--16-StatusTests
ResetSt 1 1 - - - - - - - - - - - - - Not Covered
ResetSt 1 0 - - - - - - - - - - - - - Unreachable
ResetSt 0 - - - - - - - - - - - - - - Not Covered
InitSt - - 1 - - - - - - - - - - - - Not Covered
InitSt - - 0 - - - - - - - - - - - - Not Covered
InitWaitSt - - - 1 1 1 - - - - - - - - - Not Covered
InitWaitSt - - - 1 1 0 - - - - - - - - - Not Covered
InitWaitSt - - - 1 0 - - - - - - - - - - Not Covered
InitWaitSt - - - 0 - - - - - - - - - - - Not Covered
IdleSt - - - - - - 1 - - - - - - - - Not Covered
IdleSt - - - - - - 0 - - - - - - - - Not Covered
ReadSt - - - - - - - 1 1 - - - - - - Not Covered
ReadSt - - - - - - - 1 0 - - - - - - Not Covered
ReadSt - - - - - - - 0 - - - - - - - Not Covered
ReadWaitSt - - - - - - - - - 1 1 1 - - - Not Covered
ReadWaitSt - - - - - - - - - 1 1 0 - - - Not Covered
ReadWaitSt - - - - - - - - - 1 0 - - - - Not Covered
ReadWaitSt - - - - - - - - - 0 - - - - - Not Covered
ErrorSt - - - - - - - - - - - - 1 - - Not Covered
ErrorSt - - - - - - - - - - - - 0 - - Not Covered
ErrorSt - - - - - - - - - - - - - 1 - Not Covered
ErrorSt - - - - - - - - - - - - - 0 1 Not Covered
ErrorSt - - - - - - - - - - - - - 0 0 Not Covered
default - - - - - - - - - - - - - - - Not Covered


LineNo. Expression -1-: 314 if (ecc_err) -2-: 316 if ((state_q != ErrorSt))

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


LineNo. Expression -1-: 321 if (lc_ctrl_pkg::lc_tx_test_true_loose(escalate_en_i)) -2-: 324 if ((state_q != ErrorSt))

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


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

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


LineNo. Expression -1-: 464 if ((!rst_ni)) -2-: 471 if (tlul_gnt_o)

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

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