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

Module : otp_ctrl_prim_reg_top
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.26 100.00 97.03 100.00 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_prim_reg_top_1.0/rtl/otp_ctrl_prim_reg_top.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_otp.gen_generic.u_impl_generic.u_reg_top 99.26 100.00 97.03 100.00 100.00



Module Instance : tb.dut.u_otp.gen_generic.u_impl_generic.u_reg_top

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.26 100.00 97.03 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
93.10 89.51 92.94 93.24 89.82 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
97.39 96.91 95.45 100.00 94.59 100.00 gen_generic.u_impl_generic


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_chk 97.62 100.00 92.86 100.00
u_csr0_field0 100.00 100.00 100.00 100.00
u_csr0_field1 100.00 100.00 100.00 100.00
u_csr0_field2 100.00 100.00 100.00 100.00
u_csr0_field3 100.00 100.00 100.00 100.00
u_csr0_field4 100.00 100.00 100.00 100.00
u_csr1_field0 100.00 100.00 100.00 100.00
u_csr1_field1 100.00 100.00 100.00 100.00
u_csr1_field2 100.00 100.00 100.00 100.00
u_csr1_field3 100.00 100.00 100.00 100.00
u_csr1_field4 100.00 100.00 100.00 100.00
u_csr2 100.00 100.00 100.00 100.00
u_csr3_field0 93.33 100.00 80.00 100.00
u_csr3_field1 93.33 100.00 80.00 100.00
u_csr3_field2 88.89 100.00 66.67 100.00
u_csr3_field3 55.19 55.56 50.00 60.00
u_csr3_field4 55.19 55.56 50.00 60.00
u_csr3_field5 55.19 55.56 50.00 60.00
u_csr3_field6 55.19 55.56 50.00 60.00
u_csr3_field7 55.19 55.56 50.00 60.00
u_csr3_field8 55.19 55.56 50.00 60.00
u_csr4_field0 100.00 100.00 100.00 100.00
u_csr4_field1 100.00 100.00 100.00 100.00
u_csr4_field2 100.00 100.00 100.00 100.00
u_csr4_field3 100.00 100.00 100.00 100.00
u_csr5_field0 96.30 100.00 88.89 100.00
u_csr5_field1 96.30 100.00 88.89 100.00
u_csr5_field2 55.19 55.56 50.00 60.00
u_csr5_field3 55.19 55.56 50.00 60.00
u_csr5_field4 55.19 55.56 50.00 60.00
u_csr5_field5 55.19 55.56 50.00 60.00
u_csr5_field6 96.30 100.00 88.89 100.00
u_csr6_field0 100.00 100.00 100.00 100.00
u_csr6_field1 100.00 100.00 100.00 100.00
u_csr6_field2 100.00 100.00 100.00 100.00
u_csr6_field3 100.00 100.00 100.00 100.00
u_csr7_field0 55.19 55.56 50.00 60.00
u_csr7_field1 55.19 55.56 50.00 60.00
u_csr7_field2 55.19 55.56 50.00 60.00
u_csr7_field3 55.19 55.56 50.00 60.00
u_prim_reg_we_check 100.00 100.00 100.00
u_reg_if 98.36 97.14 96.30 100.00 100.00
u_rsp_intg_gen 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 : otp_ctrl_prim_reg_top
Line No.TotalCoveredPercent
TOTAL104104100.00
ALWAYS7144100.00
CONT_ASSIGN8011100.00
CONT_ASSIGN9211100.00
CONT_ASSIGN9311100.00
CONT_ASSIGN12111100.00
CONT_ASSIGN12211100.00
ALWAYS127199100.00
CONT_ASSIGN128211100.00
ALWAYS128611100.00
CONT_ASSIGN129811100.00
CONT_ASSIGN130011100.00
CONT_ASSIGN130211100.00
CONT_ASSIGN130411100.00
CONT_ASSIGN130611100.00
CONT_ASSIGN130811100.00
CONT_ASSIGN130911100.00
CONT_ASSIGN131111100.00
CONT_ASSIGN131311100.00
CONT_ASSIGN131511100.00
CONT_ASSIGN131711100.00
CONT_ASSIGN131911100.00
CONT_ASSIGN132011100.00
CONT_ASSIGN132211100.00
CONT_ASSIGN132311100.00
CONT_ASSIGN132511100.00
CONT_ASSIGN132711100.00
CONT_ASSIGN132911100.00
CONT_ASSIGN133011100.00
CONT_ASSIGN133211100.00
CONT_ASSIGN133411100.00
CONT_ASSIGN133611100.00
CONT_ASSIGN133811100.00
CONT_ASSIGN133911100.00
CONT_ASSIGN134111100.00
CONT_ASSIGN134311100.00
CONT_ASSIGN134511100.00
CONT_ASSIGN134611100.00
CONT_ASSIGN134811100.00
CONT_ASSIGN135011100.00
CONT_ASSIGN135211100.00
CONT_ASSIGN135411100.00
ALWAYS135899100.00
ALWAYS13714141100.00
CONT_ASSIGN144700
CONT_ASSIGN145511100.00
CONT_ASSIGN145611100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_prim_reg_top_1.0/rtl/otp_ctrl_prim_reg_top.sv' or '../src/lowrisc_ip_otp_ctrl_prim_reg_top_1.0/rtl/otp_ctrl_prim_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
71 1 1
72 1 1
73 1 1
74 1 1
MISSING_ELSE
80 1 1
92 1 1
93 1 1
121 1 1
122 1 1
1271 1 1
1272 1 1
1273 1 1
1274 1 1
1275 1 1
1276 1 1
1277 1 1
1278 1 1
1279 1 1
1282 1 1
1286 1 1
1298 1 1
1300 1 1
1302 1 1
1304 1 1
1306 1 1
1308 1 1
1309 1 1
1311 1 1
1313 1 1
1315 1 1
1317 1 1
1319 1 1
1320 1 1
1322 1 1
1323 1 1
1325 1 1
1327 1 1
1329 1 1
1330 1 1
1332 1 1
1334 1 1
1336 1 1
1338 1 1
1339 1 1
1341 1 1
1343 1 1
1345 1 1
1346 1 1
1348 1 1
1350 1 1
1352 1 1
1354 1 1
1358 1 1
1359 1 1
1360 1 1
1361 1 1
1362 1 1
1363 1 1
1364 1 1
1365 1 1
1366 1 1
1371 1 1
1372 1 1
1374 1 1
1375 1 1
1376 1 1
1377 1 1
1378 1 1
1382 1 1
1383 1 1
1384 1 1
1385 1 1
1386 1 1
1390 1 1
1394 1 1
1395 1 1
1396 1 1
1397 1 1
1398 1 1
1399 1 1
1400 1 1
1401 1 1
1402 1 1
1406 1 1
1407 1 1
1408 1 1
1409 1 1
1413 1 1
1414 1 1
1415 1 1
1416 1 1
1417 1 1
1418 1 1
1419 1 1
1423 1 1
1424 1 1
1425 1 1
1426 1 1
1430 1 1
1431 1 1
1432 1 1
1433 1 1
1447 unreachable
1455 1 1
1456 1 1


Cond Coverage for Module : otp_ctrl_prim_reg_top
TotalCoveredPercent
Conditions1019897.03
Logical1019897.03
Non-Logical00
Event00

 LINE       61
 EXPRESSION (reg_we && ((!addrmiss)))
             ---1--    ------2------
-1--2-StatusTests
01CoveredT29,T81,T1
10Not Covered
11CoveredT81,T1,T12

 LINE       73
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
-1--2-StatusTests
00CoveredT29,T81,T1
01CoveredT18,T27,T28
10CoveredT2,T4,T8

 LINE       80
 EXPRESSION (err_q | intg_err | reg_we_err)
             --1--   ----2---   -----3----
-1--2--3-StatusTests
000CoveredT29,T81,T1
001CoveredT18,T27,T28
010CoveredT2,T4,T8
100CoveredT2,T4,T8

 LINE       122
 EXPRESSION ((devmode_i & addrmiss) | wr_err | intg_err)
             -----------1----------   ---2--   ----3---
-1--2--3-StatusTests
000CoveredT29,T81,T1
001CoveredT2,T4,T8
010CoveredT1,T3,T5
100Not Covered

 LINE       122
 SUB-EXPRESSION (devmode_i & addrmiss)
                 ----1----   ----2---
-1--2-StatusTests
01Unreachable
10CoveredT29,T81,T1
11Not Covered

 LINE       1272
 EXPRESSION (reg_addr == otp_ctrl_reg_pkg::OTP_CTRL_CSR0_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT29,T81,T1
1CoveredT29,T81,T1

 LINE       1273
 EXPRESSION (reg_addr == otp_ctrl_reg_pkg::OTP_CTRL_CSR1_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT29,T81,T1
1CoveredT81,T1,T12

 LINE       1274
 EXPRESSION (reg_addr == otp_ctrl_reg_pkg::OTP_CTRL_CSR2_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT29,T81,T1
1CoveredT81,T1,T12

 LINE       1275
 EXPRESSION (reg_addr == otp_ctrl_reg_pkg::OTP_CTRL_CSR3_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT29,T81,T1
1CoveredT81,T1,T12

 LINE       1276
 EXPRESSION (reg_addr == otp_ctrl_reg_pkg::OTP_CTRL_CSR4_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT29,T81,T1
1CoveredT81,T1,T12

 LINE       1277
 EXPRESSION (reg_addr == otp_ctrl_reg_pkg::OTP_CTRL_CSR5_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT29,T81,T1
1CoveredT81,T1,T12

 LINE       1278
 EXPRESSION (reg_addr == otp_ctrl_reg_pkg::OTP_CTRL_CSR6_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT29,T81,T1
1CoveredT81,T1,T12

 LINE       1279
 EXPRESSION (reg_addr == otp_ctrl_reg_pkg::OTP_CTRL_CSR7_OFFSET)
            --------------------------1-------------------------
-1-StatusTests
0CoveredT29,T81,T1
1CoveredT81,T1,T12

 LINE       1282
 EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
             ---------1--------
-1-StatusTests
0CoveredT29,T81,T1
1CoveredT81,T1,T12

 LINE       1282
 SUB-EXPRESSION (reg_re || reg_we)
                 ---1--    ---2--
-1--2-StatusTests
00CoveredT29,T81,T1
01CoveredT81,T1,T12
10CoveredT81,T12,T2

 LINE       1286
 EXPRESSION 
 Number  Term
      1  reg_we & 
      2  ((addr_hit[0] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[1] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | (addr_hit[3] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[4] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[5] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[7] & ((|(4'b0011 & (~reg_be)))))))
-1--2-StatusTests
01CoveredT29,T81,T1
10CoveredT81,T12,T2
11CoveredT1,T2,T3

 LINE       1286
 SUB-EXPRESSION 
 Number  Term
      1  (addr_hit[0] & ((|(4'b1111 & (~reg_be))))) | 
      2  (addr_hit[1] & ((|(4'b1111 & (~reg_be))))) | 
      3  (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | 
      4  (addr_hit[3] & ((|(4'b0111 & (~reg_be))))) | 
      5  (addr_hit[4] & ((|(4'b0011 & (~reg_be))))) | 
      6  (addr_hit[5] & ((|(4'b1111 & (~reg_be))))) | 
      7  (addr_hit[6] & ((|(4'b1111 & (~reg_be))))) | 
      8  (addr_hit[7] & ((|(4'b0011 & (~reg_be))))))
-1--2--3--4--5--6--7--8-StatusTests
00000000CoveredT81,T1,T12
00000001CoveredT81,T1,T12
00000010CoveredT81,T1,T12
00000100CoveredT81,T1,T12
00001000CoveredT81,T1,T12
00010000CoveredT81,T1,T12
00100000CoveredT81,T1,T12
01000000CoveredT81,T1,T12
10000000CoveredT29,T81,T1

 LINE       1286
 SUB-EXPRESSION (addr_hit[0] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT81,T1,T12
10CoveredT81,T1,T12
11CoveredT29,T81,T1

 LINE       1286
 SUB-EXPRESSION (addr_hit[1] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT29,T81,T1
10CoveredT81,T1,T12
11CoveredT81,T1,T12

 LINE       1286
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT29,T81,T1
10CoveredT81,T1,T12
11CoveredT81,T1,T12

 LINE       1286
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b0111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT29,T81,T1
10CoveredT81,T1,T12
11CoveredT81,T1,T12

 LINE       1286
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT29,T81,T1
10CoveredT81,T1,T12
11CoveredT81,T1,T12

 LINE       1286
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT29,T81,T1
10CoveredT81,T1,T12
11CoveredT81,T1,T12

 LINE       1286
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT29,T81,T1
10CoveredT81,T1,T12
11CoveredT81,T1,T12

 LINE       1286
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT29,T81,T1
10CoveredT81,T1,T12
11CoveredT81,T1,T12

 LINE       1298
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT81,T12,T2
101CoveredT29,T81,T1
110CoveredT5,T6,T10
111CoveredT81,T12,T2

 LINE       1309
 EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT81,T12,T2
101CoveredT81,T1,T12
110CoveredT23,T24,T25
111CoveredT81,T12,T2

 LINE       1320
 EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT81,T12,T2
101CoveredT81,T1,T12
110CoveredT5,T6,T10
111CoveredT81,T12,T2

 LINE       1323
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT81,T12,T2
101CoveredT81,T1,T12
110CoveredT1,T3,T7
111CoveredT81,T12,T2

 LINE       1330
 EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT81,T12,T2
101CoveredT81,T1,T12
110CoveredT2,T4,T8
111CoveredT81,T12,T2

 LINE       1339
 EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT81,T12,T2
101CoveredT81,T1,T12
110CoveredT23,T24,T25
111CoveredT81,T12,T2

 LINE       1346
 EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT81,T12,T2
101CoveredT81,T1,T12
110CoveredT23,T24,T25
111CoveredT81,T12,T2

Branch Coverage for Module : otp_ctrl_prim_reg_top
Line No.TotalCoveredPercent
Branches 14 14 100.00
TERNARY 1282 2 2 100.00
IF 71 3 3 100.00
CASE 1372 9 9 100.00

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

LineNo. Expression -1-: 1282 ((reg_re || reg_we)) ?

Branches:
-1-StatusTests
1 Covered T81,T1,T12
0 Covered T29,T81,T1


LineNo. Expression -1-: 71 if ((!rst_ni)) -2-: 73 if ((intg_err || reg_we_err))

Branches:
-1--2-StatusTests
1 - Covered T29,T81,T1
0 1 Covered T2,T4,T8
0 0 Covered T29,T81,T1


LineNo. Expression -1-: 1372 case (1'b1)

Branches:
-1-StatusTests
addr_hit[0] Covered T29,T81,T1
addr_hit[1] Covered T29,T81,T1
addr_hit[2] Covered T29,T81,T1
addr_hit[3] Covered T29,T81,T1
addr_hit[4] Covered T29,T81,T1
addr_hit[5] Covered T29,T81,T1
addr_hit[6] Covered T29,T81,T1
addr_hit[7] Covered T29,T81,T1
default Covered T29,T81,T1


Assert Coverage for Module : otp_ctrl_prim_reg_top
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 4 4 100.00 4 100.00
Cover properties 0 0 0
Cover sequences 0 0 0
Total 4 4 100.00 4 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
en2addrHit 1573118121 83260 0 0
reAfterRv 1573118121 83240 0 0
rePulse 1573118121 18080 0 0
wePulse 1573118121 65160 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 1573118121 83260 0 0
T1 7141 1 0 0
T2 64750 312 0 0
T3 7141 1 0 0
T4 0 312 0 0
T5 0 29 0 0
T6 0 29 0 0
T11 3821 0 0 0
T12 22545 1024 0 0
T13 3821 0 0 0
T14 3821 0 0 0
T15 3821 0 0 0
T16 7146 304 0 0
T81 7146 304 0 0
T100 0 26 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 1573118121 83240 0 0
T1 7141 1 0 0
T2 64750 312 0 0
T3 7141 1 0 0
T4 0 312 0 0
T5 0 28 0 0
T6 0 28 0 0
T11 3821 0 0 0
T12 22545 1024 0 0
T13 3821 0 0 0
T14 3821 0 0 0
T15 3821 0 0 0
T16 7146 304 0 0
T81 7146 304 0 0
T100 0 26 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 1573118121 18080 0 0
T1 7141 0 0 0
T2 64750 232 0 0
T3 7141 0 0 0
T4 0 232 0 0
T5 0 18 0 0
T6 0 18 0 0
T8 0 232 0 0
T9 0 232 0 0
T11 3821 0 0 0
T12 22545 512 0 0
T13 3821 0 0 0
T14 3821 0 0 0
T15 3821 0 0 0
T16 7146 296 0 0
T81 7146 296 0 0
T100 0 18 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 1573118121 65160 0 0
T1 7141 1 0 0
T2 64750 80 0 0
T3 7141 1 0 0
T4 0 80 0 0
T5 0 10 0 0
T6 0 10 0 0
T11 3821 0 0 0
T12 22545 512 0 0
T13 3821 0 0 0
T14 3821 0 0 0
T15 3821 0 0 0
T16 7146 8 0 0
T81 7146 8 0 0
T100 0 8 0 0

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