NVC code coverage report

File: /__w/CTU-CAN-FD/CTU-CAN-FD/src/medium_access_control/mac_top.vhd

Nested Instances	Statement	Branch	Toggle	Expression	FSM state	Functional	Average
I_DFF_ENA_REG	100.0 % (3/3)	100.0 % (4/4)	100.0 % (8/8)	100.0 % (2/2)	N.A.	N.A.	100.0 % (17/17)
I_DFF_FIXED_STUFF_REG	100.0 % (4/4)	100.0 % (6/6)	100.0 % (10/10)	100.0 % (4/4)	N.A.	N.A.	100.0 % (24/24)
I_DFF_DESTUFFED_FLAG_REG	100.0 % (3/3)	100.0 % (4/4)	100.0 % (8/8)	100.0 % (2/2)	N.A.	N.A.	100.0 % (17/17)
I_DFF_ERR_REG	100.0 % (3/3)	100.0 % (4/4)	100.0 % (8/8)	100.0 % (2/2)	N.A.	N.A.	100.0 % (17/17)
I_DFF_PREV_VAL_REG	100.0 % (3/3)	100.0 % (4/4)	100.0 % (8/8)	100.0 % (2/2)	N.A.	N.A.	100.0 % (17/17)
I_DFF_DATA_OUT_VAL_REG	100.0 % (4/4)	100.0 % (6/6)	100.0 % (10/10)	100.0 % (4/4)	N.A.	N.A.	100.0 % (24/24)

Nested Instances

Statement

Branch

Toggle

Expression

FSM state

Functional

Average

I_DFF_ENA_REG

100.0 % (3/3)

100.0 % (4/4)

100.0 % (8/8)

100.0 % (2/2)

N.A.

100.0 % (17/17)

I_DFF_FIXED_STUFF_REG

100.0 % (4/4)

100.0 % (6/6)

100.0 % (10/10)

100.0 % (4/4)

N.A.

100.0 % (24/24)

I_DFF_DESTUFFED_FLAG_REG

100.0 % (3/3)

100.0 % (4/4)

100.0 % (8/8)

100.0 % (2/2)

N.A.

100.0 % (17/17)

I_DFF_ERR_REG

100.0 % (3/3)

100.0 % (4/4)

100.0 % (8/8)

100.0 % (2/2)

N.A.

100.0 % (17/17)

I_DFF_PREV_VAL_REG

100.0 % (3/3)

100.0 % (4/4)

100.0 % (8/8)

100.0 % (2/2)

N.A.

100.0 % (17/17)

I_DFF_DATA_OUT_VAL_REG

100.0 % (4/4)

100.0 % (6/6)

100.0 % (10/10)

100.0 % (4/4)

N.A.

100.0 % (24/24)

Current Instance	Statement	Branch	Toggle	Expression	FSM state	Functional	Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.I_MAC_BIT_DESTUFFING	100.0 % (53/53)	100.0 % (48/48)	100.0 % (88/88)	100.0 % (107/107)	N.A.	N.A.	100.0 % (296/296)

Current Instance

Statement

Branch

Toggle

Expression

FSM state

Functional

Average

CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.I_MAC_BIT_DESTUFFING

100.0 % (53/53)

100.0 % (48/48)

100.0 % (88/88)

100.0 % (107/107)

N.A.

100.0 % (296/296)

Details:

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

Statement

Branch

Toggle

Expression

FSM state

Functional

Uncovered statements:

Excluded statements:

Covered statements:

If statement on lines 208 to 210:

208:    non_fix_to_fix_chng    <= '1' when (fixed_stuff = '1' and fixed_prev_q = '0') 
209:                                  else 
210:                              '0';

Count: 56910
Threshold: 1

Signal assignment statement on line 208:

208: non_fix_to_fix_chng <= '1' when (fixed_stuff = '1' and fixed_prev_q = '0')
Count: 13027
Threshold: 1

Signal assignment statement on line 210:

210: '0';
Count: 43883
Threshold: 1

If statement on lines 222 to 224:

222:    stuff_lvl_reached <= '1' when (same_bits_q = "101") 
223:                             else 
224:                         '0';

Count: 6478909
Threshold: 1

Signal assignment statement on line 222:

222: stuff_lvl_reached <= '1' when (same_bits_q = "101")
Count: 1011160
Threshold: 1

Signal assignment statement on line 224:

224: '0';
Count: 5467749
Threshold: 1

If statement on lines 231 to 233:

231:    discard_stuff_bit <= '1' when (non_fix_to_fix_chng = '1' or stuff_lvl_reached = '1') 
232:                             else 
233:                         '0';

Count: 2050243
Threshold: 1

Signal assignment statement on line 231:

231: discard_stuff_bit <= '1' when (non_fix_to_fix_chng = '1' or stuff_lvl_reached = '1')
Count: 1024187
Threshold: 1

Signal assignment statement on line 233:

233: '0';
Count: 1026056
Threshold: 1

If statement on lines 240 to 242:

240:    fixed_prev_d <= '0'         when (enable_prev = '0') else 
241:                    fixed_stuff when (bds_trigger = '1') else 
242:                    fixed_prev_q;

Count: 45889543
Threshold: 1

Signal assignment statement on line 240:

240: fixed_prev_d <= '0' when (enable_prev = '0') else
Count: 15871775
Threshold: 1

Signal assignment statement on line 241:

241: fixed_stuff when (bds_trigger = '1') else
Count: 14977962
Threshold: 1

Signal assignment statement on line 242:

242: fixed_prev_q;
Count: 15039806
Threshold: 1

If statement on lines 250 to 253:

250:    stuff_rule_violate <= '1' when (discard_stuff_bit = '1' and prev_val_q = data_in and 
251:                                    destuff_enable = '1') 
252:                              else 
253:                          '0';

Count: 7774036
Threshold: 1

Signal assignment statement on line 250:

250: stuff_rule_violate <= '1' when (discard_stuff_bit = '1' and prev_val_q = data_in and
Count: 2020330
Threshold: 1

Signal assignment statement on line 253:

253: '0';
Count: 5753706
Threshold: 1

Signal assignment statement on line 276:

276: dst_ctr_add <= (dst_ctr_q + 1) mod 8;
Count: 999446
Threshold: 1

If statement on lines 284 to 289:

284:    dst_ctr_d <=       "000"  when (enable_prev = '0') 
285:                              else 
286:                 dst_ctr_add  when (bds_trigger = '1' and stuff_lvl_reached = '1' and 
287:                                    fixed_stuff = '0') 
288:                              else 
289:                  dst_ctr_q;

Count: 48890993
Threshold: 1

Signal assignment statement on line 284:

284: dst_ctr_d <= "000" when (enable_prev = '0')
Count: 15883498
Threshold: 1

Signal assignment statement on line 286:

286: dst_ctr_add when (bds_trigger = '1' and stuff_lvl_reached = '1' and
Count: 3783297
Threshold: 1

Signal assignment statement on line 289:

289: dst_ctr_q;
Count: 29224198
Threshold: 1

If statement on lines 296 to 302:

296:        if (rst_n = '0') then 
297:            dst_ctr_q <= (others => '0'); 
...
301:            end if; 
302:        end if;

Count: 1096781321
Threshold: 1

Signal assignment statement on line 297:

297: dst_ctr_q <= (others => '0');
Count: 2422674
Threshold: 1

If statement on lines 299 to 301:

299:            if (destuff_enable = '1') then 
300:                dst_ctr_q <= dst_ctr_d; 
301:            end if;

Count: 547174334
Threshold: 1

Signal assignment statement on line 300:

300: dst_ctr_q <= dst_ctr_d;
Count: 306009541
Threshold: 1

If statement on lines 311 to 315:

311:    same_bits_erase <= '1' when (destuff_enable = '0' or enable_prev = '0') else 
312:                       '1' when (bds_trigger = '1' and discard_stuff_bit = '1') else 
313:                       '1' when (bds_trigger = '1' and data_in /= prev_val_q and 
314:                                 fixed_stuff = '0') else 
315:                       '0';

Count: 53634659
Threshold: 1

Signal assignment statement on line 311:

311: same_bits_erase <= '1' when (destuff_enable = '0' or enable_prev = '0') else
Count: 16255976
Threshold: 1

Signal assignment statement on line 312:

312:                       '1' when (bds_trigger = '1' and discard_stuff_bit = '1') else

Count: 4052237
Threshold: 1

Signal assignment statement on line 313:

313: '1' when (bds_trigger = '1' and data_in /= prev_val_q and
Count: 2144791
Threshold: 1

Signal assignment statement on line 315:

315: '0';
Count: 31181655
Threshold: 1

Signal assignment statement on line 320:

320: same_bits_add <= (same_bits_q + 1) mod 8;
Count: 6478909
Threshold: 1

If statement on lines 328 to 330:

328:    same_bits_d   <=         "001" when (same_bits_erase = '1') else 
329:                     same_bits_add when (bds_trigger = '1') else 
330:                     same_bits_q;

Count: 66636956
Threshold: 1

Signal assignment statement on line 328:

328: same_bits_d <= "001" when (same_bits_erase = '1') else
Count: 25295031
Threshold: 1

Signal assignment statement on line 329:

329: same_bits_add when (bds_trigger = '1') else
Count: 26328403
Threshold: 1

Signal assignment statement on line 330:

330: same_bits_q;
Count: 15013522
Threshold: 1

If statement on lines 337 to 341:

337:        if (rst_n = '0') then 
338:            same_bits_q <= "001"; 
339:        elsif (rising_edge(clk_sys)) then 
340:            same_bits_q <= same_bits_d; 
341:        end if;

Count: 1096781321
Threshold: 1

Signal assignment statement on line 338:

338: same_bits_q <= "001";
Count: 2422674
Threshold: 1

Signal assignment statement on line 340:

340: same_bits_q <= same_bits_d;
Count: 547174334
Threshold: 1

If statement on lines 351 to 354:

351:    destuffed_d   <= '0' when (destuff_enable = '0') else 
352:                     '1' when (bds_trigger = '1' and discard_stuff_bit = '1') else 
353:                     '0' when (bds_trigger = '1') else 
354:                     destuffed_q;

Count: 49928424
Threshold: 1

Signal assignment statement on line 351:

351: destuffed_d <= '0' when (destuff_enable = '0') else
Count: 15892929
Threshold: 1

Signal assignment statement on line 352:

352: '1' when (bds_trigger = '1' and discard_stuff_bit = '1') else
Count: 4077607
Threshold: 1

Signal assignment statement on line 353:

353: '0' when (bds_trigger = '1') else
Count: 14932431
Threshold: 1

Signal assignment statement on line 354:

354: destuffed_q;
Count: 15025457
Threshold: 1

If statement on lines 377 to 378:

377:    stuff_err_d <= '1' when (bds_trigger = '1' and stuff_rule_violate = '1') else 
378:                   '0';

Count: 47291649
Threshold: 1

Signal assignment statement on line 377:

377: stuff_err_d <= '1' when (bds_trigger = '1' and stuff_rule_violate = '1') else
Count: 1591661
Threshold: 1

Signal assignment statement on line 378:

378: '0';
Count: 45699988
Threshold: 1

If statement on lines 401 to 403:

401:    prev_val_d <= RECESSIVE when (bds_trigger = '1' and non_fix_to_fix_chng = '1') else 
402:                  data_in   when (bds_trigger = '1') else 
403:                  prev_val_q;

Count: 51363633
Threshold: 1

Signal assignment statement on line 401:

401: prev_val_d <= RECESSIVE when (bds_trigger = '1' and non_fix_to_fix_chng = '1') else
Count: 34086
Threshold: 1

Signal assignment statement on line 402:

402: data_in when (bds_trigger = '1') else
Count: 25633161
Threshold: 1

Signal assignment statement on line 403:

403: prev_val_q;
Count: 25696386
Threshold: 1

Signal assignment statement on line 444:

444: destuffed <= destuffed_q;
Count: 2047490
Threshold: 1

Signal assignment statement on line 445:

445: stuff_err <= stuff_err_q;
Count: 44216
Threshold: 1

Signal assignment statement on line 446:

446: dst_ctr <= std_logic_vector(dst_ctr_q);
Count: 999446
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

208: non_fix_to_fix_chng <= '1' when (fixed_stuff = '1' and fixed_prev_q = '0')

	Evaluated to	Count	Threshold
Bin	True	13027	1
Bin	False	43883	1

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

222: stuff_lvl_reached <= '1' when (same_bits_q = "101")

	Evaluated to	Count	Threshold
Bin	True	1011160	1
Bin	False	5467749	1

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

231: discard_stuff_bit <= '1' when (non_fix_to_fix_chng = '1' or stuff_lvl_reached = '1')

	Evaluated to	Count	Threshold
Bin	True	1024187	1
Bin	False	1026056	1

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

240: fixed_prev_d <= '0' when (enable_prev = '0') else

	Evaluated to	Count	Threshold
Bin	True	15871775	1
Bin	False	30017768	1

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

241: fixed_stuff when (bds_trigger = '1') else

	Evaluated to	Count	Threshold
Bin	True	14977962	1
Bin	False	15039806	1

"if" / "when" / "else" condition on lines 250 to 251:

250:    stuff_rule_violate <= '1' when (discard_stuff_bit = '1' and prev_val_q = data_in and 
251:                                    destuff_enable = '1')

	Evaluated to	Count	Threshold
Bin	True	2020330	1
Bin	False	5753706	1

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

284: dst_ctr_d <= "000" when (enable_prev = '0')

	Evaluated to	Count	Threshold
Bin	True	15883498	1
Bin	False	33007495	1

"if" / "when" / "else" condition on lines 286 to 287:

286:                 dst_ctr_add  when (bds_trigger = '1' and stuff_lvl_reached = '1' and 
287:                                    fixed_stuff = '0')

	Evaluated to	Count	Threshold
Bin	True	3783297	1
Bin	False	29224198	1

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

296: if (rst_n = '0') then

	Evaluated to	Count	Threshold
Bin	True	2422674	1
Bin	False	1094358647	1

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

298: elsif (rising_edge(clk_sys)) then

	Evaluated to	Count	Threshold
Bin	True	547174334	1
Bin	False	547184313	1

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

299: if (destuff_enable = '1') then

	Evaluated to	Count	Threshold
Bin	True	306009541	1
Bin	False	241164793	1

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

311: same_bits_erase <= '1' when (destuff_enable = '0' or enable_prev = '0') else

	Evaluated to	Count	Threshold
Bin	True	16255976	1
Bin	False	37378683	1

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

312:                       '1' when (bds_trigger = '1' and discard_stuff_bit = '1') else

	Evaluated to	Count	Threshold
Bin	True	4052237	1
Bin	False	33326446	1

"if" / "when" / "else" condition on lines 313 to 314:

313:                       '1' when (bds_trigger = '1' and data_in /= prev_val_q and 
314:                                 fixed_stuff = '0') else

	Evaluated to	Count	Threshold
Bin	True	2144791	1
Bin	False	31181655	1

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

328: same_bits_d <= "001" when (same_bits_erase = '1') else

	Evaluated to	Count	Threshold
Bin	True	25295031	1
Bin	False	41341925	1

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

329: same_bits_add when (bds_trigger = '1') else

	Evaluated to	Count	Threshold
Bin	True	26328403	1
Bin	False	15013522	1

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

337: if (rst_n = '0') then

	Evaluated to	Count	Threshold
Bin	True	2422674	1
Bin	False	1094358647	1

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

339: elsif (rising_edge(clk_sys)) then

	Evaluated to	Count	Threshold
Bin	True	547174334	1
Bin	False	547184313	1

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

351: destuffed_d <= '0' when (destuff_enable = '0') else

	Evaluated to	Count	Threshold
Bin	True	15892929	1
Bin	False	34035495	1

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

352: '1' when (bds_trigger = '1' and discard_stuff_bit = '1') else

	Evaluated to	Count	Threshold
Bin	True	4077607	1
Bin	False	29957888	1

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

353: '0' when (bds_trigger = '1') else

	Evaluated to	Count	Threshold
Bin	True	14932431	1
Bin	False	15025457	1

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

377: stuff_err_d <= '1' when (bds_trigger = '1' and stuff_rule_violate = '1') else

	Evaluated to	Count	Threshold
Bin	True	1591661	1
Bin	False	45699988	1

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

401: prev_val_d <= RECESSIVE when (bds_trigger = '1' and non_fix_to_fix_chng = '1') else

	Evaluated to	Count	Threshold
Bin	True	34086	1
Bin	False	51329547	1

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

402: data_in when (bds_trigger = '1') else

	Evaluated to	Count	Threshold
Bin	True	25633161	1
Bin	False	25696386	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:

RST_N

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

Port:

DATA_IN

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

Port:

BDS_TRIGGER

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

Port:

DESTUFF_ENABLE

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

Port:

FIXED_STUFF

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

Covered toggles:

Port:

DATA_OUT

	From	To	Count	Threshold
Bin	0	1	1399537	1
Bin	1	0	1397936	1

Port:

STUFF_ERR

	From	To	Count	Threshold
Bin	0	1	20507	1
Bin	1	0	22108	1

Port:

DESTUFFED

	From	To	Count	Threshold
Bin	0	1	1022144	1
Bin	1	0	1023745	1

Port:

DST_CTR

	Element	From	To	Count	Threshold
Bin	(2)	0	1	117167	1
Bin	(2)	1	0	118766	1
Bin	(1)	0	1	243244	1
Bin	(1)	1	0	244841	1
Bin	(0)	0	1	487033	1
Bin	(0)	1	0	488629	1

Signal:

DISCARD_STUFF_BIT

	From	To	Count	Threshold
Bin	0	1	1022854	1
Bin	1	0	1024455	1

Signal:

NON_FIX_TO_FIX_CHNG

	From	To	Count	Threshold
Bin	0	1	13027	1
Bin	1	0	14628	1

Signal:

STUFF_LVL_REACHED

	From	To	Count	Threshold
Bin	0	1	1011160	1
Bin	1	0	1012761	1

Signal:

STUFF_RULE_VIOLATE

	From	To	Count	Threshold
Bin	0	1	2020330	1
Bin	1	0	2021931	1

Signal:

ENABLE_PREV

	From	To	Count	Threshold
Bin	0	1	55951	1
Bin	1	0	57552	1

Signal:

FIXED_PREV_Q

	From	To	Count	Threshold
Bin	0	1	13027	1
Bin	1	0	14627	1

Signal:

FIXED_PREV_D

	From	To	Count	Threshold
Bin	0	1	38006	1
Bin	1	0	39607	1

Signal:

SAME_BITS_D

	Element	From	To	Count	Threshold
Bin	(2)	0	1	5805252	1
Bin	(2)	1	0	5806853	1
Bin	(1)	0	1	12329279	1
Bin	(1)	1	0	12330880	1
Bin	(0)	0	1	18757988	1
Bin	(0)	1	0	18756387	1

Signal:

SAME_BITS_Q

	Element	From	To	Count	Threshold
Bin	(2)	0	1	1103207	1
Bin	(2)	1	0	1104808	1
Bin	(1)	0	1	1553403	1
Bin	(1)	1	0	1555004	1
Bin	(0)	0	1	2658211	1
Bin	(0)	1	0	2656610	1

Signal:

SAME_BITS_ADD

	Element	From	To	Count	Threshold
Bin	(2)	0	1	1254534	1
Bin	(2)	1	0	1256135	1
Bin	(1)	0	1	1256135	1
Bin	(1)	1	0	1254534	1
Bin	(0)	0	1	2656610	1
Bin	(0)	1	0	2658211	1

Signal:

SAME_BITS_ERASE

	From	To	Count	Threshold
Bin	0	1	5257754	1
Bin	1	0	5257754	1

Signal:

DESTUFFED_Q

	From	To	Count	Threshold
Bin	0	1	1022144	1
Bin	1	0	1023745	1

Signal:

DESTUFFED_D

	From	To	Count	Threshold
Bin	0	1	5079226	1
Bin	1	0	5080827	1

Signal:

STUFF_ERR_Q

	From	To	Count	Threshold
Bin	0	1	20507	1
Bin	1	0	22108	1

Signal:

STUFF_ERR_D

	From	To	Count	Threshold
Bin	0	1	1591661	1
Bin	1	0	1593262	1

Signal:

DST_CTR_Q

	Element	From	To	Count	Threshold
Bin	(2)	0	1	117167	1
Bin	(2)	1	0	118766	1
Bin	(1)	0	1	243244	1
Bin	(1)	1	0	244841	1
Bin	(0)	0	1	487033	1
Bin	(0)	1	0	488629	1

Signal:

DST_CTR_D

	Element	From	To	Count	Threshold
Bin	(2)	0	1	547564	1
Bin	(2)	1	0	549165	1
Bin	(1)	0	1	1160658	1
Bin	(1)	1	0	1162259	1
Bin	(0)	0	1	2379634	1
Bin	(0)	1	0	2381235	1

Signal:

DST_CTR_ADD

	Element	From	To	Count	Threshold
Bin	(2)	0	1	126687	1
Bin	(2)	1	0	128286	1
Bin	(1)	0	1	259516	1
Bin	(1)	1	0	261108	1
Bin	(0)	0	1	488629	1
Bin	(0)	1	0	487033	1

Signal:

PREV_VAL_Q

	From	To	Count	Threshold
Bin	0	1	1398038	1
Bin	1	0	1396437	1

Signal:

PREV_VAL_D

	From	To	Count	Threshold
Bin	0	1	2574597	1
Bin	1	0	2572996	1

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 208:

 fixed_stuff = '1' and fixed_prev_q = '0' 
 <------LHS------>     <------RHS------->

	LHS	RHS	Count	Threshold
Bin	False	True	14627	1
Bin	True	False	13027	1
Bin	True	True	13027	1

"=" expression on line 208:

fixed_stuff = '1'

	Evaluated to	Count	Threshold
Bin	False	30856	1
Bin	True	26054	1

"=" expression on line 208:

fixed_prev_q = '0'

	Evaluated to	Count	Threshold
Bin	False	29256	1
Bin	True	27654	1

"or" expression on line 231:

 non_fix_to_fix_chng = '1' or stuff_lvl_reached = '1' 
 <----------LHS---------->    <---------RHS--------->

	LHS	RHS	Count	Threshold
Bin	False	False	1026056	1
Bin	False	True	1011160	1
Bin	True	False	11694	1

"=" expression on line 231:

non_fix_to_fix_chng = '1'

	Evaluated to	Count	Threshold
Bin	False	2037216	1
Bin	True	13027	1

"=" expression on line 231:

stuff_lvl_reached = '1'

	Evaluated to	Count	Threshold
Bin	False	1037750	1
Bin	True	1012493	1

"=" expression on line 240:

enable_prev = '0'

	Evaluated to	Count	Threshold
Bin	False	30017768	1
Bin	True	15871775	1

"=" expression on line 241:

bds_trigger = '1'

	Evaluated to	Count	Threshold
Bin	False	15039806	1
Bin	True	14977962	1

"and" expression on lines 250 to 251:

 discard_stuff_bit = '1' and prev_val_q = data_in and destuff_enable = '1' 
 <---------------------LHS---------------------->     <-------RHS-------->

	LHS	RHS	Count	Threshold
Bin	False	True	5420499	1
Bin	True	False	710	1
Bin	True	True	2020330	1

"and" expression on line 250:

 discard_stuff_bit = '1' and prev_val_q = data_in 
 <---------LHS--------->     <-------RHS-------->

	LHS	RHS	Count	Threshold
Bin	False	True	2941076	1
Bin	True	False	1002600	1
Bin	True	True	2021040	1

"=" expression on line 250:

discard_stuff_bit = '1'

	Evaluated to	Count	Threshold
Bin	False	4750396	1
Bin	True	3023640	1

"=" expression on line 250:

prev_val_q = data_in

	Evaluated to	Count	Threshold
Bin	False	2811920	1
Bin	True	4962116	1

"=" expression on line 251:

destuff_enable = '1'

	Evaluated to	Count	Threshold
Bin	False	333207	1
Bin	True	7440829	1

"=" expression on line 284:

enable_prev = '0'

	Evaluated to	Count	Threshold
Bin	False	33007495	1
Bin	True	15883498	1

"and" expression on lines 286 to 287:

 bds_trigger = '1' and stuff_lvl_reached = '1' and fixed_stuff = '0' 
 <--------------------LHS-------------------->     <------RHS------>

	LHS	RHS	Count	Threshold
Bin	False	True	27697385	1
Bin	True	False	194126	1
Bin	True	True	3783297	1

"and" expression on line 286:

 bds_trigger = '1' and stuff_lvl_reached = '1' 
 <------LHS------>     <---------RHS--------->

	LHS	RHS	Count	Threshold
Bin	False	True	2023111	1
Bin	True	False	13942533	1
Bin	True	True	3977423	1

"=" expression on line 286:

bds_trigger = '1'

	Evaluated to	Count	Threshold
Bin	False	15087539	1
Bin	True	17919956	1

"=" expression on line 286:

stuff_lvl_reached = '1'

	Evaluated to	Count	Threshold
Bin	False	27006961	1
Bin	True	6000534	1

"=" expression on line 287:

fixed_stuff = '0'

	Evaluated to	Count	Threshold
Bin	False	1526813	1
Bin	True	31480682	1

"=" expression on line 296:

rst_n = '0'

	Evaluated to	Count	Threshold
Bin	False	1094358647	1
Bin	True	2422674	1

"=" expression on line 299:

destuff_enable = '1'

	Evaluated to	Count	Threshold
Bin	False	241164793	1
Bin	True	306009541	1

"or" expression on line 311:

 destuff_enable = '0' or enable_prev = '0' 
 <-------LHS-------->    <------RHS------>

	LHS	RHS	Count	Threshold
Bin	False	False	37378683	1
Bin	False	True	55975	1
Bin	True	False	57098	1

"=" expression on line 311:

destuff_enable = '0'

	Evaluated to	Count	Threshold
Bin	False	37434658	1
Bin	True	16200001	1

"=" expression on line 311:

enable_prev = '0'

	Evaluated to	Count	Threshold
Bin	False	37435781	1
Bin	True	16198878	1

"and" expression on line 312:

 bds_trigger = '1' and discard_stuff_bit = '1' 
 <------LHS------>     <---------RHS--------->

	LHS	RHS	Count	Threshold
Bin	False	True	3049666	1
Bin	True	False	15598461	1
Bin	True	True	4052237	1

"=" expression on line 312:

bds_trigger = '1'

	Evaluated to	Count	Threshold
Bin	False	17727985	1
Bin	True	19650698	1

"=" expression on line 312:

discard_stuff_bit = '1'

	Evaluated to	Count	Threshold
Bin	False	30276780	1
Bin	True	7101903	1

"and" expression on lines 313 to 314:

 bds_trigger = '1' and data_in /= prev_val_q and fixed_stuff = '0' 
 <-------------------LHS------------------->     <------RHS------>

	LHS	RHS	Count	Threshold
Bin	False	True	29500350	1
Bin	True	False	207856	1
Bin	True	True	2144791	1

"and" expression on line 313:

 bds_trigger = '1' and data_in /= prev_val_q 
 <------LHS------>     <--------RHS-------->

	LHS	RHS	Count	Threshold
Bin	False	True	3802188	1
Bin	True	False	13245814	1
Bin	True	True	2352647	1

"=" expression on line 313:

bds_trigger = '1'

	Evaluated to	Count	Threshold
Bin	False	17727985	1
Bin	True	15598461	1

"/=" expression on line 313:

data_in /= prev_val_q

	Evaluated to	Count	Threshold
Bin	False	27171611	1
Bin	True	6154835	1

"=" expression on line 314:

fixed_stuff = '0'

	Evaluated to	Count	Threshold
Bin	False	1681305	1
Bin	True	31645141	1

"=" expression on line 328:

same_bits_erase = '1'

	Evaluated to	Count	Threshold
Bin	False	41341925	1
Bin	True	25295031	1

"=" expression on line 329:

bds_trigger = '1'

	Evaluated to	Count	Threshold
Bin	False	15013522	1
Bin	True	26328403	1

"=" expression on line 337:

rst_n = '0'

	Evaluated to	Count	Threshold
Bin	False	1094358647	1
Bin	True	2422674	1

"=" expression on line 351:

destuff_enable = '0'

	Evaluated to	Count	Threshold
Bin	False	34035495	1
Bin	True	15892929	1

"and" expression on line 352:

 bds_trigger = '1' and discard_stuff_bit = '1' 
 <------LHS------>     <---------RHS--------->

	LHS	RHS	Count	Threshold
Bin	False	True	2045013	1
Bin	True	False	14932431	1
Bin	True	True	4077607	1

"=" expression on line 352:

bds_trigger = '1'

	Evaluated to	Count	Threshold
Bin	False	15025457	1
Bin	True	19010038	1

"=" expression on line 352:

discard_stuff_bit = '1'

	Evaluated to	Count	Threshold
Bin	False	27912875	1
Bin	True	6122620	1

"=" expression on line 353:

bds_trigger = '1'

	Evaluated to	Count	Threshold
Bin	False	15025457	1
Bin	True	14932431	1

"and" expression on line 377:

 bds_trigger = '1' and stuff_rule_violate = '1' 
 <------LHS------>     <---------RHS---------->

	LHS	RHS	Count	Threshold
Bin	False	True	1598012	1
Bin	True	False	22265252	1
Bin	True	True	1591661	1

"=" expression on line 377:

bds_trigger = '1'

	Evaluated to	Count	Threshold
Bin	False	23434736	1
Bin	True	23856913	1

"=" expression on line 377:

stuff_rule_violate = '1'

	Evaluated to	Count	Threshold
Bin	False	44101976	1
Bin	True	3189673	1

"and" expression on line 401:

 bds_trigger = '1' and non_fix_to_fix_chng = '1' 
 <------LHS------>     <----------RHS---------->

	LHS	RHS	Count	Threshold
Bin	False	True	38980	1
Bin	True	False	25633161	1
Bin	True	True	34086	1

"=" expression on line 401:

bds_trigger = '1'

	Evaluated to	Count	Threshold
Bin	False	25696386	1
Bin	True	25667247	1

"=" expression on line 401:

non_fix_to_fix_chng = '1'

	Evaluated to	Count	Threshold
Bin	False	51290567	1
Bin	True	73066	1

"=" expression on line 402:

bds_trigger = '1'

	Evaluated to	Count	Threshold
Bin	False	25696386	1
Bin	True	25633161	1

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.I_MAC_BIT_DESTUFFING

File: /__w/CTU-CAN-FD/CTU-CAN-FD/src/medium_access_control/mac_top.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 208 to 210:

Signal assignment statement on line 208:

Signal assignment statement on line 210:

If statement on lines 222 to 224:

Signal assignment statement on line 222:

Signal assignment statement on line 224:

If statement on lines 231 to 233:

Signal assignment statement on line 231:

Signal assignment statement on line 233:

If statement on lines 240 to 242:

Signal assignment statement on line 240:

Signal assignment statement on line 241:

Signal assignment statement on line 242:

If statement on lines 250 to 253:

Signal assignment statement on line 250:

Signal assignment statement on line 253:

Signal assignment statement on line 276:

If statement on lines 284 to 289:

Signal assignment statement on line 284:

Signal assignment statement on line 286:

Signal assignment statement on line 289:

If statement on lines 296 to 302:

Signal assignment statement on line 297:

If statement on lines 299 to 301:

Signal assignment statement on line 300:

If statement on lines 311 to 315:

Signal assignment statement on line 311:

Signal assignment statement on line 312:

Signal assignment statement on line 313:

Signal assignment statement on line 315:

Signal assignment statement on line 320:

If statement on lines 328 to 330:

Signal assignment statement on line 328:

Signal assignment statement on line 329:

Signal assignment statement on line 330:

If statement on lines 337 to 341:

Signal assignment statement on line 338:

Signal assignment statement on line 340:

If statement on lines 351 to 354:

Signal assignment statement on line 351:

Signal assignment statement on line 352:

Signal assignment statement on line 353:

Signal assignment statement on line 354:

If statement on lines 377 to 378:

Signal assignment statement on line 377:

Signal assignment statement on line 378:

If statement on lines 401 to 403:

Signal assignment statement on line 401:

Signal assignment statement on line 402:

Signal assignment statement on line 403:

Signal assignment statement on line 444:

Signal assignment statement on line 445:

Signal assignment statement on line 446:

Uncovered branches:

Excluded branches:

Covered branches:

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

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

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

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

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

"if" / "when" / "else" condition on lines 250 to 251:

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

"if" / "when" / "else" condition on lines 286 to 287:

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

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

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

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

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

"if" / "when" / "else" condition on lines 313 to 314:

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

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