Line Coverage for Module :
flash_ctrl_prim_reg_top
| Line No. | Total | Covered | Percent |
TOTAL | | 219 | 219 | 100.00 |
ALWAYS | 68 | 4 | 4 | 100.00 |
CONT_ASSIGN | 77 | 1 | 1 | 100.00 |
CONT_ASSIGN | 89 | 1 | 1 | 100.00 |
CONT_ASSIGN | 90 | 1 | 1 | 100.00 |
CONT_ASSIGN | 118 | 1 | 1 | 100.00 |
CONT_ASSIGN | 119 | 1 | 1 | 100.00 |
CONT_ASSIGN | 299 | 1 | 1 | 100.00 |
CONT_ASSIGN | 576 | 1 | 1 | 100.00 |
CONT_ASSIGN | 851 | 1 | 1 | 100.00 |
CONT_ASSIGN | 964 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1104 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1352 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1411 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1442 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1473 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1504 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1535 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1566 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1625 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1684 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1743 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1802 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1861 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1892 | 1 | 1 | 100.00 |
ALWAYS | 2006 | 22 | 22 | 100.00 |
CONT_ASSIGN | 2030 | 1 | 1 | 100.00 |
ALWAYS | 2034 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2059 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2061 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2062 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2064 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2066 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2067 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2069 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2071 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2073 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2075 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2077 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2079 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2081 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2083 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2084 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2086 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2088 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2090 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2092 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2094 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2096 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2098 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2100 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2102 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2104 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2105 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2107 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2109 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2111 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2113 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2114 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2116 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2118 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2120 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2122 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2124 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2125 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2127 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2129 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2131 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2133 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2135 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2137 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2139 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2141 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2143 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2144 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2146 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2148 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2149 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2151 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2152 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2154 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2155 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2157 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2158 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2160 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2161 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2163 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2164 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2166 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2168 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2169 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2171 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2173 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2174 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2176 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2178 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2179 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2181 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2183 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2184 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2186 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2188 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2189 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2191 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2192 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2194 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2195 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2197 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2199 | 1 | 1 | 100.00 |
ALWAYS | 2203 | 22 | 22 | 100.00 |
ALWAYS | 2229 | 63 | 63 | 100.00 |
CONT_ASSIGN | 2366 | 0 | 0 | |
CONT_ASSIGN | 2374 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2375 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_flash_ctrl_prim_reg_top_1.0/rtl/flash_ctrl_prim_reg_top.sv' or '../src/lowrisc_ip_flash_ctrl_prim_reg_top_1.0/rtl/flash_ctrl_prim_reg_top.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
68 |
1 |
1 |
69 |
1 |
1 |
70 |
1 |
1 |
71 |
1 |
1 |
|
|
|
MISSING_ELSE |
77 |
1 |
1 |
89 |
1 |
1 |
90 |
1 |
1 |
118 |
1 |
1 |
119 |
1 |
1 |
299 |
1 |
1 |
576 |
1 |
1 |
851 |
1 |
1 |
964 |
1 |
1 |
1104 |
1 |
1 |
1352 |
1 |
1 |
1411 |
1 |
1 |
1442 |
1 |
1 |
1473 |
1 |
1 |
1504 |
1 |
1 |
1535 |
1 |
1 |
1566 |
1 |
1 |
1625 |
1 |
1 |
1684 |
1 |
1 |
1743 |
1 |
1 |
1802 |
1 |
1 |
1861 |
1 |
1 |
1892 |
1 |
1 |
2006 |
1 |
1 |
2007 |
1 |
1 |
2008 |
1 |
1 |
2009 |
1 |
1 |
2010 |
1 |
1 |
2011 |
1 |
1 |
2012 |
1 |
1 |
2013 |
1 |
1 |
2014 |
1 |
1 |
2015 |
1 |
1 |
2016 |
1 |
1 |
2017 |
1 |
1 |
2018 |
1 |
1 |
2019 |
1 |
1 |
2020 |
1 |
1 |
2021 |
1 |
1 |
2022 |
1 |
1 |
2023 |
1 |
1 |
2024 |
1 |
1 |
2025 |
1 |
1 |
2026 |
1 |
1 |
2027 |
1 |
1 |
2030 |
1 |
1 |
2034 |
1 |
1 |
2059 |
1 |
1 |
2061 |
1 |
1 |
2062 |
1 |
1 |
2064 |
1 |
1 |
2066 |
1 |
1 |
2067 |
1 |
1 |
2069 |
1 |
1 |
2071 |
1 |
1 |
2073 |
1 |
1 |
2075 |
1 |
1 |
2077 |
1 |
1 |
2079 |
1 |
1 |
2081 |
1 |
1 |
2083 |
1 |
1 |
2084 |
1 |
1 |
2086 |
1 |
1 |
2088 |
1 |
1 |
2090 |
1 |
1 |
2092 |
1 |
1 |
2094 |
1 |
1 |
2096 |
1 |
1 |
2098 |
1 |
1 |
2100 |
1 |
1 |
2102 |
1 |
1 |
2104 |
1 |
1 |
2105 |
1 |
1 |
2107 |
1 |
1 |
2109 |
1 |
1 |
2111 |
1 |
1 |
2113 |
1 |
1 |
2114 |
1 |
1 |
2116 |
1 |
1 |
2118 |
1 |
1 |
2120 |
1 |
1 |
2122 |
1 |
1 |
2124 |
1 |
1 |
2125 |
1 |
1 |
2127 |
1 |
1 |
2129 |
1 |
1 |
2131 |
1 |
1 |
2133 |
1 |
1 |
2135 |
1 |
1 |
2137 |
1 |
1 |
2139 |
1 |
1 |
2141 |
1 |
1 |
2143 |
1 |
1 |
2144 |
1 |
1 |
2146 |
1 |
1 |
2148 |
1 |
1 |
2149 |
1 |
1 |
2151 |
1 |
1 |
2152 |
1 |
1 |
2154 |
1 |
1 |
2155 |
1 |
1 |
2157 |
1 |
1 |
2158 |
1 |
1 |
2160 |
1 |
1 |
2161 |
1 |
1 |
2163 |
1 |
1 |
2164 |
1 |
1 |
2166 |
1 |
1 |
2168 |
1 |
1 |
2169 |
1 |
1 |
2171 |
1 |
1 |
2173 |
1 |
1 |
2174 |
1 |
1 |
2176 |
1 |
1 |
2178 |
1 |
1 |
2179 |
1 |
1 |
2181 |
1 |
1 |
2183 |
1 |
1 |
2184 |
1 |
1 |
2186 |
1 |
1 |
2188 |
1 |
1 |
2189 |
1 |
1 |
2191 |
1 |
1 |
2192 |
1 |
1 |
2194 |
1 |
1 |
2195 |
1 |
1 |
2197 |
1 |
1 |
2199 |
1 |
1 |
2203 |
1 |
1 |
2204 |
1 |
1 |
2205 |
1 |
1 |
2206 |
1 |
1 |
2207 |
1 |
1 |
2208 |
1 |
1 |
2209 |
1 |
1 |
2210 |
1 |
1 |
2211 |
1 |
1 |
2212 |
1 |
1 |
2213 |
1 |
1 |
2214 |
1 |
1 |
2215 |
1 |
1 |
2216 |
1 |
1 |
2217 |
1 |
1 |
2218 |
1 |
1 |
2219 |
1 |
1 |
2220 |
1 |
1 |
2221 |
1 |
1 |
2222 |
1 |
1 |
2223 |
1 |
1 |
2224 |
1 |
1 |
2229 |
1 |
1 |
2230 |
1 |
1 |
2232 |
1 |
1 |
2236 |
1 |
1 |
2237 |
1 |
1 |
2241 |
1 |
1 |
2242 |
1 |
1 |
2243 |
1 |
1 |
2244 |
1 |
1 |
2245 |
1 |
1 |
2246 |
1 |
1 |
2247 |
1 |
1 |
2248 |
1 |
1 |
2252 |
1 |
1 |
2253 |
1 |
1 |
2254 |
1 |
1 |
2255 |
1 |
1 |
2256 |
1 |
1 |
2257 |
1 |
1 |
2258 |
1 |
1 |
2259 |
1 |
1 |
2260 |
1 |
1 |
2261 |
1 |
1 |
2265 |
1 |
1 |
2266 |
1 |
1 |
2267 |
1 |
1 |
2268 |
1 |
1 |
2272 |
1 |
1 |
2273 |
1 |
1 |
2274 |
1 |
1 |
2275 |
1 |
1 |
2276 |
1 |
1 |
2280 |
1 |
1 |
2281 |
1 |
1 |
2282 |
1 |
1 |
2283 |
1 |
1 |
2284 |
1 |
1 |
2285 |
1 |
1 |
2286 |
1 |
1 |
2287 |
1 |
1 |
2288 |
1 |
1 |
2292 |
1 |
1 |
2293 |
1 |
1 |
2297 |
1 |
1 |
2301 |
1 |
1 |
2305 |
1 |
1 |
2309 |
1 |
1 |
2313 |
1 |
1 |
2317 |
1 |
1 |
2318 |
1 |
1 |
2322 |
1 |
1 |
2323 |
1 |
1 |
2327 |
1 |
1 |
2328 |
1 |
1 |
2332 |
1 |
1 |
2333 |
1 |
1 |
2337 |
1 |
1 |
2338 |
1 |
1 |
2342 |
1 |
1 |
2346 |
1 |
1 |
2350 |
1 |
1 |
2351 |
1 |
1 |
2352 |
1 |
1 |
2366 |
|
unreachable |
2374 |
1 |
1 |
2375 |
1 |
1 |
Cond Coverage for Module :
flash_ctrl_prim_reg_top
| Total | Covered | Percent |
Conditions | 287 | 287 | 100.00 |
Logical | 287 | 287 | 100.00 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 58
EXPRESSION (reg_we && ((!addrmiss)))
---1-- ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T217,T218 |
1 | 1 | Covered | T63,T191,T65 |
LINE 70
EXPRESSION (intg_err || reg_we_err)
----1--- -----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T12,T13,T36 |
1 | 0 | Covered | T63,T65,T192 |
LINE 77
EXPRESSION (err_q | intg_err | reg_we_err)
--1-- ----2--- -----3----
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Covered | T12,T13,T36 |
0 | 1 | 0 | Covered | T63,T65,T192 |
1 | 0 | 0 | Covered | T12,T13,T36 |
LINE 119
EXPRESSION (addrmiss | wr_err | intg_err)
----1--- ---2-- ----3---
-1- | -2- | -3- | Status | Tests |
0 | 0 | 0 | Covered | T1,T2,T3 |
0 | 0 | 1 | Covered | T63,T65,T192 |
0 | 1 | 0 | Covered | T216,T217,T218 |
1 | 0 | 0 | Covered | T217,T218,T228 |
LINE 299
EXPRESSION (csr1_we & csr0_regwen_qs)
---1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 576
EXPRESSION (csr3_we & csr0_regwen_qs)
---1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 851
EXPRESSION (csr4_we & csr0_regwen_qs)
---1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 964
EXPRESSION (csr5_we & csr0_regwen_qs)
---1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 1104
EXPRESSION (csr6_we & csr0_regwen_qs)
---1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 1352
EXPRESSION (csr7_we & csr0_regwen_qs)
---1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 1411
EXPRESSION (csr8_we & csr0_regwen_qs)
---1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 1442
EXPRESSION (csr9_we & csr0_regwen_qs)
---1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T219,T220 |
1 | 1 | Covered | T63,T191,T65 |
LINE 1473
EXPRESSION (csr10_we & csr0_regwen_qs)
----1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 1504
EXPRESSION (csr11_we & csr0_regwen_qs)
----1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 1535
EXPRESSION (csr12_we & csr0_regwen_qs)
----1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 1566
EXPRESSION (csr13_we & csr0_regwen_qs)
----1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 1625
EXPRESSION (csr14_we & csr0_regwen_qs)
----1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 1684
EXPRESSION (csr15_we & csr0_regwen_qs)
----1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 1743
EXPRESSION (csr16_we & csr0_regwen_qs)
----1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 1802
EXPRESSION (csr17_we & csr0_regwen_qs)
----1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 1861
EXPRESSION (csr18_we & csr0_regwen_qs)
----1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 1892
EXPRESSION (csr19_we & csr0_regwen_qs)
----1--- -------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T63,T65,T219 |
1 | 1 | Covered | T63,T191,T65 |
LINE 2007
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR0_REGWEN_OFFSET)
-------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T3,T4,T53 |
1 | Covered | T2,T12,T163 |
LINE 2008
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR1_OFFSET)
----------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T225,T12,T163 |
LINE 2009
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR2_OFFSET)
----------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T12,T13,T302 |
LINE 2010
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR3_OFFSET)
----------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T126,T122,T168 |
LINE 2011
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR4_OFFSET)
----------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T12,T156,T13 |
LINE 2012
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR5_OFFSET)
----------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T3,T12,T163 |
LINE 2013
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR6_OFFSET)
----------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T12,T163,T13 |
LINE 2014
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR7_OFFSET)
----------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T58,T92,T12 |
LINE 2015
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR8_OFFSET)
----------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T303,T12,T77 |
LINE 2016
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR9_OFFSET)
----------------------------1---------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T28,T58,T12 |
LINE 2017
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR10_OFFSET)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T38,T12,T156 |
LINE 2018
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR11_OFFSET)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T58,T12,T74 |
LINE 2019
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR12_OFFSET)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T37,T58,T122 |
LINE 2020
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR13_OFFSET)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T66,T304,T12 |
LINE 2021
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR14_OFFSET)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T124,T190,T12 |
LINE 2022
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR15_OFFSET)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T28,T12,T74 |
LINE 2023
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR16_OFFSET)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T102,T12,T74 |
LINE 2024
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR17_OFFSET)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T185,T12,T77 |
LINE 2025
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR18_OFFSET)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T75,T76,T142 |
LINE 2026
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR19_OFFSET)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T10,T12,T305 |
LINE 2027
EXPRESSION (reg_addr == flash_ctrl_reg_pkg::FLASH_CTRL_CSR20_OFFSET)
----------------------------1----------------------------
-1- | Status | Tests |
0 | Covered | T2,T3,T4 |
1 | Covered | T29,T173,T12 |
LINE 2030
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T63,T191,T65 |
LINE 2030
SUB-EXPRESSION (reg_re || reg_we)
---1-- ---2--
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T63,T191,T65 |
1 | 0 | Covered | T63,T191,T65 |
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- | Status | Tests |
0 | 1 | Covered | T2,T3,T37 |
1 | 0 | Covered | T63,T191,T65 |
1 | 1 | Covered | T63,T65,T192 |
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 == 1 | Status | Tests |
ALL ZEROS | Covered | T3,T4,T53 |
21 (addr_hit[20] & ((|(4'... | Covered | T29,T173,T12 |
20 (addr_hit[19] & ((|(4'... | Covered | T12,T305,T13 |
19 (addr_hit[18] & ((|(4'... | Covered | T75,T76,T12 |
18 (addr_hit[17] & ((|(4'... | Covered | T185,T12,T77 |
17 (addr_hit[16] & ((|(4'... | Covered | T102,T12,T13 |
16 (addr_hit[15] & ((|(4'... | Covered | T12,T74,T13 |
15 (addr_hit[14] & ((|(4'... | Covered | T190,T12,T163 |
14 (addr_hit[13] & ((|(4'... | Covered | T66,T304,T12 |
13 (addr_hit[12] & ((|(4'... | Covered | T37,T58,T122 |
12 (addr_hit[11] & ((|(4'... | Covered | T58,T12,T213 |
11 (addr_hit[10] & ((|(4'... | Covered | T38,T12,T156 |
10 (addr_hit[9] & ((|(4'b... | Covered | T28,T58,T12 |
9 (addr_hit[8] & ((|(4'b... | Covered | T303,T12,T77 |
8 (addr_hit[7] & ((|(4'b... | Covered | T58,T92,T12 |
7 (addr_hit[6] & ((|(4'b... | Covered | T12,T163,T13 |
6 (addr_hit[5] & ((|(4'b... | Covered | T3,T12,T306 |
5 (addr_hit[4] & ((|(4'b... | Covered | T12,T156,T13 |
4 (addr_hit[3] & ((|(4'b... | Covered | T122,T168,T12 |
3 (addr_hit[2] & ((|(4'b... | Covered | T12,T13,T307 |
2 (addr_hit[1] & ((|(4'b... | Covered | T225,T12,T13 |
1 (addr_hit[0] & ((|(4'b... | Covered | T2,T12,T163 |
LINE 2034
SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T3,T4,T53 |
1 | 0 | Covered | T12,T13,T308 |
1 | 1 | Covered | T2,T12,T163 |
LINE 2034
SUB-EXPRESSION (addr_hit[1] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T12,T163,T13 |
1 | 1 | Covered | T225,T12,T13 |
LINE 2034
SUB-EXPRESSION (addr_hit[2] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T12,T13,T302 |
1 | 1 | Covered | T12,T13,T307 |
LINE 2034
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T126,T13,T309 |
1 | 1 | Covered | T122,T168,T12 |
LINE 2034
SUB-EXPRESSION (addr_hit[4] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T12,T13,T308 |
1 | 1 | Covered | T12,T156,T13 |
LINE 2034
SUB-EXPRESSION (addr_hit[5] & ((|(4'b0111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T12,T163,T13 |
1 | 1 | Covered | T3,T12,T306 |
LINE 2034
SUB-EXPRESSION (addr_hit[6] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T12,T309,T310 |
1 | 1 | Covered | T12,T163,T13 |
LINE 2034
SUB-EXPRESSION (addr_hit[7] & ((|(4'b0111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T12,T74,T13 |
1 | 1 | Covered | T58,T92,T12 |
LINE 2034
SUB-EXPRESSION (addr_hit[8] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T12,T311,T312 |
1 | 1 | Covered | T303,T12,T77 |
LINE 2034
SUB-EXPRESSION (addr_hit[9] & ((|(4'b1111 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T313,T314,T315 |
1 | 1 | Covered | T28,T58,T12 |
LINE 2034
SUB-EXPRESSION (addr_hit[10] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T12,T197,T313 |
1 | 1 | Covered | T38,T12,T156 |
LINE 2034
SUB-EXPRESSION (addr_hit[11] & ((|(4'b1111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T74,T197,T311 |
1 | 1 | Covered | T58,T12,T213 |
LINE 2034
SUB-EXPRESSION (addr_hit[12] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T316,T13,T197 |
1 | 1 | Covered | T37,T58,T122 |
LINE 2034
SUB-EXPRESSION (addr_hit[13] & ((|(4'b0111 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T12,T197,T309 |
1 | 1 | Covered | T66,T304,T12 |
LINE 2034
SUB-EXPRESSION (addr_hit[14] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T124,T12,T13 |
1 | 1 | Covered | T190,T12,T163 |
LINE 2034
SUB-EXPRESSION (addr_hit[15] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T28,T13,T197 |
1 | 1 | Covered | T12,T74,T13 |
LINE 2034
SUB-EXPRESSION (addr_hit[16] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T12,T74,T195 |
1 | 1 | Covered | T102,T12,T13 |
LINE 2034
SUB-EXPRESSION (addr_hit[17] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T12,T13,T317 |
1 | 1 | Covered | T185,T12,T77 |
LINE 2034
SUB-EXPRESSION (addr_hit[18] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T142,T12,T74 |
1 | 1 | Covered | T75,T76,T12 |
LINE 2034
SUB-EXPRESSION (addr_hit[19] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T10,T12,T318 |
1 | 1 | Covered | T12,T305,T13 |
LINE 2034
SUB-EXPRESSION (addr_hit[20] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T2,T3,T4 |
1 | 0 | Covered | T12,T113,T13 |
1 | 1 | Covered | T29,T173,T12 |
LINE 2059
EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T2,T303,T12 |
1 | 1 | 0 | Covered | T217,T230,T233 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2062
EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T225,T12,T163 |
1 | 1 | 0 | Covered | T218,T230,T231 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2067
EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T12,T316,T13 |
1 | 1 | 0 | Covered | T231,T249,T259 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2084
EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T126,T122,T168 |
1 | 1 | 0 | Covered | T230,T232,T249 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2105
EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T12,T156,T13 |
1 | 1 | 0 | Covered | T217,T228,T231 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2114
EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T3,T10,T168 |
1 | 1 | 0 | Covered | T63,T65,T217 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2125
EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T58,T92,T319 |
1 | 1 | 0 | Covered | T63,T218,T232 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2144
EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T66,T58,T92 |
1 | 1 | 0 | Covered | T216,T218,T230 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2149
EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T76,T303,T12 |
1 | 1 | 0 | Covered | T65,T218,T231 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2152
EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T28,T58,T304 |
1 | 1 | 0 | Covered | T65,T217,T218 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2155
EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T4,T38,T320 |
1 | 1 | 0 | Covered | T230,T231,T232 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2158
EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T58,T202,T67 |
1 | 1 | 0 | Covered | T218,T228,T230 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2161
EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T37,T58,T122 |
1 | 1 | 0 | Covered | T192,T217,T228 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2164
EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T126,T66,T304 |
1 | 1 | 0 | Covered | T230,T231,T232 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2169
EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T38,T124,T190 |
1 | 1 | 0 | Covered | T231,T232,T233 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2174
EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T28,T173,T12 |
1 | 1 | 0 | Covered | T217,T230,T231 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2179
EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T102,T12,T74 |
1 | 1 | 0 | Covered | T65,T232,T249 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2184
EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T185,T12,T77 |
1 | 1 | 0 | Covered | T65,T218,T249 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2189
EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T53,T25,T75 |
1 | 1 | 0 | Covered | T228,T232,T233 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2192
EXPRESSION (addr_hit[19] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T37,T10,T28 |
1 | 1 | 0 | Covered | T216,T228,T249 |
1 | 1 | 1 | Covered | T63,T191,T65 |
LINE 2195
EXPRESSION (addr_hit[20] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T63,T191,T65 |
1 | 0 | 1 | Covered | T124,T29,T173 |
1 | 1 | 0 | Covered | T217,T218,T231 |
1 | 1 | 1 | Covered | T63,T191,T65 |
Branch Coverage for Module :
flash_ctrl_prim_reg_top
| Line No. | Total | Covered | Percent |
Branches |
|
27 |
27 |
100.00 |
TERNARY |
2030 |
2 |
2 |
100.00 |
IF |
68 |
3 |
3 |
100.00 |
CASE |
2230 |
22 |
22 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_flash_ctrl_prim_reg_top_1.0/rtl/flash_ctrl_prim_reg_top.sv' or '../src/lowrisc_ip_flash_ctrl_prim_reg_top_1.0/rtl/flash_ctrl_prim_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 2030 ((reg_re || reg_we)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T63,T191,T65 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 68 if ((!rst_ni))
-2-: 70 if ((intg_err || reg_we_err))
Branches:
-1- | -2- | Status | Tests |
1 |
- |
Covered |
T1,T2,T3 |
0 |
1 |
Covered |
T12,T13,T36 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 2230 case (1'b1)
Branches:
-1- | Status | Tests |
addr_hit[0] |
Covered |
T1,T2,T14 |
addr_hit[1] |
Covered |
T1,T14,T9 |
addr_hit[2] |
Covered |
T1,T14,T9 |
addr_hit[3] |
Covered |
T1,T14,T9 |
addr_hit[4] |
Covered |
T1,T14,T9 |
addr_hit[5] |
Covered |
T1,T3,T14 |
addr_hit[6] |
Covered |
T1,T14,T9 |
addr_hit[7] |
Covered |
T1,T14,T9 |
addr_hit[8] |
Covered |
T1,T14,T9 |
addr_hit[9] |
Covered |
T1,T14,T9 |
addr_hit[10] |
Covered |
T1,T14,T9 |
addr_hit[11] |
Covered |
T1,T14,T9 |
addr_hit[12] |
Covered |
T1,T14,T9 |
addr_hit[13] |
Covered |
T1,T14,T9 |
addr_hit[14] |
Covered |
T1,T14,T9 |
addr_hit[15] |
Covered |
T1,T14,T9 |
addr_hit[16] |
Covered |
T1,T14,T9 |
addr_hit[17] |
Covered |
T1,T14,T9 |
addr_hit[18] |
Covered |
T1,T14,T9 |
addr_hit[19] |
Covered |
T1,T14,T9 |
addr_hit[20] |
Covered |
T1,T14,T9 |
default |
Covered |
T1,T3,T4 |
Assert Coverage for Module :
flash_ctrl_prim_reg_top
Assertion Details
en2addrHit
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
428225880 |
59433 |
0 |
0 |
T63 |
32006 |
1224 |
0 |
0 |
T65 |
369716 |
633 |
0 |
0 |
T191 |
87106 |
2235 |
0 |
0 |
T192 |
20111 |
633 |
0 |
0 |
T216 |
5439 |
84 |
0 |
0 |
T219 |
141789 |
4101 |
0 |
0 |
T220 |
6074 |
144 |
0 |
0 |
T244 |
128472 |
3609 |
0 |
0 |
T260 |
4187 |
84 |
0 |
0 |
T321 |
31982 |
2688 |
0 |
0 |
reAfterRv
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
428225880 |
59433 |
0 |
0 |
T63 |
32006 |
1224 |
0 |
0 |
T65 |
369716 |
633 |
0 |
0 |
T191 |
87106 |
2235 |
0 |
0 |
T192 |
20111 |
633 |
0 |
0 |
T216 |
5439 |
84 |
0 |
0 |
T219 |
141789 |
4101 |
0 |
0 |
T220 |
6074 |
144 |
0 |
0 |
T244 |
128472 |
3609 |
0 |
0 |
T260 |
4187 |
84 |
0 |
0 |
T321 |
31982 |
2688 |
0 |
0 |
rePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
428225880 |
40648 |
0 |
0 |
T63 |
32006 |
799 |
0 |
0 |
T65 |
369716 |
418 |
0 |
0 |
T191 |
87106 |
2214 |
0 |
0 |
T192 |
20111 |
422 |
0 |
0 |
T216 |
5439 |
61 |
0 |
0 |
T219 |
141789 |
4059 |
0 |
0 |
T220 |
6074 |
102 |
0 |
0 |
T244 |
128472 |
3567 |
0 |
0 |
T260 |
4187 |
42 |
0 |
0 |
T321 |
31982 |
1344 |
0 |
0 |
wePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
428225880 |
18785 |
0 |
0 |
T63 |
32006 |
425 |
0 |
0 |
T65 |
369716 |
215 |
0 |
0 |
T191 |
87106 |
21 |
0 |
0 |
T192 |
20111 |
211 |
0 |
0 |
T216 |
5439 |
23 |
0 |
0 |
T219 |
141789 |
42 |
0 |
0 |
T220 |
6074 |
42 |
0 |
0 |
T244 |
128472 |
42 |
0 |
0 |
T260 |
4187 |
42 |
0 |
0 |
T321 |
31982 |
1344 |
0 |
0 |