Line Coverage for Module :
dm_mem
| Line No. | Total | Covered | Percent |
TOTAL | | 190 | 152 | 80.00 |
CONT_ASSIGN | 109 | 1 | 1 | 100.00 |
CONT_ASSIGN | 110 | 1 | 1 | 100.00 |
CONT_ASSIGN | 117 | 1 | 1 | 100.00 |
CONT_ASSIGN | 118 | 1 | 1 | 100.00 |
CONT_ASSIGN | 119 | 1 | 1 | 100.00 |
CONT_ASSIGN | 121 | 1 | 1 | 100.00 |
CONT_ASSIGN | 122 | 1 | 1 | 100.00 |
CONT_ASSIGN | 123 | 1 | 1 | 100.00 |
CONT_ASSIGN | 124 | 1 | 1 | 100.00 |
CONT_ASSIGN | 132 | 1 | 1 | 100.00 |
CONT_ASSIGN | 133 | 1 | 1 | 100.00 |
CONT_ASSIGN | 134 | 1 | 1 | 100.00 |
CONT_ASSIGN | 135 | 1 | 1 | 100.00 |
CONT_ASSIGN | 138 | 1 | 1 | 100.00 |
ALWAYS | 145 | 37 | 37 | 100.00 |
CONT_ASSIGN | 223 | 1 | 1 | 100.00 |
CONT_ASSIGN | 228 | 1 | 1 | 100.00 |
ALWAYS | 236 | 48 | 43 | 89.58 |
ROUTINE | 372 | 1 | 1 | 100.00 |
ALWAYS | 385 | 15 | 12 | 80.00 |
ALWAYS | 408 | 3 | 3 | 100.00 |
CONT_ASSIGN | 415 | 1 | 1 | 100.00 |
ALWAYS | 419 | 54 | 24 | 44.44 |
CONT_ASSIGN | 554 | 1 | 1 | 100.00 |
ALWAYS | 584 | 9 | 9 | 100.00 |
ALWAYS | 598 | 5 | 5 | 100.00 |
WARNING: The source file '/workspace/default/sim-vcs/../src/pulp-platform_riscv-dbg_0.1_0/pulp_riscv_dbg/src/dm_mem.sv' or '../src/pulp-platform_riscv-dbg_0.1_0/pulp_riscv_dbg/src/dm_mem.sv' was not found, so annotated line coverage report could not be generated.
Line No. | Covered | Statements | |
109 |
1 |
1 |
110 |
1 |
1 |
117 |
1 |
1 |
118 |
1 |
1 |
119 |
1 |
1 |
121 |
1 |
1 |
122 |
1 |
1 |
123 |
1 |
1 |
124 |
1 |
1 |
132 |
1 |
1 |
133 |
1 |
1 |
134 |
1 |
1 |
135 |
1 |
1 |
138 |
1 |
1 |
145 |
1 |
1 |
146 |
1 |
1 |
147 |
1 |
1 |
148 |
1 |
1 |
149 |
1 |
1 |
150 |
1 |
1 |
152 |
1 |
1 |
154 |
1 |
1 |
155 |
1 |
1 |
157 |
1 |
1 |
158 |
1 |
1 |
160 |
1 |
1 |
161 |
1 |
1 |
|
|
|
MISSING_ELSE |
165 |
1 |
1 |
167 |
1 |
1 |
|
|
|
MISSING_ELSE |
173 |
1 |
1 |
174 |
1 |
1 |
176 |
1 |
1 |
177 |
1 |
1 |
|
|
|
MISSING_ELSE |
182 |
1 |
1 |
183 |
1 |
1 |
184 |
1 |
1 |
185 |
1 |
1 |
|
|
|
MISSING_ELSE |
190 |
1 |
1 |
191 |
1 |
1 |
193 |
1 |
1 |
194 |
1 |
1 |
|
|
|
MISSING_ELSE |
203 |
1 |
1 |
204 |
1 |
1 |
205 |
1 |
1 |
|
|
|
MISSING_ELSE |
208 |
1 |
1 |
209 |
1 |
1 |
210 |
1 |
1 |
|
|
|
MISSING_ELSE |
213 |
1 |
1 |
215 |
1 |
1 |
216 |
1 |
1 |
217 |
1 |
1 |
|
|
|
MISSING_ELSE |
223 |
1 |
1 |
228 |
1 |
1 |
236 |
1 |
1 |
237 |
1 |
1 |
238 |
1 |
1 |
239 |
1 |
1 |
240 |
1 |
1 |
241 |
1 |
1 |
244 |
1 |
1 |
245 |
1 |
1 |
246 |
1 |
1 |
247 |
1 |
1 |
250 |
1 |
1 |
251 |
1 |
1 |
|
|
|
MISSING_ELSE |
254 |
1 |
1 |
256 |
1 |
1 |
257 |
1 |
1 |
259 |
1 |
1 |
260 |
1 |
1 |
263 |
1 |
1 |
267 |
1 |
1 |
269 |
1 |
1 |
272 |
1 |
1 |
275 |
1 |
1 |
276 |
1 |
1 |
277 |
1 |
1 |
278 |
1 |
1 |
279 |
1 |
1 |
280 |
1 |
1 |
282 |
0 |
1 |
283 |
0 |
1 |
|
|
|
==> MISSING_ELSE |
286 |
1 |
1 |
|
|
|
==> MISSING_ELSE |
|
|
|
MISSING_ELSE |
298 |
1 |
1 |
302 |
1 |
1 |
303 |
1 |
1 |
|
|
|
MISSING_ELSE |
307 |
1 |
1 |
310 |
1 |
1 |
312 |
0 |
1 |
315 |
1 |
1 |
|
|
|
==> MISSING_ELSE |
321 |
1 |
1 |
331 |
0 |
1 |
338 |
0 |
1 |
344 |
1 |
1 |
346 |
1 |
1 |
|
|
|
==> MISSING_ELSE |
348 |
1 |
1 |
353 |
1 |
1 |
|
|
|
MISSING_ELSE |
360 |
1 |
1 |
362 |
1 |
1 |
363 |
1 |
1 |
|
|
|
MISSING_ELSE |
366 |
1 |
1 |
372 |
1 |
1 |
385 |
1 |
1 |
386 |
1 |
1 |
387 |
1 |
1 |
388 |
1 |
1 |
389 |
1 |
1 |
390 |
1 |
1 |
391 |
1 |
1 |
392 |
1 |
1 |
393 |
1 |
1 |
394 |
0 |
1 |
395 |
0 |
1 |
396 |
1 |
1 |
397 |
1 |
1 |
401 |
1 |
1 |
402 |
0 |
1 |
|
|
|
MISSING_ELSE |
|
|
|
MISSING_ELSE |
408 |
1 |
1 |
409 |
1 |
1 |
411 |
1 |
1 |
415 |
1 |
1 |
419 |
1 |
1 |
422 |
1 |
1 |
424 |
1 |
1 |
426 |
1 |
1 |
427 |
1 |
1 |
428 |
1 |
1 |
429 |
1 |
1 |
430 |
1 |
1 |
431 |
1 |
1 |
432 |
1 |
1 |
433 |
1 |
1 |
434 |
1 |
1 |
437 |
1 |
1 |
442 |
1 |
1 |
444 |
1 |
1 |
446 |
1 |
1 |
447 |
0 |
1 |
448 |
0 |
1 |
451 |
1 |
1 |
454 |
0 |
1 |
456 |
0 |
1 |
458 |
0 |
1 |
460 |
0 |
1 |
462 |
1 |
1 |
464 |
1 |
1 |
465 |
0 |
1 |
468 |
1 |
1 |
475 |
0 |
1 |
477 |
0 |
1 |
479 |
0 |
1 |
481 |
0 |
1 |
483 |
1 |
1 |
485 |
0 |
1 |
489 |
0 |
1 |
490 |
0 |
1 |
491 |
0 |
1 |
494 |
0 |
1 |
497 |
0 |
1 |
499 |
0 |
1 |
501 |
0 |
1 |
503 |
0 |
1 |
505 |
0 |
1 |
507 |
0 |
1 |
508 |
0 |
1 |
511 |
0 |
1 |
518 |
0 |
1 |
520 |
0 |
1 |
522 |
0 |
1 |
524 |
0 |
1 |
526 |
1 |
1 |
530 |
0 |
1 |
531 |
0 |
1 |
|
|
|
MISSING_ELSE |
538 |
1 |
1 |
540 |
1 |
1 |
|
|
|
MISSING_ELSE |
554 |
1 |
1 |
584 |
1 |
1 |
585 |
1 |
1 |
586 |
1 |
1 |
587 |
1 |
1 |
588 |
1 |
1 |
590 |
1 |
1 |
591 |
1 |
1 |
592 |
1 |
1 |
593 |
1 |
1 |
598 |
1 |
1 |
599 |
1 |
1 |
600 |
1 |
1 |
602 |
1 |
1 |
603 |
1 |
1 |
Cond Coverage for Module :
dm_mem
| Total | Covered | Percent |
Conditions | 62 | 34 | 54.84 |
Logical | 62 | 34 | 54.84 |
Non-Logical | 0 | 0 | |
Event | 0 | 0 | |
LINE 155
EXPRESSION (cmd_valid_i && halted_q_aligned[hartsel] && ((!unsupported_command)))
-----1----- ------------2------------ ------------3-----------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Covered | T4,T5,T6 |
1 | 0 | 1 | Covered | T21,T22 |
1 | 1 | 0 | Covered | T4,T5,T7 |
1 | 1 | 1 | Covered | T4,T6,T9 |
LINE 165
EXPRESSION (resumereq_aligned[hartsel] && ((!resuming_q_aligned[hartsel])) && ((!haltreq_aligned[hartsel])) && halted_q_aligned[hartsel])
-------------1------------ ----------------2--------------- --------------3-------------- ------------4------------
-1- | -2- | -3- | -4- | Status | Tests |
0 | 1 | 1 | 1 | Covered | T4,T5,T6 |
1 | 0 | 1 | 1 | Not Covered | |
1 | 1 | 0 | 1 | Covered | T4,T7,T13 |
1 | 1 | 1 | 0 | Covered | T23,T15,T24 |
1 | 1 | 1 | 1 | Covered | T4,T7,T13 |
LINE 203
EXPRESSION (unsupported_command && cmd_valid_i)
---------1--------- -----2-----
-1- | -2- | Status | Tests |
0 | 1 | Covered | T4,T6,T9 |
1 | 0 | Covered | T4,T19,T5 |
1 | 1 | Covered | T4,T19,T5 |
LINE 223
EXPRESSION (fwd_rom_q ? rom_rdata : rdata_q)
----1----
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T25,T26 |
LINE 228
EXPRESSION (word_enable32_q ? word_mux[32+:32] : word_mux[0+:32])
-------1-------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Covered | T4,T11,T27 |
LINE 277
EXPRESSION ((addr_i[(DbgAddressBits - 1):2] - DataBaseAddr[(DbgAddressBits - 1):2]) == dc)
---------------------------------------1---------------------------------------
-1- | Status | Tests |
0 | Covered | T4,T20,T15 |
1 | Covered | T4,T20,T15 |
LINE 310
EXPRESSION ((cmd_i.cmdtype == AccessRegister) && ((!ac_ar.transfer)) && ac_ar.postexec)
----------------1---------------- ---------2--------- -------3------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Not Covered | |
1 | 0 | 1 | Not Covered | |
1 | 1 | 0 | Covered | T4,T7,T13 |
1 | 1 | 1 | Not Covered | |
LINE 310
SUB-EXPRESSION (cmd_i.cmdtype == AccessRegister)
----------------1----------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Covered | T4,T7,T13 |
LINE 344
EXPRESSION (({addr_i[(DbgAddressBits - 1):3], 3'b0} - FlagsBaseAddr[(DbgAddressBits - 1):0]) == (12'(hartsel) & {{(DbgAddressBits - 3) {1'b1}}, 3'b0}))
----------------------------------------------------------------------1---------------------------------------------------------------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Covered | T4,T7,T13 |
LINE 442
EXPRESSION ((32'(ac_ar.aarsize) < MaxAar) && ac_ar.transfer && ac_ar.write)
--------------1-------------- -------2------ -----3-----
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Not Covered | |
1 | 0 | 1 | Covered | T28,T29 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Covered | T4,T6,T9 |
LINE 446
EXPRESSION (ac_ar.regno[15:14] != '0)
-------------1------------
-1- | Status | Tests |
0 | Covered | T4,T6,T9 |
1 | Not Covered | |
LINE 451
EXPRESSION (HasSndScratch && ac_ar.regno[12] && ((!ac_ar.regno[5])) && (ac_ar.regno[4:0] == 5'd10))
------1------ -------2------- ---------3--------- -------------4-------------
-1- | -2- | -3- | -4- | Status | Tests |
- | 0 | 1 | 1 | Not Covered | |
- | 1 | 0 | 1 | Not Covered | |
- | 1 | 1 | 0 | Covered | T4,T6,T9 |
- | 1 | 1 | 1 | Not Covered | |
LINE 451
SUB-EXPRESSION (ac_ar.regno[4:0] == 5'd10)
-------------1-------------
-1- | Status | Tests |
0 | Covered | T4,T6,T9 |
1 | Not Covered | |
LINE 483
EXPRESSION ((32'(ac_ar.aarsize) < MaxAar) && ac_ar.transfer && ((!ac_ar.write)))
--------------1-------------- -------2------ --------3-------
-1- | -2- | -3- | Status | Tests |
0 | 1 | 1 | Not Covered | |
1 | 0 | 1 | Covered | T1,T2,T3 |
1 | 1 | 0 | Not Covered | |
1 | 1 | 1 | Not Covered | |
LINE 489
EXPRESSION (ac_ar.regno[15:14] != '0)
-------------1------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 494
EXPRESSION (HasSndScratch && ac_ar.regno[12] && ((!ac_ar.regno[5])) && (ac_ar.regno[4:0] == 5'd10))
------1------ -------2------- ---------3--------- -------------4-------------
-1- | -2- | -3- | -4- | Status | Tests |
- | 0 | 1 | 1 | Not Covered | |
- | 1 | 0 | 1 | Not Covered | |
- | 1 | 1 | 0 | Not Covered | |
- | 1 | 1 | 1 | Not Covered | |
LINE 494
SUB-EXPRESSION (ac_ar.regno[4:0] == 5'd10)
-------------1-------------
-1- | Status | Tests |
0 | Not Covered | |
1 | Not Covered | |
LINE 526
EXPRESSION ((32'(ac_ar.aarsize) >= MaxAar) || (ac_ar.aarpostincrement == 1'b1))
---------------1-------------- ----------------2---------------
-1- | -2- | Status | Tests |
0 | 0 | Covered | T1,T2,T3 |
0 | 1 | Not Covered | |
1 | 0 | Not Covered | |
LINE 526
SUB-EXPRESSION (ac_ar.aarpostincrement == 1'b1)
----------------1---------------
-1- | Status | Tests |
0 | Covered | T1,T2,T3 |
1 | Not Covered | |
LINE 538
EXPRESSION (ac_ar.postexec && ((!unsupported_command)))
-------1------ ------------2-----------
-1- | -2- | Status | Tests |
0 | 1 | Covered | T1,T2,T3 |
1 | 0 | Not Covered | |
1 | 1 | Covered | T28,T29 |
LINE 602
EXPRESSION (SelectableHarts & halted_d)
-------1------- ----2---
-1- | -2- | Status | Tests |
- | 0 | Covered | T1,T2,T3 |
- | 1 | Covered | T4,T5,T6 |
LINE 603
EXPRESSION (SelectableHarts & resuming_d)
-------1------- -----2----
-1- | -2- | Status | Tests |
- | 0 | Covered | T1,T2,T3 |
- | 1 | Covered | T4,T7,T13 |
FSM Coverage for Module :
dm_mem
Summary for FSM :: state_q
| Total | Covered | Percent | |
States |
4 |
4 |
100.00 |
(Not included in score) |
Transitions |
6 |
6 |
100.00 |
|
Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
states | Line No. | Covered | Tests |
CmdExecuting |
177 |
Covered |
T4,T7,T13 |
Go |
157 |
Covered |
T4,T6,T9 |
Idle |
185 |
Covered |
T1,T2,T3 |
Resume |
167 |
Covered |
T4,T7,T13 |
transitions | Line No. | Covered | Tests |
CmdExecuting->Idle |
194 |
Covered |
T4,T7,T13 |
Go->CmdExecuting |
177 |
Covered |
T4,T7,T13 |
Go->Idle |
215 |
Covered |
T4,T15,T24 |
Idle->Go |
157 |
Covered |
T4,T6,T9 |
Idle->Resume |
167 |
Covered |
T4,T7,T13 |
Resume->Idle |
185 |
Covered |
T4,T7,T13 |
Branch Coverage for Module :
dm_mem
| Line No. | Total | Covered | Percent |
Branches |
|
80 |
58 |
72.50 |
TERNARY |
223 |
2 |
2 |
100.00 |
TERNARY |
228 |
2 |
2 |
100.00 |
CASE |
152 |
12 |
11 |
91.67 |
IF |
203 |
2 |
2 |
100.00 |
IF |
208 |
2 |
2 |
100.00 |
IF |
213 |
2 |
2 |
100.00 |
IF |
250 |
2 |
2 |
100.00 |
IF |
254 |
19 |
12 |
63.16 |
IF |
360 |
2 |
2 |
100.00 |
IF |
386 |
14 |
10 |
71.43 |
IF |
408 |
2 |
2 |
100.00 |
CASE |
437 |
15 |
5 |
33.33 |
IF |
584 |
2 |
2 |
100.00 |
IF |
598 |
2 |
2 |
100.00 |
WARNING: The source file /workspace/default/sim-vcs/../src/pulp-platform_riscv-dbg_0.1_0/pulp_riscv_dbg/src/dm_mem.sv' or '../src/pulp-platform_riscv-dbg_0.1_0/pulp_riscv_dbg/src/dm_mem.sv was not found/opened, so annotated branch coverage report could not be generated.
LineNo. Expression
-1-: 223 (fwd_rom_q) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T25,T26 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 228 (word_enable32_q) ?
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T11,T27 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 152 case (state_q)
-2-: 155 if (((cmd_valid_i && halted_q_aligned[hartsel]) && (!unsupported_command)))
-3-: 158 if (cmd_valid_i)
-4-: 165 if ((((resumereq_aligned[hartsel] && (!resuming_q_aligned[hartsel])) && (!haltreq_aligned[hartsel])) && halted_q_aligned[hartsel]))
-5-: 176 if (going)
-6-: 184 if (resuming_q_aligned[hartsel])
-7-: 193 if (halted_aligned[hartsel])
Branches:
-1- | -2- | -3- | -4- | -5- | -6- | -7- | Status | Tests |
Idle |
1 |
- |
- |
- |
- |
- |
Covered |
T4,T6,T9 |
Idle |
0 |
1 |
- |
- |
- |
- |
Covered |
T4,T19,T5 |
Idle |
0 |
0 |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
Idle |
- |
- |
1 |
- |
- |
- |
Covered |
T4,T7,T13 |
Idle |
- |
- |
0 |
- |
- |
- |
Covered |
T1,T2,T3 |
Go |
- |
- |
- |
1 |
- |
- |
Covered |
T4,T7,T13 |
Go |
- |
- |
- |
0 |
- |
- |
Covered |
T4,T6,T9 |
Resume |
- |
- |
- |
- |
1 |
- |
Covered |
T4,T7,T13 |
Resume |
- |
- |
- |
- |
0 |
- |
Covered |
T4,T7,T13 |
CmdExecuting |
- |
- |
- |
- |
- |
1 |
Covered |
T4,T7,T13 |
CmdExecuting |
- |
- |
- |
- |
- |
0 |
Covered |
T4,T7,T13 |
default |
- |
- |
- |
- |
- |
- |
Not Covered |
|
LineNo. Expression
-1-: 203 if ((unsupported_command && cmd_valid_i))
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T19,T5 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 208 if (exception)
Branches:
-1- | Status | Tests |
1 |
Covered |
T6,T30 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 213 if (ndmreset_i)
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T8,T5 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 250 if (clear_resumeack_i)
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T7,T13 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 254 if (req_i)
-2-: 256 if (we_i)
-3-: 257 case (addr_i[(DbgAddressBits - 1):0])
-4-: 298 case (addr_i[(DbgAddressBits - 1):0])
-5-: 302 if (resumereq_wdata_aligned[wdata_hartsel])
-6-: 307 if (cmdbusy_o)
-7-: 310 if ((((cmd_i.cmdtype == AccessRegister) && (!ac_ar.transfer)) && ac_ar.postexec))
-8-: 344 if ((({addr_i[(DbgAddressBits - 1):3], 3'b0} - FlagsBaseAddr[(DbgAddressBits - 1):0]) == (12'(hartsel) & {{(DbgAddressBits - 3) {1'b1}}, 3'b0})))
Branches:
-1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | Status | Tests |
1 |
1 |
HaltedAddr |
- |
- |
- |
- |
- |
Covered |
T4,T5,T6 |
1 |
1 |
GoingAddr |
- |
- |
- |
- |
- |
Covered |
T4,T7,T13 |
1 |
1 |
ResumingAddr |
- |
- |
- |
- |
- |
Covered |
T4,T7,T13 |
1 |
1 |
ExceptionAddr |
- |
- |
- |
- |
- |
Covered |
T6,T30 |
1 |
1 |
DataBaseAddr DataEndAddr |
- |
- |
- |
- |
- |
Covered |
T4,T20,T15 |
1 |
1 |
default |
- |
- |
- |
- |
- |
Not Covered |
|
1 |
0 |
- |
WhereToAddr |
1 |
- |
- |
- |
Covered |
T4,T7,T13 |
1 |
0 |
- |
WhereToAddr |
0 |
- |
- |
- |
Covered |
T4,T7,T13 |
1 |
0 |
- |
WhereToAddr |
- |
1 |
1 |
- |
Not Covered |
|
1 |
0 |
- |
WhereToAddr |
- |
1 |
0 |
- |
Covered |
T4,T7,T13 |
1 |
0 |
- |
WhereToAddr |
- |
0 |
- |
- |
Not Covered |
|
1 |
0 |
- |
DataBaseAddr DataEndAddr |
- |
- |
- |
- |
Covered |
T4,T15,T16 |
1 |
0 |
- |
ProgBufBaseAddr ProgBufEndAddr |
- |
- |
- |
- |
Not Covered |
|
1 |
0 |
- |
AbstractCmdBaseAddr AbstractCmdEndAddr |
- |
- |
- |
- |
Not Covered |
|
1 |
0 |
- |
FlagsBaseAddr FlagsEndAddr |
- |
- |
- |
1 |
Covered |
T4,T7,T13 |
1 |
0 |
- |
FlagsBaseAddr FlagsEndAddr |
- |
- |
- |
0 |
Not Covered |
|
1 |
0 |
- |
RomBaseAddr RomEndAddr |
- |
- |
- |
- |
Covered |
T25,T26 |
1 |
0 |
- |
default |
- |
- |
- |
- |
Not Covered |
|
0 |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 360 if (ndmreset_i)
Branches:
-1- | Status | Tests |
1 |
Covered |
T4,T8,T5 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 386 if (req_i)
-2-: 387 case (addr_i[(DbgAddressBits - 1):0])
-3-: 401 if ((addr_i[($clog2(BeWidth) - 1):0] != '0))
Branches:
-1- | -2- | -3- | Status | Tests |
1 |
WhereToAddr |
- |
Covered |
T4,T7,T13 |
1 |
HaltedAddr |
- |
Covered |
T4,T5,T6 |
1 |
GoingAddr |
- |
Covered |
T4,T7,T13 |
1 |
ResumingAddr |
- |
Covered |
T4,T7,T13 |
1 |
ExceptionAddr |
- |
Covered |
T6,T30 |
1 |
DataBaseAddr DataEndAddr |
- |
Covered |
T4,T20,T15 |
1 |
ProgBufBaseAddr ProgBufEndAddr |
- |
Not Covered |
|
1 |
AbstractCmdBaseAddr AbstractCmdEndAddr |
- |
Not Covered |
|
1 |
FlagsBaseAddr FlagsEndAddr |
- |
Covered |
T4,T7,T13 |
1 |
RomBaseAddr RomEndAddr |
- |
Covered |
T25,T26 |
1 |
default |
- |
Not Covered |
|
1 |
- |
1 |
Not Covered |
|
1 |
- |
0 |
Covered |
T4,T5,T6 |
0 |
- |
- |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 408 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 437 case (cmd_i.cmdtype)
-2-: 442 if ((((32'(ac_ar.aarsize) < MaxAar) && ac_ar.transfer) && ac_ar.write))
-3-: 446 if ((ac_ar.regno[15:14] != '0))
-4-: 451 if ((((HasSndScratch && ac_ar.regno[12]) && (!ac_ar.regno[5])) && (ac_ar.regno[4:0] == 5'd10)))
-5-: 462 if (ac_ar.regno[12])
-6-: 464 if (ac_ar.regno[5])
-7-: 483 if ((((32'(ac_ar.aarsize) < MaxAar) && ac_ar.transfer) && (!ac_ar.write)))
-8-: 489 if ((ac_ar.regno[15:14] != '0))
-9-: 494 if ((((HasSndScratch && ac_ar.regno[12]) && (!ac_ar.regno[5])) && (ac_ar.regno[4:0] == 5'd10)))
-10-: 505 if (ac_ar.regno[12])
-11-: 507 if (ac_ar.regno[5])
-12-: 526 if (((32'(ac_ar.aarsize) >= MaxAar) || (ac_ar.aarpostincrement == 1'b1)))
-13-: 538 if ((ac_ar.postexec && (!unsupported_command)))
Branches:
-1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | -9- | -10- | -11- | -12- | -13- | Status | Tests |
AccessRegister |
1 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
AccessRegister |
1 |
0 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
AccessRegister |
1 |
0 |
0 |
1 |
1 |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
AccessRegister |
1 |
0 |
0 |
1 |
0 |
- |
- |
- |
- |
- |
- |
- |
Covered |
T4,T6,T9 |
AccessRegister |
1 |
0 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
AccessRegister |
0 |
- |
- |
- |
- |
1 |
1 |
- |
- |
- |
- |
- |
Not Covered |
|
AccessRegister |
0 |
- |
- |
- |
- |
1 |
0 |
1 |
- |
- |
- |
- |
Not Covered |
|
AccessRegister |
0 |
- |
- |
- |
- |
1 |
0 |
0 |
1 |
1 |
- |
- |
Not Covered |
|
AccessRegister |
0 |
- |
- |
- |
- |
1 |
0 |
0 |
1 |
0 |
- |
- |
Not Covered |
|
AccessRegister |
0 |
- |
- |
- |
- |
1 |
0 |
0 |
0 |
- |
- |
- |
Not Covered |
|
AccessRegister |
0 |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
1 |
- |
Not Covered |
|
AccessRegister |
0 |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
0 |
- |
Covered |
T1,T2,T3 |
AccessRegister |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
Covered |
T28,T29 |
AccessRegister |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
Covered |
T1,T2,T3 |
default |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T4,T19,T5 |
LineNo. Expression
-1-: 584 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |
LineNo. Expression
-1-: 598 if ((!rst_ni))
Branches:
-1- | Status | Tests |
1 |
Covered |
T1,T2,T3 |
0 |
Covered |
T1,T2,T3 |