NVC code coverage report

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

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_CRC_TOP.I_MAC_CRC_CALC_17_RX	100.0 % (15/15)	100.0 % (14/14)	100.0 % (120/120)	100.0 % (21/21)	N.A.	N.A.	100.0 % (170/170)

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_CRC_TOP.I_MAC_CRC_CALC_17_RX

100.0 % (15/15)

100.0 % (14/14)

100.0 % (120/120)

100.0 % (21/21)

N.A.

100.0 % (170/170)

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:

Signal assignment statement on line 150:

150: crc_nxt <= data_in xor crc_q(G_CRC_WIDTH - 1);
Count: 6277188
Threshold: 1

If statement on lines 154 to 162:

154:        if (load_init_vect = '1') then 
155:            crc_d <= (others => '0'); 
...
161:            crc_d <= (crc_q(G_CRC_WIDTH - 2 downto 0) & '0'); 
162:        end if;

Count: 13475542
Threshold: 1

Signal assignment statement on line 155:

155: crc_d <= (others => '0');
Count: 208305
Threshold: 1

Signal assignment statement on line 156:

156: crc_d(G_CRC_WIDTH - 1) <= init_vect_msb;
Count: 208305
Threshold: 1

Signal assignment statement on lines 158 to 159:

158:            crc_d <= (crc_q(G_CRC_WIDTH - 2 downto 0) & '0') xor 
159:                      G_POLYNOMIAL(G_CRC_WIDTH - 1 downto 0);

Count: 6666632
Threshold: 1

Signal assignment statement on line 161:

161: crc_d <= (crc_q(G_CRC_WIDTH - 2 downto 0) & '0');
Count: 6600605
Threshold: 1

If statement on lines 165 to 167:

165:    crc_ce <= '1' when (load_init_vect = '1') else 
166:              '1' when (enable = '1' and trig = '1') else 
167:              '0';

Count: 23105038
Threshold: 1

Signal assignment statement on line 165:

165: crc_ce <= '1' when (load_init_vect = '1') else
Count: 113844
Threshold: 1

Signal assignment statement on line 166:

166: '1' when (enable = '1' and trig = '1') else
Count: 6942082
Threshold: 1

Signal assignment statement on line 167:

167: '0';
Count: 16049112
Threshold: 1

If statement on lines 174 to 180:

174:        if (rst_n = '0') then 
175:            crc_q             <= (others => '0'); 
...
179:            end if; 
180:        end if;

Count: 1096781321
Threshold: 1

Signal assignment statement on line 175:

175: crc_q <= (others => '0');
Count: 2422674
Threshold: 1

If statement on lines 177 to 179:

177:            if (crc_ce = '1') then 
178:                crc_q <= crc_d; 
179:            end if;

Count: 547174334
Threshold: 1

Signal assignment statement on line 178:

178: crc_q <= crc_d;
Count: 7015375
Threshold: 1

Signal assignment statement on line 184:

184: crc <= crc_q;
Count: 6972130
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

154: if (load_init_vect = '1') then

	Evaluated to	Count	Threshold
Bin	True	208305	1
Bin	False	13267237	1

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

157: elsif (crc_nxt = '1') then

	Evaluated to	Count	Threshold
Bin	True	6666632	1
Bin	False	6600605	1

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

165: crc_ce <= '1' when (load_init_vect = '1') else

	Evaluated to	Count	Threshold
Bin	True	113844	1
Bin	False	22991194	1

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

166: '1' when (enable = '1' and trig = '1') else

	Evaluated to	Count	Threshold
Bin	True	6942082	1
Bin	False	16049112	1

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

174: if (rst_n = '0') then

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

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

176: elsif rising_edge(clk_sys) then

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

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

177: if (crc_ce = '1') then

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

TRIG

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

Port:

ENABLE

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

Port:

INIT_VECT_MSB

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

Port:

LOAD_INIT_VECT

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

Covered toggles:

Port:

CRC

	Element	From	To	Count	Threshold
Bin	(16)	0	1	1741970	1
Bin	(16)	1	0	1743562	1
Bin	(15)	0	1	1764187	1
Bin	(15)	1	0	1765784	1
Bin	(14)	0	1	1780164	1
Bin	(14)	1	0	1781764	1
Bin	(13)	0	1	1765799	1
Bin	(13)	1	0	1767396	1
Bin	(12)	0	1	1705977	1
Bin	(12)	1	0	1707575	1
Bin	(11)	0	1	1721037	1
Bin	(11)	1	0	1722635	1
Bin	(10)	0	1	1670589	1
Bin	(10)	1	0	1672188	1
Bin	(9)	0	1	1684025	1
Bin	(9)	1	0	1685624	1
Bin	(8)	0	1	1696838	1
Bin	(8)	1	0	1698438	1
Bin	(7)	0	1	1711115	1
Bin	(7)	1	0	1712714	1
Bin	(6)	0	1	1725313	1
Bin	(6)	1	0	1726913	1
Bin	(5)	0	1	1725755	1
Bin	(5)	1	0	1727353	1
Bin	(4)	0	1	1738877	1
Bin	(4)	1	0	1740474	1
Bin	(3)	0	1	1759160	1
Bin	(3)	1	0	1760759	1
Bin	(2)	0	1	1733187	1
Bin	(2)	1	0	1734787	1
Bin	(1)	0	1	1749134	1
Bin	(1)	1	0	1750732	1
Bin	(0)	0	1	1770346	1
Bin	(0)	1	0	1771943	1

Signal:

CRC_Q

	Element	From	To	Count	Threshold
Bin	(16)	0	1	3574283	1
Bin	(16)	1	0	3396246	1
Bin	(15)	0	1	1764187	1
Bin	(15)	1	0	1772998	1
Bin	(14)	0	1	1780164	1
Bin	(14)	1	0	1790399	1
Bin	(13)	0	1	1765799	1
Bin	(13)	1	0	1775854	1
Bin	(12)	0	1	1705977	1
Bin	(12)	1	0	1716064	1
Bin	(11)	0	1	1721037	1
Bin	(11)	1	0	1730260	1
Bin	(10)	0	1	1670589	1
Bin	(10)	1	0	1679431	1
Bin	(9)	0	1	1684025	1
Bin	(9)	1	0	1692947	1
Bin	(8)	0	1	1696838	1
Bin	(8)	1	0	1707151	1
Bin	(7)	0	1	1711115	1
Bin	(7)	1	0	1721519	1
Bin	(6)	0	1	1725313	1
Bin	(6)	1	0	1735373	1
Bin	(5)	0	1	1725755	1
Bin	(5)	1	0	1736139	1
Bin	(4)	0	1	1738877	1
Bin	(4)	1	0	1748027	1
Bin	(3)	0	1	1759160	1
Bin	(3)	1	0	1769188	1
Bin	(2)	0	1	1733187	1
Bin	(2)	1	0	1742458	1
Bin	(1)	0	1	1749134	1
Bin	(1)	1	0	1757863	1
Bin	(0)	0	1	1770346	1
Bin	(0)	1	0	1780620	1

Signal:

CRC_NXT

	From	To	Count	Threshold
Bin	0	1	3137789	1
Bin	1	0	3136197	1

Signal:

CRC_D

	Element	From	To	Count	Threshold
Bin	(16)	0	1	6763304	1
Bin	(16)	1	0	6608254	1
Bin	(15)	0	1	1780166	1
Bin	(15)	1	0	1860893	1
Bin	(14)	0	1	4891355	1
Bin	(14)	1	0	4979417	1
Bin	(13)	0	1	4832700	1
Bin	(13)	1	0	4922224	1
Bin	(12)	0	1	1721038	1
Bin	(12)	1	0	1798404	1
Bin	(11)	0	1	4795861	1
Bin	(11)	1	0	4882244	1
Bin	(10)	0	1	1684026	1
Bin	(10)	1	0	1762069	1
Bin	(9)	0	1	1696840	1
Bin	(9)	1	0	1774374	1
Bin	(8)	0	1	1711117	1
Bin	(8)	1	0	1789987	1
Bin	(7)	0	1	1725317	1
Bin	(7)	1	0	1807784	1
Bin	(6)	0	1	4852111	1
Bin	(6)	1	0	4941047	1
Bin	(5)	0	1	1738879	1
Bin	(5)	1	0	1811874	1
Bin	(4)	0	1	4885187	1
Bin	(4)	1	0	4973973	1
Bin	(3)	0	1	4858379	1
Bin	(3)	1	0	4934834	1
Bin	(2)	0	1	1749135	1
Bin	(2)	1	0	1832458	1
Bin	(1)	0	1	4896022	1
Bin	(1)	1	0	4992387	1
Bin	(0)	0	1	3138751	1
Bin	(0)	1	0	3218635	1

Signal:

CRC_CE

	From	To	Count	Threshold
Bin	0	1	7055926	1
Bin	1	0	7057527	1

Uncovered expressions:

Excluded expressions:

Covered expressions:

"xor" expression on line 150:

 data_in xor crc_q(G_CRC_WIDTH - 1) 
 <-LHS->     <--------RHS--------->

	LHS	RHS	Count	Threshold
Bin	'0'	'0'	1536461	1
Bin	'0'	'1'	1612924	1
Bin	'1'	'0'	1524865	1
Bin	'1'	'1'	1599736	1

"=" expression on line 154:

load_init_vect = '1'

	Evaluated to	Count	Threshold
Bin	False	13267237	1
Bin	True	208305	1

"=" expression on line 157:

crc_nxt = '1'

	Evaluated to	Count	Threshold
Bin	False	6600605	1
Bin	True	6666632	1

"=" expression on line 165:

load_init_vect = '1'

	Evaluated to	Count	Threshold
Bin	False	22991194	1
Bin	True	113844	1

"and" expression on line 166:

 enable = '1' and trig = '1' 
 <---LHS---->     <--RHS--->

	LHS	RHS	Count	Threshold
Bin	False	True	4491007	1
Bin	True	False	6945233	1
Bin	True	True	6942082	1

"=" expression on line 166:

enable = '1'

	Evaluated to	Count	Threshold
Bin	False	9103879	1
Bin	True	13887315	1

"=" expression on line 166:

trig = '1'

	Evaluated to	Count	Threshold
Bin	False	11558105	1
Bin	True	11433089	1

"=" expression on line 174:

rst_n = '0'

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

"=" expression on line 177:

crc_ce = '1'

	Evaluated to	Count	Threshold
Bin	False	540158959	1
Bin	True	7015375	1

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.I_MAC_CRC_TOP.I_MAC_CRC_CALC_17_RX

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

Details:

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

Uncovered statements:

Excluded statements:

Covered statements:

Signal assignment statement on line 150:

If statement on lines 154 to 162:

Signal assignment statement on line 155:

Signal assignment statement on line 156:

Signal assignment statement on lines 158 to 159:

Signal assignment statement on line 161:

If statement on lines 165 to 167:

Signal assignment statement on line 165:

Signal assignment statement on line 166:

Signal assignment statement on line 167:

If statement on lines 174 to 180:

Signal assignment statement on line 175:

If statement on lines 177 to 179:

Signal assignment statement on line 178:

Signal assignment statement on line 184:

Uncovered branches:

Excluded branches:

Covered branches:

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

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

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

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

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

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

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

Uncovered toggles:

Excluded toggles:

Port:

Port:

Port:

Port:

Port:

Port:

Port:

Covered toggles:

Port:

Signal:

Signal:

Signal:

Signal:

Uncovered expressions:

Excluded expressions:

Covered expressions:

"xor" expression on line 150:

"=" expression on line 154:

"=" expression on line 157:

"=" expression on line 165:

"and" expression on line 166:

"=" expression on line 166:

"=" expression on line 166:

"=" expression on line 174:

"=" expression on line 177:

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: