NVC code coverage report

Current Instance	Statement	Branch	Toggle	Expression	FSM state	Functional	Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(0).TXT_BUF_EVEN_GEN.TXT_BUFFER_EVEN_INST.TXT_BUFFER_FSM_INST	100.0 % (80/80)	100.0 % (94/94)	100.0 % (70/70)	100.0 % (151/151)	100.0 % (16/16)	N.A.	100.0 % (411/411)

Uncovered statements:

Excluded statements:

Covered statements:

If statement on lines 175 to 179:

175:    transient_state <= '1' when ((curr_state = s_txt_ab_prog) or 
176:                                 (curr_state = s_txt_tx_prog) or 
177:                                 (curr_state = s_txt_ready)) 
178:                          else 
179:                      '0';

Count: 47417
Threshold: 1

Signal assignment statement on line 175:

175: transient_state <= '1' when ((curr_state = s_txt_ab_prog) or
Count: 29869
Threshold: 1

Signal assignment statement on line 179:

179: '0';
Count: 17548
Threshold: 1

If statement on lines 181 to 185:

181:    go_to_failed <= '1' when ((is_bus_off = '1' and mr_settings_tbfbo = TXTBUF_FAILED_BUS_OFF_ENABLED) or 
182:                              mr_mode_bmm = BMM_ENABLED or 
183:                              mr_mode_rom = ROM_ENABLED) 
184:                        else 
185:                    '0';

Count: 21650
Threshold: 1

Signal assignment statement on line 181:

181:    go_to_failed <= '1' when ((is_bus_off = '1' and mr_settings_tbfbo = TXTBUF_FAILED_BUS_OFF_ENABLED) or

Count: 5365
Threshold: 1

Signal assignment statement on line 185:

185: '0';
Count: 16285
Threshold: 1

If statement on lines 187 to 189:

187:    txtb_hw_cmd_i <= txtb_hw_cmd when (txtb_hw_cmd_cs = '1') 
188:                                 else 
189:                     (others => '0');

Count: 117516
Threshold: 1

Signal assignment statement on line 187:

187: txtb_hw_cmd_i <= txtb_hw_cmd when (txtb_hw_cmd_cs = '1')
Count: 66508
Threshold: 1

Signal assignment statement on line 189:

189: (others => '0');
Count: 51008
Threshold: 1

If statement on lines 191 to 192:

191:    arbl_or_err <= '1' when (txtb_hw_cmd_i.err = '1' or txtb_hw_cmd_i.arbl = '1') else 
192:                   '0';

Count: 10526
Threshold: 1

Signal assignment statement on line 191:

191: arbl_or_err <= '1' when (txtb_hw_cmd_i.err = '1' or txtb_hw_cmd_i.arbl = '1') else
Count: 2061
Threshold: 1

Signal assignment statement on line 192:

192: '0';
Count: 8465
Threshold: 1

Signal assignment statement on line 194:

194: txtb_allow_bb <= transient_state;
Count: 28718
Threshold: 1

Signal assignment statement on line 203:

203: next_state <= curr_state;
Count: 164078
Threshold: 1

Sequential statement on lines 205 to 361:

205:        case curr_state is 
206: 
...
360: 
361:        end case;

Count: 164078
Threshold: 1

If statement on lines 213 to 215:

213:            if (tx_command_txcr_valid = '1') then 
214:                next_state <= s_txt_ready; 
215:            end if;

Count: 24493
Threshold: 1

Signal assignment statement on line 214:

214: next_state <= s_txt_ready;
Count: 4589
Threshold: 1

If statement on lines 223 to 243:

223:            if (go_to_failed = '1') then 
224:                next_state <= s_txt_failed; 
...
242:                next_state <= s_txt_aborted; 
243:            end if;

Count: 47506
Threshold: 1

Signal assignment statement on line 224:

224: next_state <= s_txt_failed;
Count: 97
Threshold: 1

Signal assignment statement on line 228:

228: next_state <= s_txt_parity_err;
Count: 260
Threshold: 1

If statement on lines 234 to 238:

234:                if (abort_applied = '1') then 
235:                    next_state <= s_txt_ab_prog; 
236:                else 
237:                    next_state <= s_txt_tx_prog; 
238:                end if;

Count: 14376
Threshold: 1

Signal assignment statement on line 235:

235: next_state <= s_txt_ab_prog;
Count: 7
Threshold: 1

Signal assignment statement on line 237:

237: next_state <= s_txt_tx_prog;
Count: 14369
Threshold: 1

Signal assignment statement on line 242:

242: next_state <= s_txt_aborted;
Count: 261
Threshold: 1

If statement on lines 251 to 277:

251:            if (go_to_failed = '1') then 
252:                next_state <= s_txt_failed; 
...
276:                next_state <= s_txt_ab_prog; 
277:            end if;

Count: 46005
Threshold: 1

Signal assignment statement on line 252:

252: next_state <= s_txt_failed;
Count: 10
Threshold: 1

Signal assignment statement on line 256:

256: next_state <= s_txt_parity_err;
Count: 86
Threshold: 1

Signal assignment statement on line 260:

260: next_state <= s_txt_failed;
Count: 6760
Threshold: 1

Signal assignment statement on line 264:

264: next_state <= s_txt_ok;
Count: 4824
Threshold: 1

If statement on lines 268 to 272:

268:                if (abort_applied = '1') then 
269:                    next_state <= s_txt_aborted; 
270:                else 
271:                    next_state <= s_txt_ready; 
272:                end if;

Count: 2029
Threshold: 1

Signal assignment statement on line 269:

269: next_state <= s_txt_aborted;
Count: 5
Threshold: 1

Signal assignment statement on line 271:

271: next_state <= s_txt_ready;
Count: 2024
Threshold: 1

Signal assignment statement on line 276:

276: next_state <= s_txt_ab_prog;
Count: 1434
Threshold: 1

If statement on lines 285 to 303:

285:            if (go_to_failed = '1') then 
286:                next_state <= s_txt_failed; 
...
302:                next_state <= s_txt_aborted; 
303:            end if;

Count: 2914
Threshold: 1

Signal assignment statement on line 286:

286: next_state <= s_txt_failed;
Count: 5
Threshold: 1

Signal assignment statement on line 290:

290: next_state <= s_txt_parity_err;
Count: 15
Threshold: 1

Signal assignment statement on line 294:

294: next_state <= s_txt_failed;
Count: 18
Threshold: 1

Signal assignment statement on line 298:

298: next_state <= s_txt_ok;
Count: 657
Threshold: 1

Signal assignment statement on line 302:

302: next_state <= s_txt_aborted;
Count: 32
Threshold: 1

If statement on lines 311 to 317:

311:            if (tx_command_txcr_valid = '1') then 
312:                next_state <= s_txt_ready; 
...
316:                next_state <= s_txt_empty; 
317:            end if;

Count: 23203
Threshold: 1

Signal assignment statement on line 312:

312: next_state <= s_txt_ready;
Count: 7858
Threshold: 1

Signal assignment statement on line 316:

316: next_state <= s_txt_empty;
Count: 25
Threshold: 1

If statement on lines 325 to 331:

325:            if (tx_command_txcr_valid = '1') then 
326:                next_state <= s_txt_ready; 
...
330:                next_state <= s_txt_empty; 
331:            end if;

Count: 1182
Threshold: 1

Signal assignment statement on line 326:

326: next_state <= s_txt_ready;
Count: 283
Threshold: 1

Signal assignment statement on line 330:

330: next_state <= s_txt_empty;
Count: 5
Threshold: 1

If statement on lines 339 to 345:

339:            if (tx_command_txcr_valid = '1') then 
340:                next_state <= s_txt_ready; 
...
344:                next_state <= s_txt_empty; 
345:            end if;

Count: 18262
Threshold: 1

Signal assignment statement on line 340:

340: next_state <= s_txt_ready;
Count: 5156
Threshold: 1

Signal assignment statement on line 344:

344: next_state <= s_txt_empty;
Count: 15
Threshold: 1

If statement on lines 353 to 359:

353:            if (tx_command_txcr_valid = '1') then 
354:                next_state <= s_txt_ready; 
...
358:                next_state <= s_txt_empty; 
359:            end if;

Count: 513
Threshold: 1

Signal assignment statement on line 354:

354: next_state <= s_txt_ready;
Count: 64
Threshold: 1

Signal assignment statement on line 358:

358: next_state <= s_txt_empty;
Count: 50
Threshold: 1

If statement on lines 368 to 369:

368:    txt_fsm_ce <= '1' when (next_state /= curr_state) else 
369:                  '0';

Count: 104116
Threshold: 1

Signal assignment statement on line 368:

368: txt_fsm_ce <= '1' when (next_state /= curr_state) else
Count: 51260
Threshold: 1

Signal assignment statement on line 369:

369: '0';
Count: 52856
Threshold: 1

If statement on lines 376 to 382:

376:        if (res_n = '0') then 
377:            curr_state <= s_txt_empty; 
...
381:            end if; 
382:        end if;

Count: 1090018206
Threshold: 1

Signal assignment statement on line 377:

377: curr_state <= s_txt_empty;
Count: 2424883
Threshold: 1

If statement on lines 379 to 381:

379:            if (txt_fsm_ce = '1') then 
380:                curr_state <= next_state; 
381:            end if;

Count: 543791678
Threshold: 1

Signal assignment statement on line 380:

380: curr_state <= next_state;
Count: 42687
Threshold: 1

If statement on lines 389 to 393:

389:    txtb_user_accessible <= '0' when ((curr_state = s_txt_ready)   or 
390:                                      (curr_state = s_txt_tx_prog) or 
391:                                      (curr_state = s_txt_ab_prog)) 
392:                                  else 
393:                            '1';

Count: 47417
Threshold: 1

Signal assignment statement on line 389:

389: txtb_user_accessible <= '0' when ((curr_state = s_txt_ready) or
Count: 29869
Threshold: 1

Signal assignment statement on line 393:

393: '1';
Count: 17548
Threshold: 1

If statement on lines 396 to 407:

396:    txtb_hw_cmd_int <= '1' when (txtb_hw_cmd_i.failed = '1') or  -- Fail transition completely 
397:                                (txtb_hw_cmd_i.valid = '1') or   -- Finish transition OK 
...
406:                           else 
407:                       '0';

Count: 177928
Threshold: 1

Signal assignment statement on line 396:

396: txtb_hw_cmd_int <= '1' when (txtb_hw_cmd_i.failed = '1') or -- Fail transition completely
Count: 49150
Threshold: 1

Signal assignment statement on line 404:

404:                       '1' when (is_bus_off = '1' and next_state = s_txt_failed and

Count: 34
Threshold: 1

Signal assignment statement on line 407:

407: '0';
Count: 128744
Threshold: 1

If statement on lines 411 to 413:

411:    txtb_available   <= '1' when ((curr_state = s_txt_ready) and (abort_applied = '0')) 
412:                            else 
413:                        '0';

Count: 50986
Threshold: 1

Signal assignment statement on line 411:

411: txtb_available <= '1' when ((curr_state = s_txt_ready) and (abort_applied = '0'))
Count: 14782
Threshold: 1

Signal assignment statement on line 413:

413: '0';
Count: 36204
Threshold: 1

Sequential statement on lines 416 to 424:

416:    with curr_state select txtb_state <= 
417:        TXT_RDY   when s_txt_ready, 
...
423:        TXT_ETY   when s_txt_empty, 
424:        TXT_PER   when s_txt_parity_err;

Count: 47417
Threshold: 1

Signal assignment statement on line 417:

417: TXT_RDY when s_txt_ready,
Count: 14782
Threshold: 1

Signal assignment statement on line 418:

418: TXT_TRAN when s_txt_tx_prog,
Count: 14368
Threshold: 1

Signal assignment statement on line 419:

419: TXT_ABTP when s_txt_ab_prog,
Count: 719
Threshold: 1

Signal assignment statement on line 420:

420: TXT_TOK when s_txt_ok,
Count: 5481
Threshold: 1

Signal assignment statement on line 421:

421: TXT_ERR when s_txt_failed,
Count: 6835
Threshold: 1

Signal assignment statement on line 422:

422: TXT_ABT when s_txt_aborted,
Count: 293
Threshold: 1

Signal assignment statement on line 423:

423: TXT_ETY when s_txt_empty,
Count: 4820
Threshold: 1

Signal assignment statement on line 424:

424: TXT_PER when s_txt_parity_err;
Count: 119
Threshold: 1

If statement on lines 432 to 434:

432:    txtb_unmask_data_ram <= '1' when (transient_state = '1') 
433:                                else 
434:                            '0';

Count: 28718
Threshold: 1

Signal assignment statement on line 432:

432: txtb_unmask_data_ram <= '1' when (transient_state = '1')
Count: 12758
Threshold: 1

Signal assignment statement on line 434:

434: '0';
Count: 15960
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition on lines 175 to 177:

175:    transient_state <= '1' when ((curr_state = s_txt_ab_prog) or 
176:                                 (curr_state = s_txt_tx_prog) or 
177:                                 (curr_state = s_txt_ready))

	Evaluated to	Count	Threshold
Bin	True	29869	1
Bin	False	17548	1

"if" / "when" / "else" condition on lines 181 to 183:

181:    go_to_failed <= '1' when ((is_bus_off = '1' and mr_settings_tbfbo = TXTBUF_FAILED_BUS_OFF_ENABLED) or 
182:                              mr_mode_bmm = BMM_ENABLED or 
183:                              mr_mode_rom = ROM_ENABLED)

	Evaluated to	Count	Threshold
Bin	True	5365	1
Bin	False	16285	1

"if" / "when" / "else" condition on line 187:

187: txtb_hw_cmd_i <= txtb_hw_cmd when (txtb_hw_cmd_cs = '1')

	Evaluated to	Count	Threshold
Bin	True	66508	1
Bin	False	51008	1

"if" / "when" / "else" condition on line 191:

191: arbl_or_err <= '1' when (txtb_hw_cmd_i.err = '1' or txtb_hw_cmd_i.arbl = '1') else

	Evaluated to	Count	Threshold
Bin	True	2061	1
Bin	False	8465	1

"case" / "with" / "select" choice on line 210:

210: when s_txt_empty =>

	Choice of	Count	Threshold
Bin	`s_txt_empty`	24493	1

"if" / "when" / "else" condition on line 213:

213: if (tx_command_txcr_valid = '1') then

	Evaluated to	Count	Threshold
Bin	True	4589	1
Bin	False	19904	1

"case" / "with" / "select" choice on line 220:

220: when s_txt_ready =>

	Choice of	Count	Threshold
Bin	`s_txt_ready`	47506	1

"if" / "when" / "else" condition on line 223:

223: if (go_to_failed = '1') then

	Evaluated to	Count	Threshold
Bin	True	97	1
Bin	False	47409	1

"if" / "when" / "else" condition on line 227:

227: elsif (txtb_parity_error_valid = '1') then

	Evaluated to	Count	Threshold
Bin	True	260	1
Bin	False	47149	1

"if" / "when" / "else" condition on line 231:

231: elsif (txtb_hw_cmd_i.lock = '1') then

	Evaluated to	Count	Threshold
Bin	True	14376	1
Bin	False	32773	1

"if" / "when" / "else" condition on line 234:

234: if (abort_applied = '1') then

	Evaluated to	Count	Threshold
Bin	True	7	1
Bin	False	14369	1

"if" / "when" / "else" condition on line 241:

241: elsif (abort_or_skipped = '1') then

	Evaluated to	Count	Threshold
Bin	True	261	1
Bin	False	32512	1

"case" / "with" / "select" choice on line 248:

248: when s_txt_tx_prog =>

	Choice of	Count	Threshold
Bin	`s_txt_tx_prog`	46005	1

"if" / "when" / "else" condition on line 251:

251: if (go_to_failed = '1') then

	Evaluated to	Count	Threshold
Bin	True	10	1
Bin	False	45995	1

"if" / "when" / "else" condition on line 255:

255: elsif (txtb_parity_error_valid = '1') then

	Evaluated to	Count	Threshold
Bin	True	86	1
Bin	False	45909	1

"if" / "when" / "else" condition on line 259:

259: elsif (txtb_hw_cmd_i.failed = '1') then

	Evaluated to	Count	Threshold
Bin	True	6760	1
Bin	False	39149	1

"if" / "when" / "else" condition on line 263:

263: elsif (txtb_hw_cmd_i.valid = '1') then

	Evaluated to	Count	Threshold
Bin	True	4824	1
Bin	False	34325	1

"if" / "when" / "else" condition on line 267:

267: elsif (arbl_or_err = '1') then

	Evaluated to	Count	Threshold
Bin	True	2029	1
Bin	False	32296	1

"if" / "when" / "else" condition on line 268:

268: if (abort_applied = '1') then

	Evaluated to	Count	Threshold
Bin	True	5	1
Bin	False	2024	1

"if" / "when" / "else" condition on line 275:

275: elsif (abort_applied = '1') then

	Evaluated to	Count	Threshold
Bin	True	1434	1
Bin	False	30862	1

"case" / "with" / "select" choice on line 282:

282: when s_txt_ab_prog =>

	Choice of	Count	Threshold
Bin	`s_txt_ab_prog`	2914	1

"if" / "when" / "else" condition on line 285:

285: if (go_to_failed = '1') then

	Evaluated to	Count	Threshold
Bin	True	5	1
Bin	False	2909	1

"if" / "when" / "else" condition on line 289:

289: elsif (txtb_parity_error_valid = '1') then

	Evaluated to	Count	Threshold
Bin	True	15	1
Bin	False	2894	1

"if" / "when" / "else" condition on line 293:

293: elsif (txtb_hw_cmd_i.failed = '1') then

	Evaluated to	Count	Threshold
Bin	True	18	1
Bin	False	2876	1

"if" / "when" / "else" condition on line 297:

297: elsif (txtb_hw_cmd_i.valid = '1') then

	Evaluated to	Count	Threshold
Bin	True	657	1
Bin	False	2219	1

"if" / "when" / "else" condition on line 301:

301: elsif (arbl_or_err = '1') then

	Evaluated to	Count	Threshold
Bin	True	32	1
Bin	False	2187	1

"case" / "with" / "select" choice on line 308:

308: when s_txt_failed =>

	Choice of	Count	Threshold
Bin	`s_txt_failed`	23203	1

"if" / "when" / "else" condition on line 311:

311: if (tx_command_txcr_valid = '1') then

	Evaluated to	Count	Threshold
Bin	True	7858	1
Bin	False	15345	1

"if" / "when" / "else" condition on line 315:

315: elsif (tx_command_txce_valid = '1') then

	Evaluated to	Count	Threshold
Bin	True	25	1
Bin	False	15320	1

"case" / "with" / "select" choice on line 322:

322: when s_txt_aborted =>

	Choice of	Count	Threshold
Bin	`s_txt_aborted`	1182	1

"if" / "when" / "else" condition on line 325:

325: if (tx_command_txcr_valid = '1') then

	Evaluated to	Count	Threshold
Bin	True	283	1
Bin	False	899	1

"if" / "when" / "else" condition on line 329:

329: elsif (tx_command_txce_valid = '1') then

	Evaluated to	Count	Threshold
Bin	True	5	1
Bin	False	894	1

"case" / "with" / "select" choice on line 336:

336: when s_txt_ok =>

	Choice of	Count	Threshold
Bin	`s_txt_ok`	18262	1

"if" / "when" / "else" condition on line 339:

339: if (tx_command_txcr_valid = '1') then

	Evaluated to	Count	Threshold
Bin	True	5156	1
Bin	False	13106	1

"if" / "when" / "else" condition on line 343:

343: elsif (tx_command_txce_valid = '1') then

	Evaluated to	Count	Threshold
Bin	True	15	1
Bin	False	13091	1

"case" / "with" / "select" choice on line 350:

350: when s_txt_parity_err =>

	Choice of	Count	Threshold
Bin	`s_txt_parity_err`	513	1

"if" / "when" / "else" condition on line 353:

353: if (tx_command_txcr_valid = '1') then

	Evaluated to	Count	Threshold
Bin	True	64	1
Bin	False	449	1

"if" / "when" / "else" condition on line 357:

357: elsif (tx_command_txce_valid = '1') then

	Evaluated to	Count	Threshold
Bin	True	50	1
Bin	False	399	1

"if" / "when" / "else" condition on line 368:

368: txt_fsm_ce <= '1' when (next_state /= curr_state) else

	Evaluated to	Count	Threshold
Bin	True	51260	1
Bin	False	52856	1

"if" / "when" / "else" condition on line 376:

376: if (res_n = '0') then

	Evaluated to	Count	Threshold
Bin	True	2424883	1
Bin	False	1087593323	1

"if" / "when" / "else" condition on line 378:

378: elsif (rising_edge(clk_sys)) then

	Evaluated to	Count	Threshold
Bin	True	543791678	1
Bin	False	543801645	1

"if" / "when" / "else" condition on line 379:

379: if (txt_fsm_ce = '1') then

	Evaluated to	Count	Threshold
Bin	True	42687	1
Bin	False	543748991	1

"if" / "when" / "else" condition on lines 389 to 391:

389:    txtb_user_accessible <= '0' when ((curr_state = s_txt_ready)   or 
390:                                      (curr_state = s_txt_tx_prog) or 
391:                                      (curr_state = s_txt_ab_prog))

	Evaluated to	Count	Threshold
Bin	True	29869	1
Bin	False	17548	1

"if" / "when" / "else" condition on lines 396 to 400:

396:    txtb_hw_cmd_int <= '1' when (txtb_hw_cmd_i.failed = '1') or  -- Fail transition completely 
397:                                (txtb_hw_cmd_i.valid = '1') or   -- Finish transition OK 
398:                                ((txtb_hw_cmd_i.arbl = '1' or 
399:                                  txtb_hw_cmd_i.err = '1') and 
400:                                 (curr_state = s_txt_ab_prog))   -- Not failed completely, but already in

	Evaluated to	Count	Threshold
Bin	True	49150	1
Bin	False	128778	1

"if" / "when" / "else" condition on lines 404 to 405:

404:                       '1' when (is_bus_off = '1' and next_state = s_txt_failed and 
405:                                 transient_state = '1')

	Evaluated to	Count	Threshold
Bin	True	34	1
Bin	False	128744	1

"if" / "when" / "else" condition on line 411:

411: txtb_available <= '1' when ((curr_state = s_txt_ready) and (abort_applied = '0'))

	Evaluated to	Count	Threshold
Bin	True	14782	1
Bin	False	36204	1

"case" / "with" / "select" choice on line 417:

417: TXT_RDY when s_txt_ready,

	Choice of	Count	Threshold
Bin	`s_txt_ready`	14782	1

"case" / "with" / "select" choice on line 418:

418: TXT_TRAN when s_txt_tx_prog,

	Choice of	Count	Threshold
Bin	`s_txt_tx_prog`	14368	1

"case" / "with" / "select" choice on line 419:

419: TXT_ABTP when s_txt_ab_prog,

	Choice of	Count	Threshold
Bin	`s_txt_ab_prog`	719	1

"case" / "with" / "select" choice on line 420:

420: TXT_TOK when s_txt_ok,

	Choice of	Count	Threshold
Bin	`s_txt_ok`	5481	1

"case" / "with" / "select" choice on line 421:

421: TXT_ERR when s_txt_failed,

	Choice of	Count	Threshold
Bin	`s_txt_failed`	6835	1

"case" / "with" / "select" choice on line 422:

422: TXT_ABT when s_txt_aborted,

	Choice of	Count	Threshold
Bin	`s_txt_aborted`	293	1

"case" / "with" / "select" choice on line 423:

423: TXT_ETY when s_txt_empty,

	Choice of	Count	Threshold
Bin	`s_txt_empty`	4820	1

"case" / "with" / "select" choice on line 424:

424: TXT_PER when s_txt_parity_err;

	Choice of	Count	Threshold
Bin	`s_txt_parity_err`	119	1

"if" / "when" / "else" condition on line 432:

432: txtb_unmask_data_ram <= '1' when (transient_state = '1')

	Evaluated to	Count	Threshold
Bin	True	12758	1
Bin	False	15960	1

Uncovered toggles:

Excluded toggles:

Port:

CLK_SYS

	From	To	Count	Threshold	Excluded due to
Bin	0	1	0	1	Exclude file
Bin	1	0	0	1	Exclude file

Port:

RES_N

	From	To	Count	Threshold	Excluded due to
Bin	0	1	0	1	Exclude file
Bin	1	0	0	1	Exclude file

Port:

MR_MODE_BMM

	From	To	Count	Threshold	Excluded due to
Bin	0	1	0	1	Exclude file
Bin	1	0	0	1	Exclude file

Port:

MR_MODE_ROM

	From	To	Count	Threshold	Excluded due to
Bin	0	1	0	1	Exclude file
Bin	1	0	0	1	Exclude file

Port:

MR_SETTINGS_TBFBO

	From	To	Count	Threshold	Excluded due to
Bin	0	1	0	1	Exclude file
Bin	1	0	0	1	Exclude file

Port:

TX_COMMAND_TXCE_VALID

	From	To	Count	Threshold	Excluded due to
Bin	0	1	0	1	Exclude file
Bin	1	0	0	1	Exclude file

Port:

TX_COMMAND_TXCR_VALID

	From	To	Count	Threshold	Excluded due to
Bin	0	1	0	1	Exclude file
Bin	1	0	0	1	Exclude file

Port:

ABORT_APPLIED

	From	To	Count	Threshold	Excluded due to
Bin	0	1	0	1	Exclude file
Bin	1	0	0	1	Exclude file

Port:

ABORT_OR_SKIPPED

	From	To	Count	Threshold	Excluded due to
Bin	0	1	0	1	Exclude file
Bin	1	0	0	1	Exclude file

Port:

TXTB_HW_CMD_CS

	From	To	Count	Threshold	Excluded due to
Bin	0	1	0	1	Exclude file
Bin	1	0	0	1	Exclude file

Port:

IS_BUS_OFF

	From	To	Count	Threshold	Excluded due to
Bin	0	1	0	1	Exclude file
Bin	1	0	0	1	Exclude file

Port:

TXTB_PARITY_ERROR_VALID

	From	To	Count	Threshold	Excluded due to
Bin	0	1	0	1	Exclude file
Bin	1	0	0	1	Exclude file

Covered toggles:

Port:

TXTB_HW_CMD

	Element	From	To	Count	Threshold
Bin	LOCK	0	1	25275	1
Bin	LOCK	1	0	26876	1
Bin	VALID	0	1	11112	1
Bin	VALID	1	0	12713	1
Bin	ERR	0	1	4262	1
Bin	ERR	1	0	5863	1
Bin	ARBL	0	1	455	1
Bin	ARBL	1	0	2056	1
Bin	FAILED	0	1	9436	1
Bin	FAILED	1	0	11037	1

Port:

TXTB_USER_ACCESSIBLE

	From	To	Count	Threshold
Bin	0	1	14359	1
Bin	1	0	12758	1

Port:

TXTB_ALLOW_BB

	From	To	Count	Threshold
Bin	0	1	12758	1
Bin	1	0	14359	1

Port:

TXTB_HW_CMD_INT

	From	To	Count	Threshold
Bin	0	1	12358	1
Bin	1	0	13959	1

Port:

TXTB_STATE

	Element	From	To	Count	Threshold
Bin	(3)	0	1	4873	1
Bin	(3)	1	0	3276	1
Bin	(2)	0	1	12609	1
Bin	(2)	1	0	14206	1
Bin	(1)	0	1	14688	1
Bin	(1)	1	0	16288	1
Bin	(0)	0	1	15211	1
Bin	(0)	1	0	16812	1

Port:

TXTB_AVAILABLE

	From	To	Count	Threshold
Bin	0	1	14782	1
Bin	1	0	16383	1

Port:

TXTB_UNMASK_DATA_RAM

	From	To	Count	Threshold
Bin	0	1	12758	1
Bin	1	0	14359	1

Signal:

TXT_FSM_CE

	From	To	Count	Threshold
Bin	0	1	51255	1
Bin	1	0	52856	1

Signal:

GO_TO_FAILED

	From	To	Count	Threshold
Bin	0	1	5218	1
Bin	1	0	5230	1

Signal:

TRANSIENT_STATE

	From	To	Count	Threshold
Bin	0	1	12758	1
Bin	1	0	14359	1

Signal:

TXTB_HW_CMD_I

	Element	From	To	Count	Threshold
Bin	LOCK	0	1	14375	1
Bin	LOCK	1	0	17577	1
Bin	VALID	0	1	5481	1
Bin	VALID	1	0	8683	1
Bin	ERR	0	1	1825	1
Bin	ERR	1	0	5027	1
Bin	ARBL	0	1	236	1
Bin	ARBL	1	0	3438	1
Bin	FAILED	0	1	6828	1
Bin	FAILED	1	0	10030	1

Signal:

ARBL_OR_ERR

	From	To	Count	Threshold
Bin	0	1	2061	1
Bin	1	0	3662	1

Uncovered expressions:

Excluded expressions:

Covered expressions:

"or" expression on lines 175 to 177:

 (curr_state = s_txt_ab_prog) or (curr_state = s_txt_tx_prog) or (curr_state = s_txt_ready) 
 <---------------------------LHS---------------------------->     <---------RHS---------->

	LHS	RHS	Count	Threshold
Bin	False	False	17548	1
Bin	False	True	14782	1
Bin	True	False	15087	1

"or" expression on lines 175 to 176:

 (curr_state = s_txt_ab_prog) or (curr_state = s_txt_tx_prog) 
  <----------LHS----------->      <----------RHS----------->

	LHS	RHS	Count	Threshold
Bin	False	False	32330	1
Bin	False	True	14368	1
Bin	True	False	719	1

"=" expression on line 175:

curr_state = s_txt_ab_prog

	Evaluated to	Count	Threshold
Bin	False	46698	1
Bin	True	719	1

"=" expression on line 176:

curr_state = s_txt_tx_prog

	Evaluated to	Count	Threshold
Bin	False	33049	1
Bin	True	14368	1

"=" expression on line 177:

curr_state = s_txt_ready

	Evaluated to	Count	Threshold
Bin	False	32635	1
Bin	True	14782	1

"or" expression on lines 181 to 183:

 (is_bus_off = '1' and mr_settings_tbfbo = TXTBUF_FAILED_BUS_OFF_ENABLED) or mr_mode_bmm = BMM_ENABLED or mr_mode_rom = ROM_ENABLED 
 <------------------------------------------------LHS------------------------------------------------>    <----------RHS---------->

	LHS	RHS	Count	Threshold
Bin	False	False	16285	1
Bin	False	True	62	1
Bin	True	False	5268	1

"or" expression on lines 181 to 182:

 (is_bus_off = '1' and mr_settings_tbfbo = TXTBUF_FAILED_BUS_OFF_ENABLED) or mr_mode_bmm = BMM_ENABLED 
  <--------------------------------LHS--------------------------------->     <----------RHS---------->

	LHS	RHS	Count	Threshold
Bin	False	False	16347	1
Bin	False	True	40	1
Bin	True	False	5253	1

"and" expression on line 181:

 is_bus_off = '1' and mr_settings_tbfbo = TXTBUF_FAILED_BUS_OFF_ENABLED 
 <-----LHS------>     <----------------------RHS---------------------->

	LHS	RHS	Count	Threshold
Bin	False	True	2877	1
Bin	True	False	6350	1
Bin	True	True	5263	1

"=" expression on line 181:

is_bus_off = '1'

	Evaluated to	Count	Threshold
Bin	False	10037	1
Bin	True	11613	1

"=" expression on line 181:

mr_settings_tbfbo = TXTBUF_FAILED_BUS_OFF_ENABLED

	Evaluated to	Count	Threshold
Bin	False	13510	1
Bin	True	8140	1

"=" expression on line 182:

mr_mode_bmm = BMM_ENABLED

	Evaluated to	Count	Threshold
Bin	False	21600	1
Bin	True	50	1

"=" expression on line 183:

mr_mode_rom = ROM_ENABLED

	Evaluated to	Count	Threshold
Bin	False	21553	1
Bin	True	97	1

"=" expression on line 187:

txtb_hw_cmd_cs = '1'

	Evaluated to	Count	Threshold
Bin	False	51008	1
Bin	True	66508	1

"or" expression on line 191:

 txtb_hw_cmd_i.err = '1' or txtb_hw_cmd_i.arbl = '1' 
 <---------LHS--------->    <---------RHS---------->

	LHS	RHS	Count	Threshold
Bin	False	False	8465	1
Bin	False	True	236	1
Bin	True	False	1825	1

"=" expression on line 191:

txtb_hw_cmd_i.err = '1'

	Evaluated to	Count	Threshold
Bin	False	8701	1
Bin	True	1825	1

"=" expression on line 191:

txtb_hw_cmd_i.arbl = '1'

	Evaluated to	Count	Threshold
Bin	False	10290	1
Bin	True	236	1

"=" expression on line 213:

tx_command_txcr_valid = '1'

	Evaluated to	Count	Threshold
Bin	False	19904	1
Bin	True	4589	1

"=" expression on line 223:

go_to_failed = '1'

	Evaluated to	Count	Threshold
Bin	False	47409	1
Bin	True	97	1

"=" expression on line 227:

txtb_parity_error_valid = '1'

	Evaluated to	Count	Threshold
Bin	False	47149	1
Bin	True	260	1

"=" expression on line 231:

txtb_hw_cmd_i.lock = '1'

	Evaluated to	Count	Threshold
Bin	False	32773	1
Bin	True	14376	1

"=" expression on line 234:

abort_applied = '1'

	Evaluated to	Count	Threshold
Bin	False	14369	1
Bin	True	7	1

"=" expression on line 241:

abort_or_skipped = '1'

	Evaluated to	Count	Threshold
Bin	False	32512	1
Bin	True	261	1

"=" expression on line 251:

go_to_failed = '1'

	Evaluated to	Count	Threshold
Bin	False	45995	1
Bin	True	10	1

"=" expression on line 255:

txtb_parity_error_valid = '1'

	Evaluated to	Count	Threshold
Bin	False	45909	1
Bin	True	86	1

"=" expression on line 259:

txtb_hw_cmd_i.failed = '1'

	Evaluated to	Count	Threshold
Bin	False	39149	1
Bin	True	6760	1

"=" expression on line 263:

txtb_hw_cmd_i.valid = '1'

	Evaluated to	Count	Threshold
Bin	False	34325	1
Bin	True	4824	1

"=" expression on line 267:

arbl_or_err = '1'

	Evaluated to	Count	Threshold
Bin	False	32296	1
Bin	True	2029	1

"=" expression on line 268:

abort_applied = '1'

	Evaluated to	Count	Threshold
Bin	False	2024	1
Bin	True	5	1

"=" expression on line 275:

abort_applied = '1'

	Evaluated to	Count	Threshold
Bin	False	30862	1
Bin	True	1434	1

"=" expression on line 285:

go_to_failed = '1'

	Evaluated to	Count	Threshold
Bin	False	2909	1
Bin	True	5	1

"=" expression on line 289:

txtb_parity_error_valid = '1'

	Evaluated to	Count	Threshold
Bin	False	2894	1
Bin	True	15	1

"=" expression on line 293:

txtb_hw_cmd_i.failed = '1'

	Evaluated to	Count	Threshold
Bin	False	2876	1
Bin	True	18	1

"=" expression on line 297:

txtb_hw_cmd_i.valid = '1'

	Evaluated to	Count	Threshold
Bin	False	2219	1
Bin	True	657	1

"=" expression on line 301:

arbl_or_err = '1'

	Evaluated to	Count	Threshold
Bin	False	2187	1
Bin	True	32	1

"=" expression on line 311:

tx_command_txcr_valid = '1'

	Evaluated to	Count	Threshold
Bin	False	15345	1
Bin	True	7858	1

"=" expression on line 315:

tx_command_txce_valid = '1'

	Evaluated to	Count	Threshold
Bin	False	15320	1
Bin	True	25	1

"=" expression on line 325:

tx_command_txcr_valid = '1'

	Evaluated to	Count	Threshold
Bin	False	899	1
Bin	True	283	1

"=" expression on line 329:

tx_command_txce_valid = '1'

	Evaluated to	Count	Threshold
Bin	False	894	1
Bin	True	5	1

"=" expression on line 339:

tx_command_txcr_valid = '1'

	Evaluated to	Count	Threshold
Bin	False	13106	1
Bin	True	5156	1

"=" expression on line 343:

tx_command_txce_valid = '1'

	Evaluated to	Count	Threshold
Bin	False	13091	1
Bin	True	15	1

"=" expression on line 353:

tx_command_txcr_valid = '1'

	Evaluated to	Count	Threshold
Bin	False	449	1
Bin	True	64	1

"=" expression on line 357:

tx_command_txce_valid = '1'

	Evaluated to	Count	Threshold
Bin	False	399	1
Bin	True	50	1

"/=" expression on line 368:

next_state /= curr_state

	Evaluated to	Count	Threshold
Bin	False	52856	1
Bin	True	51260	1

"=" expression on line 376:

res_n = '0'

	Evaluated to	Count	Threshold
Bin	False	1087593323	1
Bin	True	2424883	1

"=" expression on line 379:

txt_fsm_ce = '1'

	Evaluated to	Count	Threshold
Bin	False	543748991	1
Bin	True	42687	1

"or" expression on lines 389 to 391:

 (curr_state = s_txt_ready) or (curr_state = s_txt_tx_prog) or (curr_state = s_txt_ab_prog) 
 <--------------------------LHS--------------------------->     <----------RHS----------->

	LHS	RHS	Count	Threshold
Bin	False	False	17548	1
Bin	False	True	719	1
Bin	True	False	29150	1

"or" expression on lines 389 to 390:

 (curr_state = s_txt_ready) or (curr_state = s_txt_tx_prog) 
  <---------LHS---------->      <----------RHS----------->

	LHS	RHS	Count	Threshold
Bin	False	False	18267	1
Bin	False	True	14368	1
Bin	True	False	14782	1

"=" expression on line 389:

curr_state = s_txt_ready

	Evaluated to	Count	Threshold
Bin	False	32635	1
Bin	True	14782	1

"=" expression on line 390:

curr_state = s_txt_tx_prog

	Evaluated to	Count	Threshold
Bin	False	33049	1
Bin	True	14368	1

"=" expression on line 391:

curr_state = s_txt_ab_prog

	Evaluated to	Count	Threshold
Bin	False	46698	1
Bin	True	719	1

"or" expression on lines 396 to 400:

 (txtb_hw_cmd_i.failed = '1') or (txtb_hw_cmd_i.valid = '1') or ((txtb_hw_cmd_i.arbl = '1' or txtb_hw_cmd_i.err = '1') and (curr_state = s_txt_ab_prog)) 
 <---------------------------LHS--------------------------->     <----------------------------------------RHS----------------------------------------->

	LHS	RHS	Count	Threshold
Bin	False	False	128778	1
Bin	False	True	64	1
Bin	True	False	49086	1

"or" expression on lines 396 to 397:

 (txtb_hw_cmd_i.failed = '1') or (txtb_hw_cmd_i.valid = '1') 
  <----------LHS----------->      <----------RHS---------->

	LHS	RHS	Count	Threshold
Bin	False	False	128842	1
Bin	False	True	21924	1
Bin	True	False	27162	1

"=" expression on line 396:

txtb_hw_cmd_i.failed = '1'

	Evaluated to	Count	Threshold
Bin	False	150766	1
Bin	True	27162	1

"=" expression on line 397:

txtb_hw_cmd_i.valid = '1'

	Evaluated to	Count	Threshold
Bin	False	156004	1
Bin	True	21924	1

"and" expression on lines 398 to 400:

 (txtb_hw_cmd_i.arbl = '1' or txtb_hw_cmd_i.err = '1') and (curr_state = s_txt_ab_prog) 
  <-----------------------LHS----------------------->       <----------RHS----------->

	LHS	RHS	Count	Threshold
Bin	False	True	2087	1
Bin	True	False	6156	1
Bin	True	True	64	1

"or" expression on lines 398 to 399:

 txtb_hw_cmd_i.arbl = '1' or txtb_hw_cmd_i.err = '1' 
 <---------LHS---------->    <---------RHS--------->

	LHS	RHS	Count	Threshold
Bin	False	False	171708	1
Bin	False	True	5507	1
Bin	True	False	713	1

"=" expression on line 398:

txtb_hw_cmd_i.arbl = '1'

	Evaluated to	Count	Threshold
Bin	False	177215	1
Bin	True	713	1

"=" expression on line 399:

txtb_hw_cmd_i.err = '1'

	Evaluated to	Count	Threshold
Bin	False	172421	1
Bin	True	5507	1

"=" expression on line 400:

curr_state = s_txt_ab_prog

	Evaluated to	Count	Threshold
Bin	False	175777	1
Bin	True	2151	1

"and" expression on lines 404 to 405:

 is_bus_off = '1' and next_state = s_txt_failed and transient_state = '1' 
 <--------------------LHS--------------------->     <--------RHS-------->

	LHS	RHS	Count	Threshold
Bin	False	True	52417	1
Bin	True	False	59	1
Bin	True	True	34	1

"and" expression on line 404:

 is_bus_off = '1' and next_state = s_txt_failed 
 <-----LHS------>     <----------RHS---------->

	LHS	RHS	Count	Threshold
Bin	False	True	9184	1
Bin	True	False	8330	1
Bin	True	True	93	1

"=" expression on line 404:

is_bus_off = '1'

	Evaluated to	Count	Threshold
Bin	False	120355	1
Bin	True	8423	1

"=" expression on line 404:

next_state = s_txt_failed

	Evaluated to	Count	Threshold
Bin	False	119501	1
Bin	True	9277	1

"=" expression on line 405:

transient_state = '1'

	Evaluated to	Count	Threshold
Bin	False	76327	1
Bin	True	52451	1

"and" expression on line 411:

 (curr_state = s_txt_ready) and (abort_applied = '0') 
  <---------LHS---------->       <-------RHS------->

	LHS	RHS	Count	Threshold
Bin	False	True	32639	1
Bin	True	False	263	1
Bin	True	True	14782	1

"=" expression on line 411:

curr_state = s_txt_ready

	Evaluated to	Count	Threshold
Bin	False	35941	1
Bin	True	15045	1

"=" expression on line 411:

abort_applied = '0'

	Evaluated to	Count	Threshold
Bin	False	3565	1
Bin	True	47421	1

"=" expression on line 432:

transient_state = '1'

	Evaluated to	Count	Threshold
Bin	False	15960	1
Bin	True	12758	1

	State	Count	Threshold
Bin	S_TXT_EMPTY	6191	1
Bin	S_TXT_READY	20165	1
Bin	S_TXT_TX_PROG	14416	1
Bin	S_TXT_AB_PROG	727	1
Bin	S_TXT_OK	7605	1
Bin	S_TXT_FAILED	8521	1
Bin	S_TXT_ABORTED	303	1
Bin	S_TXT_PARITY_ERR	372	1

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TXT_BUF_COMP_GEN(0).TXT_BUF_EVEN_GEN.TXT_BUFFER_EVEN_INST.TXT_BUFFER_FSM_INST

File: /__w/ctu-can-regression/ctu-can-regression/src/txt_buffer/txt_buffer_even.vhd

Details:

The limit of printed items was reached (5000). Total 260336 items are not displayed.

Uncovered statements:

Excluded statements:

Covered statements:

If statement on lines 175 to 179:

Signal assignment statement on line 175:

Signal assignment statement on line 179:

If statement on lines 181 to 185:

Signal assignment statement on line 181:

Signal assignment statement on line 185:

If statement on lines 187 to 189:

Signal assignment statement on line 187:

Signal assignment statement on line 189:

If statement on lines 191 to 192:

Signal assignment statement on line 191:

Signal assignment statement on line 192:

Signal assignment statement on line 194:

Signal assignment statement on line 203:

Sequential statement on lines 205 to 361:

If statement on lines 213 to 215:

Signal assignment statement on line 214:

If statement on lines 223 to 243:

Signal assignment statement on line 224:

Signal assignment statement on line 228:

If statement on lines 234 to 238:

Signal assignment statement on line 235:

Signal assignment statement on line 237:

Signal assignment statement on line 242:

If statement on lines 251 to 277:

Signal assignment statement on line 252:

Signal assignment statement on line 256:

Signal assignment statement on line 260:

Signal assignment statement on line 264:

If statement on lines 268 to 272:

Signal assignment statement on line 269:

Signal assignment statement on line 271:

Signal assignment statement on line 276:

If statement on lines 285 to 303:

Signal assignment statement on line 286:

Signal assignment statement on line 290:

Signal assignment statement on line 294:

Signal assignment statement on line 298:

Signal assignment statement on line 302:

If statement on lines 311 to 317:

Signal assignment statement on line 312:

Signal assignment statement on line 316:

If statement on lines 325 to 331:

Signal assignment statement on line 326:

Signal assignment statement on line 330:

If statement on lines 339 to 345:

Signal assignment statement on line 340:

Signal assignment statement on line 344:

If statement on lines 353 to 359:

Signal assignment statement on line 354:

Signal assignment statement on line 358:

If statement on lines 368 to 369:

Signal assignment statement on line 368:

Signal assignment statement on line 369:

If statement on lines 376 to 382:

Signal assignment statement on line 377:

If statement on lines 379 to 381:

Signal assignment statement on line 380:

If statement on lines 389 to 393:

Signal assignment statement on line 389:

Signal assignment statement on line 393:

If statement on lines 396 to 407:

Signal assignment statement on line 396:

Signal assignment statement on line 404:

Signal assignment statement on line 407:

If statement on lines 411 to 413:

Signal assignment statement on line 411:

Signal assignment statement on line 413:

Sequential statement on lines 416 to 424:

Signal assignment statement on line 417:

Signal assignment statement on line 418:

Signal assignment statement on line 419: