NVC code coverage report

File: /__w/ctu-can-regression/ctu-can-regression/src/can_core/protocol_control_fsm.vhd

Current Instance	Statement	Branch	Toggle	Expression	FSM state	Functional	Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.PROTOCOL_CONTROL_INST.PROTOCOL_CONTROL_FSM_INST.DLC_DECODER_TX_INST	100.0 % (19/19)	100.0 % (20/20)	100.0 % (46/46)	100.0 % (6/6)	N.A.	N.A.	100.0 % (91/91)

Current Instance

Statement

Branch

Toggle

Expression

FSM state

Functional

Average

CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.PROTOCOL_CONTROL_INST.PROTOCOL_CONTROL_FSM_INST.DLC_DECODER_TX_INST

100.0 % (19/19)

100.0 % (20/20)

100.0 % (46/46)

100.0 % (6/6)

N.A.

100.0 % (91/91)

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 114:

114: dlc_int <= to_integer(unsigned(dlc));
Count: 14588
Threshold: 1

If statement on lines 117 to 125:

117:    data_len_8_to_64_integer <= 
118:        12 when (dlc = "1001") else 
...
124:        64 when (dlc = "1111") else 
125:        0;

Count: 14588
Threshold: 1

Signal assignment statement on line 118:

118: 12 when (dlc = "1001") else
Count: 224
Threshold: 1

Signal assignment statement on line 119:

119: 16 when (dlc = "1010") else
Count: 209
Threshold: 1

Signal assignment statement on line 120:

120: 20 when (dlc = "1011") else
Count: 156
Threshold: 1

Signal assignment statement on line 121:

121: 24 when (dlc = "1100") else
Count: 249
Threshold: 1

Signal assignment statement on line 122:

122: 32 when (dlc = "1101") else
Count: 160
Threshold: 1

Signal assignment statement on line 123:

123: 48 when (dlc = "1110") else
Count: 176
Threshold: 1

Signal assignment statement on line 124:

124: 64 when (dlc = "1111") else
Count: 95
Threshold: 1

Signal assignment statement on line 125:

125: 0;
Count: 13319
Threshold: 1

If statement on lines 130 to 132:

130:    data_len_can_2_0 <= dlc when (dlc_int <= 8) 
131:                            else 
132:                        "1000";

Count: 25974
Threshold: 1

Signal assignment statement on line 130:

130: data_len_can_2_0 <= dlc when (dlc_int <= 8)
Count: 23437
Threshold: 1

Signal assignment statement on line 132:

132: "1000";
Count: 2537
Threshold: 1

If statement on lines 137 to 139:

137:    data_len_can_fd <= ("000" & dlc) when (dlc_int <= 8) 
138:                                     else 
139:                       std_logic_vector(to_unsigned(data_len_8_to_64_integer, 7));

Count: 25974
Threshold: 1

Signal assignment statement on line 137:

137: data_len_can_fd <= ("000" & dlc) when (dlc_int <= 8)
Count: 23437
Threshold: 1

Signal assignment statement on line 139:

139: std_logic_vector(to_unsigned(data_len_8_to_64_integer, 7));
Count: 2537
Threshold: 1

If statement on lines 142 to 144:

142:    data_length <= "000" & data_len_can_2_0 when (frame_type = NORMAL_CAN) 
143:                                            else 
144:                   data_len_can_fd;

Count: 18789
Threshold: 1

Signal assignment statement on line 142:

142: data_length <= "000" & data_len_can_2_0 when (frame_type = NORMAL_CAN)
Count: 12608
Threshold: 1

Signal assignment statement on line 144:

144: data_len_can_fd;
Count: 6181
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

118: 12 when (dlc = "1001") else

	Evaluated to	Count	Threshold
Bin	True	224	1
Bin	False	14364	1

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

119: 16 when (dlc = "1010") else

	Evaluated to	Count	Threshold
Bin	True	209	1
Bin	False	14155	1

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

120: 20 when (dlc = "1011") else

	Evaluated to	Count	Threshold
Bin	True	156	1
Bin	False	13999	1

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

121: 24 when (dlc = "1100") else

	Evaluated to	Count	Threshold
Bin	True	249	1
Bin	False	13750	1

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

122: 32 when (dlc = "1101") else

	Evaluated to	Count	Threshold
Bin	True	160	1
Bin	False	13590	1

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

123: 48 when (dlc = "1110") else

	Evaluated to	Count	Threshold
Bin	True	176	1
Bin	False	13414	1

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

124: 64 when (dlc = "1111") else

	Evaluated to	Count	Threshold
Bin	True	95	1
Bin	False	13319	1

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

130: data_len_can_2_0 <= dlc when (dlc_int <= 8)

	Evaluated to	Count	Threshold
Bin	True	23437	1
Bin	False	2537	1

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

137: data_len_can_fd <= ("000" & dlc) when (dlc_int <= 8)

	Evaluated to	Count	Threshold
Bin	True	23437	1
Bin	False	2537	1

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

142: data_length <= "000" & data_len_can_2_0 when (frame_type = NORMAL_CAN)

	Evaluated to	Count	Threshold
Bin	True	12608	1
Bin	False	6181	1

Uncovered toggles:

Excluded toggles:

Port:

DLC

	Element	From	To	Threshold	Excluded due to
Bin	(3)	0	1	1	Exclude file
Bin	(3)	1	0	1	Exclude file
Bin	(2)	0	1	1	Exclude file
Bin	(2)	1	0	1	Exclude file
Bin	(1)	0	1	1	Exclude file
Bin	(1)	1	0	1	Exclude file
Bin	(0)	0	1	1	Exclude file
Bin	(0)	1	0	1	Exclude file

Port:

FRAME_TYPE

	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_LENGTH

	Element	From	To	Count	Threshold
Bin	(6)	0	1	94	1
Bin	(6)	1	0	1695	1
Bin	(5)	0	1	180	1
Bin	(5)	1	0	1781	1
Bin	(4)	0	1	475	1
Bin	(4)	1	0	2076	1
Bin	(3)	0	1	1943	1
Bin	(3)	1	0	3543	1
Bin	(2)	0	1	2234	1
Bin	(2)	1	0	3834	1
Bin	(1)	0	1	1990	1
Bin	(1)	1	0	3590	1
Bin	(0)	0	1	3617	1
Bin	(0)	1	0	5218	1

Signal:

DATA_LEN_CAN_2_0

	Element	From	To	Count	Threshold
Bin	(3)	0	1	1588	1
Bin	(3)	1	0	3188	1
Bin	(2)	0	1	2029	1
Bin	(2)	1	0	3629	1
Bin	(1)	0	1	1990	1
Bin	(1)	1	0	3590	1
Bin	(0)	0	1	3617	1
Bin	(0)	1	0	5218	1

Signal:

DATA_LEN_CAN_FD

	Element	From	To	Count	Threshold
Bin	(6)	0	1	95	1
Bin	(6)	1	0	1696	1
Bin	(5)	0	1	324	1
Bin	(5)	1	0	1924	1
Bin	(4)	0	1	755	1
Bin	(4)	1	0	2355	1
Bin	(3)	0	1	1645	1
Bin	(3)	1	0	3246	1
Bin	(2)	0	1	2368	1
Bin	(2)	1	0	3968	1
Bin	(1)	0	1	1990	1
Bin	(1)	1	0	3590	1
Bin	(0)	0	1	3617	1
Bin	(0)	1	0	5218	1

Uncovered expressions:

Excluded expressions:

Covered expressions:

"<=" expression on line 130:

dlc_int <= 8

	Evaluated to	Count	Threshold
Bin	False	2537	1
Bin	True	23437	1

"<=" expression on line 137:

dlc_int <= 8

	Evaluated to	Count	Threshold
Bin	False	2537	1
Bin	True	23437	1

"=" expression on line 142:

frame_type = NORMAL_CAN

	Evaluated to	Count	Threshold
Bin	False	6181	1
Bin	True	12608	1

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.PROTOCOL_CONTROL_INST.PROTOCOL_CONTROL_FSM_INST.DLC_DECODER_TX_INST

File: /__w/ctu-can-regression/ctu-can-regression/src/can_core/protocol_control_fsm.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 114:

If statement on lines 117 to 125:

Signal assignment statement on line 118:

Signal assignment statement on line 119:

Signal assignment statement on line 120:

Signal assignment statement on line 121:

Signal assignment statement on line 122:

Signal assignment statement on line 123:

Signal assignment statement on line 124:

Signal assignment statement on line 125:

If statement on lines 130 to 132:

Signal assignment statement on line 130:

Signal assignment statement on line 132:

If statement on lines 137 to 139:

Signal assignment statement on line 137:

Signal assignment statement on line 139:

If statement on lines 142 to 144:

Signal assignment statement on line 142:

Signal assignment statement on line 144:

Uncovered branches:

Excluded branches:

Covered branches:

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

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

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

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

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

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

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

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

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

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

Uncovered toggles:

Excluded toggles:

Port:

Port:

Covered toggles:

Port:

Signal:

Signal:

Uncovered expressions:

Excluded expressions:

Covered expressions:

"<=" expression on line 130:

"<=" expression on line 137:

"=" expression on line 142:

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: