Line Coverage for Module :
sensor_ctrl_reg_top
| Line No. | Total | Covered | Percent |
TOTAL | | 216 | 216 | 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 | 376 | 1 | 1 | 100.00 |
CONT_ASSIGN | 391 | 1 | 1 | 100.00 |
CONT_ASSIGN | 407 | 1 | 1 | 100.00 |
CONT_ASSIGN | 413 | 1 | 1 | 100.00 |
CONT_ASSIGN | 428 | 1 | 1 | 100.00 |
CONT_ASSIGN | 444 | 1 | 1 | 100.00 |
CONT_ASSIGN | 779 | 1 | 1 | 100.00 |
CONT_ASSIGN | 811 | 1 | 1 | 100.00 |
CONT_ASSIGN | 843 | 1 | 1 | 100.00 |
CONT_ASSIGN | 875 | 1 | 1 | 100.00 |
CONT_ASSIGN | 907 | 1 | 1 | 100.00 |
CONT_ASSIGN | 939 | 1 | 1 | 100.00 |
CONT_ASSIGN | 971 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1003 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1035 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1067 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1099 | 1 | 1 | 100.00 |
CONT_ASSIGN | 1131 | 1 | 1 | 100.00 |
ALWAYS | 2116 | 22 | 22 | 100.00 |
CONT_ASSIGN | 2140 | 1 | 1 | 100.00 |
ALWAYS | 2144 | 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 | 2196 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2198 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2200 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2202 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2204 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2206 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2208 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2210 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2212 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2214 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2215 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2217 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2218 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2220 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2221 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2223 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2224 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2226 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2227 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2229 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2230 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2232 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2233 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2235 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2236 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2238 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2239 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2241 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2242 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2244 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2245 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2247 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2248 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2250 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2252 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2254 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2256 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2258 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2260 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2262 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2264 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2266 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2268 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2270 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2271 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2273 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2275 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2277 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2279 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2281 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2283 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2285 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2287 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2289 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2291 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2293 | 1 | 1 | 100.00 |
ALWAYS | 2297 | 22 | 22 | 100.00 |
ALWAYS | 2323 | 69 | 69 | 100.00 |
CONT_ASSIGN | 2466 | 0 | 0 | |
CONT_ASSIGN | 2474 | 1 | 1 | 100.00 |
CONT_ASSIGN | 2475 | 1 | 1 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_systems_sensor_ctrl_reg_0.1/rtl/sensor_ctrl_reg_top.sv' or '../src/lowrisc_systems_sensor_ctrl_reg_0.1/rtl/sensor_ctrl_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 |
376 |
1 |
1 |
391 |
1 |
1 |
407 |
1 |
1 |
413 |
1 |
1 |
428 |
1 |
1 |
444 |
1 |
1 |
779 |
1 |
1 |
811 |
1 |
1 |
843 |
1 |
1 |
875 |
1 |
1 |
907 |
1 |
1 |
939 |
1 |
1 |
971 |
1 |
1 |
1003 |
1 |
1 |
1035 |
1 |
1 |
1067 |
1 |
1 |
1099 |
1 |
1 |
1131 |
1 |
1 |
2116 |
1 |
1 |
2117 |
1 |
1 |
2118 |
1 |
1 |
2119 |
1 |
1 |
2120 |
1 |
1 |
2121 |
1 |
1 |
2122 |
1 |
1 |
2123 |
1 |
1 |
2124 |
1 |
1 |
2125 |
1 |
1 |
2126 |
1 |
1 |
2127 |
1 |
1 |
2128 |
1 |
1 |
2129 |
1 |
1 |
2130 |
1 |
1 |
2131 |
1 |
1 |
2132 |
1 |
1 |
2133 |
1 |
1 |
2134 |
1 |
1 |
2135 |
1 |
1 |
2136 |
1 |
1 |
2137 |
1 |
1 |
2140 |
1 |
1 |
2144 |
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 |
2196 |
1 |
1 |
2198 |
1 |
1 |
2200 |
1 |
1 |
2202 |
1 |
1 |
2204 |
1 |
1 |
2206 |
1 |
1 |
2208 |
1 |
1 |
2210 |
1 |
1 |
2212 |
1 |
1 |
2214 |
1 |
1 |
2215 |
1 |
1 |
2217 |
1 |
1 |
2218 |
1 |
1 |
2220 |
1 |
1 |
2221 |
1 |
1 |
2223 |
1 |
1 |
2224 |
1 |
1 |
2226 |
1 |
1 |
2227 |
1 |
1 |
2229 |
1 |
1 |
2230 |
1 |
1 |
2232 |
1 |
1 |
2233 |
1 |
1 |
2235 |
1 |
1 |
2236 |
1 |
1 |
2238 |
1 |
1 |
2239 |
1 |
1 |
2241 |
1 |
1 |
2242 |
1 |
1 |
2244 |
1 |
1 |
2245 |
1 |
1 |
2247 |
1 |
1 |
2248 |
1 |
1 |
2250 |
1 |
1 |
2252 |
1 |
1 |
2254 |
1 |
1 |
2256 |
1 |
1 |
2258 |
1 |
1 |
2260 |
1 |
1 |
2262 |
1 |
1 |
2264 |
1 |
1 |
2266 |
1 |
1 |
2268 |
1 |
1 |
2270 |
1 |
1 |
2271 |
1 |
1 |
2273 |
1 |
1 |
2275 |
1 |
1 |
2277 |
1 |
1 |
2279 |
1 |
1 |
2281 |
1 |
1 |
2283 |
1 |
1 |
2285 |
1 |
1 |
2287 |
1 |
1 |
2289 |
1 |
1 |
2291 |
1 |
1 |
2293 |
1 |
1 |
2297 |
1 |
1 |
2298 |
1 |
1 |
2299 |
1 |
1 |
2300 |
1 |
1 |
2301 |
1 |
1 |
2302 |
1 |
1 |
2303 |
1 |
1 |
2304 |
1 |
1 |
2305 |
1 |
1 |
2306 |
1 |
1 |
2307 |
1 |
1 |
2308 |
1 |
1 |
2309 |
1 |
1 |
2310 |
1 |
1 |
2311 |
1 |
1 |
2312 |
1 |
1 |
2313 |
1 |
1 |
2314 |
1 |
1 |
2315 |
1 |
1 |
2316 |
1 |
1 |
2317 |
1 |
1 |
2318 |
1 |
1 |
2323 |
1 |
1 |
2324 |
1 |
1 |
2326 |
1 |
1 |
2327 |
1 |
1 |
2331 |
1 |
1 |
2332 |
1 |
1 |
2336 |
1 |
1 |
2337 |
1 |
1 |
2341 |
1 |
1 |
2342 |
1 |
1 |
2346 |
1 |
1 |
2350 |
1 |
1 |
2351 |
1 |
1 |
2352 |
1 |
1 |
2353 |
1 |
1 |
2354 |
1 |
1 |
2355 |
1 |
1 |
2356 |
1 |
1 |
2357 |
1 |
1 |
2358 |
1 |
1 |
2359 |
1 |
1 |
2360 |
1 |
1 |
2364 |
1 |
1 |
2368 |
1 |
1 |
2372 |
1 |
1 |
2376 |
1 |
1 |
2380 |
1 |
1 |
2384 |
1 |
1 |
2388 |
1 |
1 |
2392 |
1 |
1 |
2396 |
1 |
1 |
2400 |
1 |
1 |
2404 |
1 |
1 |
2408 |
1 |
1 |
2409 |
1 |
1 |
2410 |
1 |
1 |
2411 |
1 |
1 |
2412 |
1 |
1 |
2413 |
1 |
1 |
2414 |
1 |
1 |
2415 |
1 |
1 |
2416 |
1 |
1 |
2417 |
1 |
1 |
2418 |
1 |
1 |
2422 |
1 |
1 |
2423 |
1 |
1 |
2424 |
1 |
1 |
2425 |
1 |
1 |
2426 |
1 |
1 |
2427 |
1 |
1 |
2428 |
1 |
1 |
2429 |
1 |
1 |
2430 |
1 |
1 |
2431 |
1 |
1 |
2432 |
1 |
1 |
2436 |
1 |
1 |
2437 |
1 |
1 |
2438 |
1 |
1 |
2439 |
1 |
1 |
2440 |
1 |
1 |
2441 |
1 |
1 |
2442 |
1 |
1 |
2443 |
1 |
1 |
2444 |
1 |
1 |
2445 |
1 |
1 |
2446 |
1 |
1 |
2447 |
1 |
1 |
2451 |
1 |
1 |
2452 |
1 |
1 |
2466 |
|
unreachable |
2474 |
1 |
1 |
2475 |
1 |
1 |
Cond Coverage for Module :
sensor_ctrl_reg_top
| Total | Covered | Percent |
Conditions | 261 | 189 | 72.41 |
Logical | 261 | 189 | 72.41 |
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 | Not Covered | |
1 | 1 | Covered | T128,T147,T16 |
LINE 70
EXPRESSION (intg_err || reg_we_err)
----1--- -----2----
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T320,T341,T342 |
1 | 0 | Not Covered | |
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 | T320,T341,T342 |
0 | 1 | 0 | Not Covered | |
1 | 0 | 0 | Covered | T320,T341,T342 |
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 | Not Covered | |
0 | 1 | 0 | Not Covered | |
1 | 0 | 0 | Not Covered | |
LINE 779
EXPRESSION (alert_en_0_we & cfg_regwen_qs)
------1------ ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T16,T97,T119 |
LINE 811
EXPRESSION (alert_en_1_we & cfg_regwen_qs)
------1------ ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T16,T97,T119 |
LINE 843
EXPRESSION (alert_en_2_we & cfg_regwen_qs)
------1------ ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T16,T97,T119 |
LINE 875
EXPRESSION (alert_en_3_we & cfg_regwen_qs)
------1------ ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T128,T16,T97 |
LINE 907
EXPRESSION (alert_en_4_we & cfg_regwen_qs)
------1------ ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T16,T97,T119 |
LINE 939
EXPRESSION (alert_en_5_we & cfg_regwen_qs)
------1------ ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T16,T97,T119 |
LINE 971
EXPRESSION (alert_en_6_we & cfg_regwen_qs)
------1------ ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T16,T97,T119 |
LINE 1003
EXPRESSION (alert_en_7_we & cfg_regwen_qs)
------1------ ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T16,T97,T119 |
LINE 1035
EXPRESSION (alert_en_8_we & cfg_regwen_qs)
------1------ ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T16,T97,T119 |
LINE 1067
EXPRESSION (alert_en_9_we & cfg_regwen_qs)
------1------ ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T16,T97,T119 |
LINE 1099
EXPRESSION (alert_en_10_we & cfg_regwen_qs)
-------1------ ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T16,T97,T119 |
LINE 1131
EXPRESSION (fatal_alert_en_we & cfg_regwen_qs)
--------1-------- ------2------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T128,T125,T126 |
LINE 2117
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_INTR_STATE_OFFSET)
--------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2118
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_INTR_ENABLE_OFFSET)
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2119
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_INTR_TEST_OFFSET)
-------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2120
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_ALERT_TEST_OFFSET)
--------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2121
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_CFG_REGWEN_OFFSET)
--------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2122
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_ALERT_TRIG_OFFSET)
--------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2123
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_ALERT_EN_0_OFFSET)
--------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2124
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_ALERT_EN_1_OFFSET)
--------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2125
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_ALERT_EN_2_OFFSET)
--------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2126
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_ALERT_EN_3_OFFSET)
--------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2127
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_ALERT_EN_4_OFFSET)
--------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2128
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_ALERT_EN_5_OFFSET)
--------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2129
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_ALERT_EN_6_OFFSET)
--------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2130
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_ALERT_EN_7_OFFSET)
--------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2131
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_ALERT_EN_8_OFFSET)
--------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2132
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_ALERT_EN_9_OFFSET)
--------------------------------1-------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2133
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_ALERT_EN_10_OFFSET)
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2134
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_FATAL_ALERT_EN_OFFSET)
----------------------------------1---------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2135
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_RECOV_ALERT_OFFSET)
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2136
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_FATAL_ALERT_OFFSET)
--------------------------------1--------------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2137
EXPRESSION (reg_addr == sensor_ctrl_reg_pkg::SENSOR_CTRL_STATUS_OFFSET)
------------------------------1-----------------------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2140
EXPRESSION ((reg_re || reg_we) ? ((~|addr_hit)) : 1'b0)
---------1--------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T1,T2,T3 |
LINE 2140
SUB-EXPRESSION (reg_re || reg_we)
---1-- ---2--
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Covered | T128,T147,T16 |
1 | 0 | Covered | T1,T2,T3 |
LINE 2144
EXPRESSION
Number Term
1 reg_we &
2 ((addr_hit[0] & ((|(4'b1 & (~reg_be))))) | (addr_hit[1] & ((|(4'b1 & (~reg_be))))) | (addr_hit[2] & ((|(4'b1 & (~reg_be))))) | (addr_hit[3] & ((|(4'b1 & (~reg_be))))) | (addr_hit[4] & ((|(4'b1 & (~reg_be))))) | (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[6] & ((|(4'b1 & (~reg_be))))) | (addr_hit[7] & ((|(4'b1 & (~reg_be))))) | (addr_hit[8] & ((|(4'b1 & (~reg_be))))) | (addr_hit[9] & ((|(4'b1 & (~reg_be))))) | (addr_hit[10] & ((|(4'b1 & (~reg_be))))) | (addr_hit[11] & ((|(4'b1 & (~reg_be))))) | (addr_hit[12] & ((|(4'b1 & (~reg_be))))) | (addr_hit[13] & ((|(4'b1 & (~reg_be))))) | (addr_hit[14] & ((|(4'b1 & (~reg_be))))) | (addr_hit[15] & ((|(4'b1 & (~reg_be))))) | (addr_hit[16] & ((|(4'b1 & (~reg_be))))) | (addr_hit[17] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[18] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[19] & ((|(4'b0011 & (~reg_be))))) | (addr_hit[20] & ((|(4'b1 & (~reg_be)))))))
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T128,T147,T16 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION
Number Term
1 (addr_hit[0] & ((|(4'b1 & (~reg_be))))) |
2 (addr_hit[1] & ((|(4'b1 & (~reg_be))))) |
3 (addr_hit[2] & ((|(4'b1 & (~reg_be))))) |
4 (addr_hit[3] & ((|(4'b1 & (~reg_be))))) |
5 (addr_hit[4] & ((|(4'b1 & (~reg_be))))) |
6 (addr_hit[5] & ((|(4'b0011 & (~reg_be))))) |
7 (addr_hit[6] & ((|(4'b1 & (~reg_be))))) |
8 (addr_hit[7] & ((|(4'b1 & (~reg_be))))) |
9 (addr_hit[8] & ((|(4'b1 & (~reg_be))))) |
10 (addr_hit[9] & ((|(4'b1 & (~reg_be))))) |
11 (addr_hit[10] & ((|(4'b1 & (~reg_be))))) |
12 (addr_hit[11] & ((|(4'b1 & (~reg_be))))) |
13 (addr_hit[12] & ((|(4'b1 & (~reg_be))))) |
14 (addr_hit[13] & ((|(4'b1 & (~reg_be))))) |
15 (addr_hit[14] & ((|(4'b1 & (~reg_be))))) |
16 (addr_hit[15] & ((|(4'b1 & (~reg_be))))) |
17 (addr_hit[16] & ((|(4'b1 & (~reg_be))))) |
18 (addr_hit[17] & ((|(4'b0011 & (~reg_be))))) |
19 (addr_hit[18] & ((|(4'b0011 & (~reg_be))))) |
20 (addr_hit[19] & ((|(4'b0011 & (~reg_be))))) |
21 (addr_hit[20] & ((|(4'b1 & (~reg_be))))))
Sensitive Expression == 1 | Status | Tests |
ALL ZEROS | Covered | T1,T2,T3 |
21 (addr_hit[20] & ((|(4'... | Not Covered | |
20 (addr_hit[19] & ((|(4'... | Covered | T29,T30,T31 |
19 (addr_hit[18] & ((|(4'... | Covered | T29,T30,T31 |
18 (addr_hit[17] & ((|(4'... | Covered | T29,T30,T31 |
17 (addr_hit[16] & ((|(4'... | Not Covered | |
16 (addr_hit[15] & ((|(4'... | Not Covered | |
15 (addr_hit[14] & ((|(4'... | Not Covered | |
14 (addr_hit[13] & ((|(4'... | Not Covered | |
13 (addr_hit[12] & ((|(4'... | Not Covered | |
12 (addr_hit[11] & ((|(4'... | Not Covered | |
11 (addr_hit[10] & ((|(4'... | Not Covered | |
10 (addr_hit[9] & ((|(4'b... | Not Covered | |
9 (addr_hit[8] & ((|(4'b... | Not Covered | |
8 (addr_hit[7] & ((|(4'b... | Not Covered | |
7 (addr_hit[6] & ((|(4'b... | Not Covered | |
6 (addr_hit[5] & ((|(4'b... | Covered | T29,T30,T31 |
5 (addr_hit[4] & ((|(4'b... | Not Covered | |
4 (addr_hit[3] & ((|(4'b... | Not Covered | |
3 (addr_hit[2] & ((|(4'b... | Not Covered | |
2 (addr_hit[1] & ((|(4'b... | Not Covered | |
1 (addr_hit[0] & ((|(4'b... | Covered | T1,T2,T3 |
LINE 2144
SUB-EXPRESSION (addr_hit[0] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Not Covered | |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T1,T2,T3 |
LINE 2144
SUB-EXPRESSION (addr_hit[1] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION (addr_hit[2] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION (addr_hit[3] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION (addr_hit[4] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION (addr_hit[5] & ((|(4'b0011 & (~reg_be)))))
-----1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T29,T30,T31 |
LINE 2144
SUB-EXPRESSION (addr_hit[6] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION (addr_hit[7] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION (addr_hit[8] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION (addr_hit[9] & ((|(4'b1 & (~reg_be)))))
-----1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION (addr_hit[10] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION (addr_hit[11] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION (addr_hit[12] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION (addr_hit[13] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION (addr_hit[14] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION (addr_hit[15] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION (addr_hit[16] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2144
SUB-EXPRESSION (addr_hit[17] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T29,T30,T31 |
LINE 2144
SUB-EXPRESSION (addr_hit[18] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T29,T30,T31 |
LINE 2144
SUB-EXPRESSION (addr_hit[19] & ((|(4'b0011 & (~reg_be)))))
------1----- -------------2------------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Covered | T29,T30,T31 |
LINE 2144
SUB-EXPRESSION (addr_hit[20] & ((|(4'b1 & (~reg_be)))))
------1----- -----------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Covered | T1,T2,T3 |
1 | 1 | Not Covered | |
LINE 2169
EXPRESSION (addr_hit[0] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T147,T134,T148 |
LINE 2174
EXPRESSION (addr_hit[1] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T147,T134,T148 |
LINE 2179
EXPRESSION (addr_hit[2] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T147,T148,T149 |
LINE 2184
EXPRESSION (addr_hit[3] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T56,T57,T58 |
LINE 2189
EXPRESSION (addr_hit[4] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Not Covered | |
LINE 2192
EXPRESSION (addr_hit[5] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T128,T16,T97 |
LINE 2215
EXPRESSION (addr_hit[6] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T16,T97,T119 |
LINE 2218
EXPRESSION (addr_hit[7] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T16,T97,T119 |
LINE 2221
EXPRESSION (addr_hit[8] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T16,T97,T119 |
LINE 2224
EXPRESSION (addr_hit[9] & reg_we & ((!reg_error)))
-----1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T128,T16,T97 |
LINE 2227
EXPRESSION (addr_hit[10] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T16,T97,T119 |
LINE 2230
EXPRESSION (addr_hit[11] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T16,T97,T119 |
LINE 2233
EXPRESSION (addr_hit[12] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T16,T97,T119 |
LINE 2236
EXPRESSION (addr_hit[13] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T16,T97,T119 |
LINE 2239
EXPRESSION (addr_hit[14] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T16,T97,T119 |
LINE 2242
EXPRESSION (addr_hit[15] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T16,T97,T119 |
LINE 2245
EXPRESSION (addr_hit[16] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T16,T97,T119 |
LINE 2248
EXPRESSION (addr_hit[17] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T128,T125,T126 |
LINE 2271
EXPRESSION (addr_hit[18] & reg_we & ((!reg_error)))
------1----- ---2-- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T128,T147,T16 |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T128,T16,T97 |
Branch Coverage for Module :
sensor_ctrl_reg_top
| Line No. | Total | Covered | Percent |
Branches |
|
27 |
27 |
100.00 |
TERNARY |
2140 |
2 |
2 |
100.00 |
IF |
68 |
3 |
3 |
100.00 |
CASE |
2324 |
22 |
22 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_systems_sensor_ctrl_reg_0.1/rtl/sensor_ctrl_reg_top.sv' or '../src/lowrisc_systems_sensor_ctrl_reg_0.1/rtl/sensor_ctrl_reg_top.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 2140 ((reg_re || reg_we)) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
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 |
T320,T341,T342 |
0 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 2324 case (1'b1)
Branches:
-1- | Status | Tests |
addr_hit[0] |
Covered |
T1,T2,T3 |
addr_hit[1] |
Covered |
T1,T2,T3 |
addr_hit[2] |
Covered |
T1,T2,T3 |
addr_hit[3] |
Covered |
T1,T2,T3 |
addr_hit[4] |
Covered |
T1,T2,T3 |
addr_hit[5] |
Covered |
T1,T2,T3 |
addr_hit[6] |
Covered |
T1,T2,T3 |
addr_hit[7] |
Covered |
T1,T2,T3 |
addr_hit[8] |
Covered |
T1,T2,T3 |
addr_hit[9] |
Covered |
T1,T2,T3 |
addr_hit[10] |
Covered |
T1,T2,T3 |
addr_hit[11] |
Covered |
T1,T2,T3 |
addr_hit[12] |
Covered |
T1,T2,T3 |
addr_hit[13] |
Covered |
T1,T2,T3 |
addr_hit[14] |
Covered |
T1,T2,T3 |
addr_hit[15] |
Covered |
T1,T2,T3 |
addr_hit[16] |
Covered |
T1,T2,T3 |
addr_hit[17] |
Covered |
T1,T2,T3 |
addr_hit[18] |
Covered |
T1,T2,T3 |
addr_hit[19] |
Covered |
T1,T2,T3 |
addr_hit[20] |
Covered |
T1,T2,T3 |
default |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
sensor_ctrl_reg_top
Assertion Details
en2addrHit
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
93431907 |
3253 |
0 |
0 |
T1 |
127310 |
5 |
0 |
0 |
T2 |
130236 |
3 |
0 |
0 |
T3 |
66127 |
2 |
0 |
0 |
T55 |
36678 |
1 |
0 |
0 |
T59 |
37814 |
1 |
0 |
0 |
T81 |
53114 |
1 |
0 |
0 |
T82 |
54662 |
2 |
0 |
0 |
T83 |
30900 |
1 |
0 |
0 |
T84 |
83835 |
1 |
0 |
0 |
T85 |
55191 |
2 |
0 |
0 |
reAfterRv
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
93431907 |
3253 |
0 |
0 |
T1 |
127310 |
5 |
0 |
0 |
T2 |
130236 |
3 |
0 |
0 |
T3 |
66127 |
2 |
0 |
0 |
T55 |
36678 |
1 |
0 |
0 |
T59 |
37814 |
1 |
0 |
0 |
T81 |
53114 |
1 |
0 |
0 |
T82 |
54662 |
2 |
0 |
0 |
T83 |
30900 |
1 |
0 |
0 |
T84 |
83835 |
1 |
0 |
0 |
T85 |
55191 |
2 |
0 |
0 |
rePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
93431907 |
2484 |
0 |
0 |
T1 |
127310 |
5 |
0 |
0 |
T2 |
130236 |
3 |
0 |
0 |
T3 |
66127 |
2 |
0 |
0 |
T55 |
36678 |
1 |
0 |
0 |
T59 |
37814 |
1 |
0 |
0 |
T81 |
53114 |
1 |
0 |
0 |
T82 |
54662 |
2 |
0 |
0 |
T83 |
30900 |
1 |
0 |
0 |
T84 |
83835 |
1 |
0 |
0 |
T85 |
55191 |
2 |
0 |
0 |
wePulse
Name | Attempts | Real Successes | Failures | Incomplete |
Total |
93431907 |
769 |
0 |
0 |
T13 |
21731 |
0 |
0 |
0 |
T16 |
0 |
14 |
0 |
0 |
T56 |
0 |
2 |
0 |
0 |
T61 |
154085 |
0 |
0 |
0 |
T68 |
201522 |
0 |
0 |
0 |
T97 |
0 |
80 |
0 |
0 |
T119 |
0 |
28 |
0 |
0 |
T125 |
0 |
39 |
0 |
0 |
T128 |
44490 |
13 |
0 |
0 |
T134 |
0 |
12 |
0 |
0 |
T147 |
0 |
6 |
0 |
0 |
T148 |
0 |
6 |
0 |
0 |
T185 |
78871 |
0 |
0 |
0 |
T216 |
55843 |
0 |
0 |
0 |
T229 |
19486 |
0 |
0 |
0 |
T343 |
0 |
28 |
0 |
0 |
T344 |
32195 |
0 |
0 |
0 |
T345 |
20345 |
0 |
0 |
0 |
T346 |
21757 |
0 |
0 |
0 |