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



Module Instance : tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
98.94 99.31 95.82 100.00 99.56 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
80.00 80.00 gen_generic.u_impl_generic


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
u_chk 100.00 100.00 100.00 100.00
u_csr0_regwen 100.00 100.00 100.00 100.00
u_csr10 100.00 100.00 100.00 100.00
u_csr11 100.00 100.00 100.00 100.00
u_csr12 100.00 100.00 100.00 100.00
u_csr13_field0 100.00 100.00 100.00 100.00
u_csr13_field1 100.00 100.00 100.00 100.00
u_csr14_field0 100.00 100.00 100.00 100.00
u_csr14_field1 100.00 100.00 100.00 100.00
u_csr15_field0 100.00 100.00 100.00 100.00
u_csr15_field1 100.00 100.00 100.00 100.00
u_csr16_field0 100.00 100.00 100.00 100.00
u_csr16_field1 100.00 100.00 100.00 100.00
u_csr17_field0 100.00 100.00 100.00 100.00
u_csr17_field1 100.00 100.00 100.00 100.00
u_csr18 100.00 100.00 100.00 100.00
u_csr19 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_csr20_field0 88.89 100.00 66.67 100.00
u_csr20_field1 88.89 100.00 66.67 100.00
u_csr20_field2 55.19 55.56 50.00 60.00
u_csr2_field0 88.89 100.00 66.67 100.00
u_csr2_field1 88.89 100.00 66.67 100.00
u_csr2_field2 88.89 100.00 66.67 100.00
u_csr2_field3 96.30 100.00 88.89 100.00
u_csr2_field4 88.89 100.00 66.67 100.00
u_csr2_field5 88.89 100.00 66.67 100.00
u_csr2_field6 88.89 100.00 66.67 100.00
u_csr2_field7 96.30 100.00 88.89 100.00
u_csr3_field0 100.00 100.00 100.00 100.00
u_csr3_field1 100.00 100.00 100.00 100.00
u_csr3_field2 100.00 100.00 100.00 100.00
u_csr3_field3 100.00 100.00 100.00 100.00
u_csr3_field4 100.00 100.00 100.00 100.00
u_csr3_field5 100.00 100.00 100.00 100.00
u_csr3_field6 100.00 100.00 100.00 100.00
u_csr3_field7 100.00 100.00 100.00 100.00
u_csr3_field8 100.00 100.00 100.00 100.00
u_csr3_field9 100.00 100.00 100.00 100.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 100.00 100.00 100.00 100.00
u_csr5_field1 100.00 100.00 100.00 100.00
u_csr5_field2 100.00 100.00 100.00 100.00
u_csr5_field3 100.00 100.00 100.00 100.00
u_csr5_field4 100.00 100.00 100.00 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_csr6_field4 100.00 100.00 100.00 100.00
u_csr6_field5 100.00 100.00 100.00 100.00
u_csr6_field6 100.00 100.00 100.00 100.00
u_csr6_field7 100.00 100.00 100.00 100.00
u_csr6_field8 100.00 100.00 100.00 100.00
u_csr7_field0 100.00 100.00 100.00 100.00
u_csr7_field1 100.00 100.00 100.00 100.00
u_csr8 100.00 100.00 100.00 100.00
u_csr9 100.00 100.00 100.00 100.00
u_prim_reg_we_check 100.00 100.00 100.00
u_reg_if 98.67 97.14 97.53 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 : flash_ctrl_prim_reg_top
Line No.TotalCoveredPercent
TOTAL219219100.00
ALWAYS6844100.00
CONT_ASSIGN7711100.00
CONT_ASSIGN8911100.00
CONT_ASSIGN9011100.00
CONT_ASSIGN11811100.00
CONT_ASSIGN11911100.00
CONT_ASSIGN29911100.00
CONT_ASSIGN57611100.00
CONT_ASSIGN85111100.00
CONT_ASSIGN96411100.00
CONT_ASSIGN110411100.00
CONT_ASSIGN135211100.00
CONT_ASSIGN141111100.00
CONT_ASSIGN144211100.00
CONT_ASSIGN147311100.00
CONT_ASSIGN150411100.00
CONT_ASSIGN153511100.00
CONT_ASSIGN156611100.00
CONT_ASSIGN162511100.00
CONT_ASSIGN168411100.00
CONT_ASSIGN174311100.00
CONT_ASSIGN180211100.00
CONT_ASSIGN186111100.00
CONT_ASSIGN189211100.00
ALWAYS20062222100.00
CONT_ASSIGN203011100.00
ALWAYS203411100.00
CONT_ASSIGN205911100.00
CONT_ASSIGN206111100.00
CONT_ASSIGN206211100.00
CONT_ASSIGN206411100.00
CONT_ASSIGN206611100.00
CONT_ASSIGN206711100.00
CONT_ASSIGN206911100.00
CONT_ASSIGN207111100.00
CONT_ASSIGN207311100.00
CONT_ASSIGN207511100.00
CONT_ASSIGN207711100.00
CONT_ASSIGN207911100.00
CONT_ASSIGN208111100.00
CONT_ASSIGN208311100.00
CONT_ASSIGN208411100.00
CONT_ASSIGN208611100.00
CONT_ASSIGN208811100.00
CONT_ASSIGN209011100.00
CONT_ASSIGN209211100.00
CONT_ASSIGN209411100.00
CONT_ASSIGN209611100.00
CONT_ASSIGN209811100.00
CONT_ASSIGN210011100.00
CONT_ASSIGN210211100.00
CONT_ASSIGN210411100.00
CONT_ASSIGN210511100.00
CONT_ASSIGN210711100.00
CONT_ASSIGN210911100.00
CONT_ASSIGN211111100.00
CONT_ASSIGN211311100.00
CONT_ASSIGN211411100.00
CONT_ASSIGN211611100.00
CONT_ASSIGN211811100.00
CONT_ASSIGN212011100.00
CONT_ASSIGN212211100.00
CONT_ASSIGN212411100.00
CONT_ASSIGN212511100.00
CONT_ASSIGN212711100.00
CONT_ASSIGN212911100.00
CONT_ASSIGN213111100.00
CONT_ASSIGN213311100.00
CONT_ASSIGN213511100.00
CONT_ASSIGN213711100.00
CONT_ASSIGN213911100.00
CONT_ASSIGN214111100.00
CONT_ASSIGN214311100.00
CONT_ASSIGN214411100.00
CONT_ASSIGN214611100.00
CONT_ASSIGN214811100.00
CONT_ASSIGN214911100.00
CONT_ASSIGN215111100.00
CONT_ASSIGN215211100.00
CONT_ASSIGN215411100.00
CONT_ASSIGN215511100.00
CONT_ASSIGN215711100.00
CONT_ASSIGN215811100.00
CONT_ASSIGN216011100.00
CONT_ASSIGN216111100.00
CONT_ASSIGN216311100.00
CONT_ASSIGN216411100.00
CONT_ASSIGN216611100.00
CONT_ASSIGN216811100.00
CONT_ASSIGN216911100.00
CONT_ASSIGN217111100.00
CONT_ASSIGN217311100.00
CONT_ASSIGN217411100.00
CONT_ASSIGN217611100.00
CONT_ASSIGN217811100.00
CONT_ASSIGN217911100.00
CONT_ASSIGN218111100.00
CONT_ASSIGN218311100.00
CONT_ASSIGN218411100.00
CONT_ASSIGN218611100.00
CONT_ASSIGN218811100.00
CONT_ASSIGN218911100.00
CONT_ASSIGN219111100.00
CONT_ASSIGN219211100.00
CONT_ASSIGN219411100.00
CONT_ASSIGN219511100.00
CONT_ASSIGN219711100.00
CONT_ASSIGN219911100.00
ALWAYS22032222100.00
ALWAYS22296363100.00
CONT_ASSIGN236600
CONT_ASSIGN237411100.00
CONT_ASSIGN237511100.00

Click here to see the source line report.

Cond Coverage for Module : flash_ctrl_prim_reg_top
TotalCoveredPercent
Conditions287287100.00
Logical287287100.00
Non-Logical00
Event00

 LINE       58
 EXPRESSION (reg_we && ((!addrmiss)))
             ---1--    ------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT112,T113,T220
11CoveredT112,T79,T113

 LINE       70
 EXPRESSION (intg_err || reg_we_err)
             ----1---    -----2----
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT16,T17,T53
10CoveredT237,T238,T239

 LINE       77
 EXPRESSION (err_q | intg_err | reg_we_err)
             --1--   ----2---   -----3----
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT16,T17,T53
010CoveredT237,T238,T239
100CoveredT16,T17,T53

 LINE       119
 EXPRESSION (addrmiss | wr_err | intg_err)
             ----1---   ---2--   ----3---
-1--2--3-StatusTests
000CoveredT1,T2,T3
001CoveredT237,T238,T239
010CoveredT112,T113,T81
100CoveredT112,T113,T218

 LINE       299
 EXPRESSION (csr1_we & csr0_regwen_qs)
             ---1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT114,T233,T243
11CoveredT79,T81,T116

 LINE       576
 EXPRESSION (csr3_we & csr0_regwen_qs)
             ---1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT81,T116,T114
11CoveredT79,T114,T242

 LINE       851
 EXPRESSION (csr4_we & csr0_regwen_qs)
             ---1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT116,T233,T283
11CoveredT79,T81,T114

 LINE       964
 EXPRESSION (csr5_we & csr0_regwen_qs)
             ---1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT81,T114,T283
11CoveredT79,T116,T114

 LINE       1104
 EXPRESSION (csr6_we & csr0_regwen_qs)
             ---1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT116,T114,T226
11CoveredT79,T81,T114

 LINE       1352
 EXPRESSION (csr7_we & csr0_regwen_qs)
             ---1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT114,T226,T253
11CoveredT79,T81,T116

 LINE       1411
 EXPRESSION (csr8_we & csr0_regwen_qs)
             ---1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT226,T253,T291
11CoveredT79,T81,T116

 LINE       1442
 EXPRESSION (csr9_we & csr0_regwen_qs)
             ---1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT116,T114,T243
11CoveredT79,T81,T114

 LINE       1473
 EXPRESSION (csr10_we & csr0_regwen_qs)
             ----1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT116,T114,T233
11CoveredT79,T81,T114

 LINE       1504
 EXPRESSION (csr11_we & csr0_regwen_qs)
             ----1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT81,T116,T114
11CoveredT79,T114,T242

 LINE       1535
 EXPRESSION (csr12_we & csr0_regwen_qs)
             ----1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT81,T116,T114
11CoveredT79,T114,T242

 LINE       1566
 EXPRESSION (csr13_we & csr0_regwen_qs)
             ----1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT283,T226,T253
11CoveredT79,T81,T116

 LINE       1625
 EXPRESSION (csr14_we & csr0_regwen_qs)
             ----1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT114,T233,T283
11CoveredT79,T81,T116

 LINE       1684
 EXPRESSION (csr15_we & csr0_regwen_qs)
             ----1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT116,T114,T243
11CoveredT79,T81,T114

 LINE       1743
 EXPRESSION (csr16_we & csr0_regwen_qs)
             ----1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT116,T114,T233
11CoveredT79,T81,T114

 LINE       1802
 EXPRESSION (csr17_we & csr0_regwen_qs)
             ----1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT81,T116,T114
11CoveredT79,T114,T242

 LINE       1861
 EXPRESSION (csr18_we & csr0_regwen_qs)
             ----1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT81,T114,T233
11CoveredT79,T116,T114

 LINE       1892
 EXPRESSION (csr19_we & csr0_regwen_qs)
             ----1---   -------2------
-1--2-StatusTests
01CoveredT1,T2,T3
10CoveredT81,T116,T226
11CoveredT79,T114,T242

 LINE       2007
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR0_REGWEN_OFFSET)
            -------------------------------1-------------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT76,T105,T297

 LINE       2008
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR1_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT24,T105,T87

 LINE       2009
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR2_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT10,T277,T105

 LINE       2010
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR3_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT105,T11,T297

 LINE       2011
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR4_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT105,T31,T298

 LINE       2012
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR5_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT105,T197,T295

 LINE       2013
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR6_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT178,T105,T92

 LINE       2014
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR7_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT24,T105,T11

 LINE       2015
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR8_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT105,T162,T297

 LINE       2016
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR9_OFFSET)
            ----------------------------1---------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT10,T178,T296

 LINE       2017
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR10_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT105,T198,T299

 LINE       2018
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR11_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT277,T105,T87

 LINE       2019
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR12_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT105,T297,T202

 LINE       2020
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR13_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT77,T105,T122

 LINE       2021
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR14_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT10,T105,T297

 LINE       2022
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR15_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT105,T87,T297

 LINE       2023
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR16_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT105,T11,T300

 LINE       2024
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR17_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT13,T65,T52
1CoveredT3,T73,T10

 LINE       2025
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR18_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT105,T145,T297

 LINE       2026
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR19_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT3,T13,T65
1CoveredT52,T10,T38

 LINE       2027
 EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR20_OFFSET)
            ----------------------------1----------------------------
-1-StatusTests
0CoveredT3,T65,T52
1CoveredT13,T105,T122

 LINE       2030
 EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
             ---------1--------
-1-StatusTests
0CoveredT1,T2,T3
1CoveredT112,T79,T113

 LINE       2030
 SUB-EXPRESSION (reg_re || reg_we)
                 ---1--    ---2--
-1--2-StatusTests
00CoveredT1,T2,T3
01CoveredT112,T79,T113
10CoveredT79,T113,T81

 LINE       2034
 EXPRESSION 
 Number  Term
      1  reg_we & 
      2  ((addr_hit[0] & ((|(4'b1 & (~reg_be))))) | (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[4] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[5] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[7] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[9] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[10] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[11] & ((|(4'b1111 & (~reg_be))))) | (addr_hit[12] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[13] & ((|(4'b0111 & (~reg_be))))) | (addr_hit[14] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[15] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[16] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[17] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[18] & ((|(4'b1 & (~reg_be))))) | (addr_hit[19] & ((|(4'b1 & (~reg_be))))) | (addr_hit[20] & ((|(4'b1 & (~reg_be)))))))
-1--2-StatusTests
01CoveredT3,T52,T73
10CoveredT112,T79,T113
11CoveredT112,T113,T81

 LINE       2034
 SUB-EXPRESSION 
 Number  Term
      1  (addr_hit[0] & ((|(4'b1 & (~reg_be))))) | 
      2  (addr_hit[1] & ((|(4'b0011 & (~reg_be))))) | 
      3  (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | 
      4  (addr_hit[3] & ((|(4'b1111 & (~reg_be))))) | 
      5  (addr_hit[4] & ((|(4'b0011 & (~reg_be))))) | 
      6  (addr_hit[5] & ((|(4'b0111 & (~reg_be))))) | 
      7  (addr_hit[6] & ((|(4'b1111 & (~reg_be))))) | 
      8  (addr_hit[7] & ((|(4'b0111 & (~reg_be))))) | 
      9  (addr_hit[8] & ((|(4'b1111 & (~reg_be))))) | 
     10  (addr_hit[9] & ((|(4'b1111 & (~reg_be))))) | 
     11  (addr_hit[10] & ((|(4'b1111 & (~reg_be))))) | 
     12  (addr_hit[11] & ((|(4'b1111 & (~reg_be))))) | 
     13  (addr_hit[12] & ((|(4'b0011 & (~reg_be))))) | 
     14  (addr_hit[13] & ((|(4'b0111 & (~reg_be))))) | 
     15  (addr_hit[14] & ((|(4'b0011 & (~reg_be))))) | 
     16  (addr_hit[15] & ((|(4'b0011 & (~reg_be))))) | 
     17  (addr_hit[16] & ((|(4'b0011 & (~reg_be))))) | 
     18  (addr_hit[17] & ((|(4'b0011 & (~reg_be))))) | 
     19  (addr_hit[18] & ((|(4'b1 & (~reg_be))))) | 
     20  (addr_hit[19] & ((|(4'b1 & (~reg_be))))) | 
     21  (addr_hit[20] & ((|(4'b1 & (~reg_be))))))
Sensitive Expression == 1StatusTests
ALL ZEROSCoveredT13,T65,T41
21 (addr_hit[20] & ((|(4'...CoveredT105,T122,T301
20 (addr_hit[19] & ((|(4'...CoveredT52,T105,T297
19 (addr_hit[18] & ((|(4'...CoveredT297,T302,T69
18 (addr_hit[17] & ((|(4'...CoveredT3,T73,T38
17 (addr_hit[16] & ((|(4'...CoveredT105,T11,T300
16 (addr_hit[15] & ((|(4'...CoveredT105,T297,T95
15 (addr_hit[14] & ((|(4'...CoveredT10,T105,T160
14 (addr_hit[13] & ((|(4'...CoveredT77,T105,T122
13 (addr_hit[12] & ((|(4'...CoveredT105,T303,T297
12 (addr_hit[11] & ((|(4'...CoveredT277,T105,T297
11 (addr_hit[10] & ((|(4'...CoveredT105,T198,T299
10 (addr_hit[9] & ((|(4'b...CoveredT10,T178,T296
9 (addr_hit[8] & ((|(4'b...CoveredT105,T162,T297
8 (addr_hit[7] & ((|(4'b...CoveredT24,T105,T11
7 (addr_hit[6] & ((|(4'b...CoveredT178,T105,T92
6 (addr_hit[5] & ((|(4'b...CoveredT105,T197,T295
5 (addr_hit[4] & ((|(4'b...CoveredT298,T297,T304
4 (addr_hit[3] & ((|(4'b...CoveredT105,T11,T297
3 (addr_hit[2] & ((|(4'b...CoveredT277,T105,T297
2 (addr_hit[1] & ((|(4'b...CoveredT24,T105,T297
1 (addr_hit[0] & ((|(4'b...CoveredT76,T105,T297

 LINE       2034
 SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT3,T65,T52
10CoveredT76,T105,T297
11CoveredT76,T105,T297

 LINE       2034
 SUB-EXPRESSION (addr_hit[1] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT3,T65,T52
10CoveredT105,T87,T297
11CoveredT24,T105,T297

 LINE       2034
 SUB-EXPRESSION (addr_hit[2] & ((|(4'b1 & (~reg_be)))))
                 -----1-----   -----------2-----------
-1--2-StatusTests
01CoveredT3,T65,T52
10CoveredT10,T105,T297
11CoveredT277,T105,T297

 LINE       2034
 SUB-EXPRESSION (addr_hit[3] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT3,T13,T65
10CoveredT105,T297,T95
11CoveredT105,T11,T297

 LINE       2034
 SUB-EXPRESSION (addr_hit[4] & ((|(4'b0011 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT3,T65,T52
10CoveredT105,T31,T88
11CoveredT298,T297,T304

 LINE       2034
 SUB-EXPRESSION (addr_hit[5] & ((|(4'b0111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT3,T13,T65
10CoveredT297,T305,T306
11CoveredT105,T197,T295

 LINE       2034
 SUB-EXPRESSION (addr_hit[6] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT3,T13,T65
10CoveredT307,T308,T309
11CoveredT178,T105,T92

 LINE       2034
 SUB-EXPRESSION (addr_hit[7] & ((|(4'b0111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT3,T13,T65
10CoveredT297,T95,T307
11CoveredT24,T105,T11

 LINE       2034
 SUB-EXPRESSION (addr_hit[8] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT3,T13,T65
10CoveredT305,T308,T310
11CoveredT105,T162,T297

 LINE       2034
 SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
                 -----1-----   -------------2------------
-1--2-StatusTests
01CoveredT3,T13,T65
10CoveredT297,T306,T310
11CoveredT10,T178,T296

 LINE       2034
 SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT3,T13,T65
10CoveredT305,T306,T308
11CoveredT105,T198,T299

 LINE       2034
 SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT3,T13,T65
10CoveredT105,T87,T311
11CoveredT277,T105,T297

 LINE       2034
 SUB-EXPRESSION (addr_hit[12] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT3,T65,T52
10CoveredT105,T297,T202
11CoveredT105,T303,T297

 LINE       2034
 SUB-EXPRESSION (addr_hit[13] & ((|(4'b0111 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT3,T13,T65
10CoveredT312,T297,T307
11CoveredT77,T105,T122

 LINE       2034
 SUB-EXPRESSION (addr_hit[14] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT3,T65,T52
10CoveredT105,T297,T307
11CoveredT10,T105,T160

 LINE       2034
 SUB-EXPRESSION (addr_hit[15] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT3,T65,T52
10CoveredT87,T297,T313
11CoveredT105,T297,T95

 LINE       2034
 SUB-EXPRESSION (addr_hit[16] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT3,T65,T52
10CoveredT105,T11,T314
11CoveredT105,T11,T300

 LINE       2034
 SUB-EXPRESSION (addr_hit[17] & ((|(4'b0011 & (~reg_be)))))
                 ------1-----   -------------2------------
-1--2-StatusTests
01CoveredT65,T52,T42
10CoveredT10,T105,T88
11CoveredT3,T73,T38

 LINE       2034
 SUB-EXPRESSION (addr_hit[18] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT3,T65,T52
10CoveredT105,T145,T315
11CoveredT297,T302,T69

 LINE       2034
 SUB-EXPRESSION (addr_hit[19] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT3,T65,T73
10CoveredT10,T38,T105
11CoveredT52,T105,T297

 LINE       2034
 SUB-EXPRESSION (addr_hit[20] & ((|(4'b1 & (~reg_be)))))
                 ------1-----   -----------2-----------
-1--2-StatusTests
01CoveredT3,T65,T52
10CoveredT13,T105,T316
11CoveredT105,T122,T301

 LINE       2059
 EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT65,T10,T76
110CoveredT112,T114,T115
111CoveredT79,T81,T116

 LINE       2062
 EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT24,T105,T87
110CoveredT112,T113,T114
111CoveredT79,T81,T116

 LINE       2067
 EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT3,T25,T10
110CoveredT113,T220,T115
111CoveredT79,T81,T116

 LINE       2084
 EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT105,T11,T147
110CoveredT112,T220,T115
111CoveredT79,T81,T116

 LINE       2105
 EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT41,T105,T31
110CoveredT112,T113,T220
111CoveredT79,T81,T116

 LINE       2114
 EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT105,T197,T295
110CoveredT113,T220,T248
111CoveredT79,T81,T116

 LINE       2125
 EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT73,T178,T105
110CoveredT112,T113,T114
111CoveredT79,T81,T116

 LINE       2144
 EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT24,T105,T11
110CoveredT112,T113,T114
111CoveredT79,T81,T116

 LINE       2149
 EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT76,T105,T162
110CoveredT112,T113,T114
111CoveredT79,T81,T116

 LINE       2152
 EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
             -----1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT10,T178,T296
110CoveredT113,T114,T220
111CoveredT79,T81,T116

 LINE       2155
 EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT26,T77,T105
110CoveredT220,T115,T226
111CoveredT79,T81,T116

 LINE       2158
 EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT178,T277,T105
110CoveredT113,T114,T220
111CoveredT79,T81,T116

 LINE       2161
 EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT105,T303,T297
110CoveredT113,T220,T115
111CoveredT79,T81,T116

 LINE       2164
 EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT42,T77,T105
110CoveredT112,T220,T115
111CoveredT79,T81,T116

 LINE       2169
 EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT10,T105,T168
110CoveredT112,T113,T114
111CoveredT79,T81,T116

 LINE       2174
 EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT105,T55,T87
110CoveredT112,T113,T81
111CoveredT79,T81,T116

 LINE       2179
 EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT52,T105,T11
110CoveredT114,T115,T226
111CoveredT79,T81,T116

 LINE       2184
 EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT3,T73,T10
110CoveredT112,T113,T220
111CoveredT79,T81,T116

 LINE       2189
 EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT105,T145,T297
110CoveredT113,T114,T115
111CoveredT79,T81,T116

 LINE       2192
 EXPRESSION (addr_hit[19] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT52,T10,T38
110CoveredT113,T114,T220
111CoveredT79,T81,T116

 LINE       2195
 EXPRESSION (addr_hit[20] & reg_we & ((!reg_error)))
             ------1-----   ---2--   -------3------
-1--2--3-StatusTests
011CoveredT79,T81,T116
101CoveredT13,T105,T122
110CoveredT220,T115,T317
111CoveredT79,T81,T116

Branch Coverage for Module : flash_ctrl_prim_reg_top
Line No.TotalCoveredPercent
Branches 27 27 100.00
TERNARY 2030 2 2 100.00
IF 68 3 3 100.00
CASE 2230 22 22 100.00


2030 assign addrmiss = (reg_re || reg_we) ? ~|addr_hit : 1'b0 ; -1- ==> ==>

Branches:
-1-StatusTests
1 Covered T112,T79,T113
0 Covered T1,T2,T3


68 if (!rst_ni) begin -1- 69 err_q <= '0; ==> 70 end else if (intg_err || reg_we_err) begin -2- 71 err_q <= 1'b1; ==> 72 end MISSING_ELSE ==>

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T16,T17,T53
0 0 Covered T1,T2,T3


2230 unique case (1'b1) -1- 2231 addr_hit[0]: begin 2232 reg_rdata_next[0] = csr0_regwen_qs; ==> 2233 end 2234 2235 addr_hit[1]: begin 2236 reg_rdata_next[7:0] = csr1_field0_qs; ==> 2237 reg_rdata_next[12:8] = csr1_field1_qs; 2238 end 2239 2240 addr_hit[2]: begin 2241 reg_rdata_next[0] = csr2_field0_qs; ==> 2242 reg_rdata_next[1] = csr2_field1_qs; 2243 reg_rdata_next[2] = csr2_field2_qs; 2244 reg_rdata_next[3] = csr2_field3_qs; 2245 reg_rdata_next[4] = csr2_field4_qs; 2246 reg_rdata_next[5] = csr2_field5_qs; 2247 reg_rdata_next[6] = csr2_field6_qs; 2248 reg_rdata_next[7] = csr2_field7_qs; 2249 end 2250 2251 addr_hit[3]: begin 2252 reg_rdata_next[3:0] = csr3_field0_qs; ==> 2253 reg_rdata_next[7:4] = csr3_field1_qs; 2254 reg_rdata_next[10:8] = csr3_field2_qs; 2255 reg_rdata_next[13:11] = csr3_field3_qs; 2256 reg_rdata_next[16:14] = csr3_field4_qs; 2257 reg_rdata_next[19:17] = csr3_field5_qs; 2258 reg_rdata_next[20] = csr3_field6_qs; 2259 reg_rdata_next[23:21] = csr3_field7_qs; 2260 reg_rdata_next[25:24] = csr3_field8_qs; 2261 reg_rdata_next[27:26] = csr3_field9_qs; 2262 end 2263 2264 addr_hit[4]: begin 2265 reg_rdata_next[2:0] = csr4_field0_qs; ==> 2266 reg_rdata_next[5:3] = csr4_field1_qs; 2267 reg_rdata_next[8:6] = csr4_field2_qs; 2268 reg_rdata_next[11:9] = csr4_field3_qs; 2269 end 2270 2271 addr_hit[5]: begin 2272 reg_rdata_next[2:0] = csr5_field0_qs; ==> 2273 reg_rdata_next[4:3] = csr5_field1_qs; 2274 reg_rdata_next[13:5] = csr5_field2_qs; 2275 reg_rdata_next[18:14] = csr5_field3_qs; 2276 reg_rdata_next[22:19] = csr5_field4_qs; 2277 end 2278 2279 addr_hit[6]: begin 2280 reg_rdata_next[2:0] = csr6_field0_qs; ==> 2281 reg_rdata_next[5:3] = csr6_field1_qs; 2282 reg_rdata_next[13:6] = csr6_field2_qs; 2283 reg_rdata_next[16:14] = csr6_field3_qs; 2284 reg_rdata_next[18:17] = csr6_field4_qs; 2285 reg_rdata_next[20:19] = csr6_field5_qs; 2286 reg_rdata_next[22:21] = csr6_field6_qs; 2287 reg_rdata_next[23] = csr6_field7_qs; 2288 reg_rdata_next[24] = csr6_field8_qs; 2289 end 2290 2291 addr_hit[7]: begin 2292 reg_rdata_next[7:0] = csr7_field0_qs; ==> 2293 reg_rdata_next[16:8] = csr7_field1_qs; 2294 end 2295 2296 addr_hit[8]: begin 2297 reg_rdata_next[31:0] = csr8_qs; ==> 2298 end 2299 2300 addr_hit[9]: begin 2301 reg_rdata_next[31:0] = csr9_qs; ==> 2302 end 2303 2304 addr_hit[10]: begin 2305 reg_rdata_next[31:0] = csr10_qs; ==> 2306 end 2307 2308 addr_hit[11]: begin 2309 reg_rdata_next[31:0] = csr11_qs; ==> 2310 end 2311 2312 addr_hit[12]: begin 2313 reg_rdata_next[9:0] = csr12_qs; ==> 2314 end 2315 2316 addr_hit[13]: begin 2317 reg_rdata_next[19:0] = csr13_field0_qs; ==> 2318 reg_rdata_next[20] = csr13_field1_qs; 2319 end 2320 2321 addr_hit[14]: begin 2322 reg_rdata_next[7:0] = csr14_field0_qs; ==> 2323 reg_rdata_next[8] = csr14_field1_qs; 2324 end 2325 2326 addr_hit[15]: begin 2327 reg_rdata_next[7:0] = csr15_field0_qs; ==> 2328 reg_rdata_next[8] = csr15_field1_qs; 2329 end 2330 2331 addr_hit[16]: begin 2332 reg_rdata_next[7:0] = csr16_field0_qs; ==> 2333 reg_rdata_next[8] = csr16_field1_qs; 2334 end 2335 2336 addr_hit[17]: begin 2337 reg_rdata_next[7:0] = csr17_field0_qs; ==> 2338 reg_rdata_next[8] = csr17_field1_qs; 2339 end 2340 2341 addr_hit[18]: begin 2342 reg_rdata_next[0] = csr18_qs; ==> 2343 end 2344 2345 addr_hit[19]: begin 2346 reg_rdata_next[0] = csr19_qs; ==> 2347 end 2348 2349 addr_hit[20]: begin 2350 reg_rdata_next[0] = csr20_field0_qs; ==> 2351 reg_rdata_next[1] = csr20_field1_qs; 2352 reg_rdata_next[2] = csr20_field2_qs; 2353 end 2354 2355 default: begin 2356 reg_rdata_next = '1; ==>

Branches:
-1-StatusTests
addr_hit[0] Covered T1,T2,T14
addr_hit[1] Covered T1,T2,T14
addr_hit[2] Covered T1,T2,T14
addr_hit[3] Covered T1,T2,T14
addr_hit[4] Covered T1,T2,T14
addr_hit[5] Covered T1,T2,T14
addr_hit[6] Covered T1,T2,T14
addr_hit[7] Covered T1,T2,T14
addr_hit[8] Covered T1,T2,T14
addr_hit[9] Covered T1,T2,T14
addr_hit[10] Covered T1,T2,T14
addr_hit[11] Covered T1,T2,T14
addr_hit[12] Covered T1,T2,T14
addr_hit[13] Covered T1,T2,T14
addr_hit[14] Covered T1,T2,T14
addr_hit[15] Covered T1,T2,T14
addr_hit[16] Covered T1,T2,T14
addr_hit[17] Covered T1,T2,T3
addr_hit[18] Covered T1,T2,T14
addr_hit[19] Covered T1,T2,T14
addr_hit[20] Covered T1,T2,T13
default Covered T1,T2,T14


Assert Coverage for Module : flash_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 387235379 60525 0 0
reAfterRv 387235379 60525 0 0
rePulse 387235379 42410 0 0
wePulse 387235379 18115 0 0


en2addrHit
NameAttemptsReal SuccessesFailuresIncomplete
Total 387235379 60525 0 0
T79 2017 74 0 0
T81 5160 100 0 0
T112 2738 13 0 0
T113 4699 32 0 0
T114 7943 165 0 0
T116 3072 67 0 0
T218 4061 2 0 0
T233 2951 69 0 0
T242 2726 42 0 0
T243 32604 2688 0 0

reAfterRv
NameAttemptsReal SuccessesFailuresIncomplete
Total 387235379 60525 0 0
T79 2017 74 0 0
T81 5160 100 0 0
T112 2738 13 0 0
T113 4699 32 0 0
T114 7943 165 0 0
T116 3072 67 0 0
T218 4061 2 0 0
T233 2951 69 0 0
T242 2726 42 0 0
T243 32604 2688 0 0

rePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 387235379 42410 0 0
T79 2017 53 0 0
T81 5160 78 0 0
T113 4699 6 0 0
T114 7943 111 0 0
T116 3072 46 0 0
T218 4061 2 0 0
T233 2951 48 0 0
T242 2726 21 0 0
T243 32604 1344 0 0
T244 85966 2091 0 0

wePulse
NameAttemptsReal SuccessesFailuresIncomplete
Total 387235379 18115 0 0
T79 2017 21 0 0
T81 5160 22 0 0
T112 2738 13 0 0
T113 4699 26 0 0
T114 7943 54 0 0
T116 3072 21 0 0
T233 2951 21 0 0
T242 2726 21 0 0
T243 32604 1344 0 0
T244 85966 21 0 0

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