NVC code coverage report

File: /__w/CTU-CAN-FD/CTU-CAN-FD/src/bus_management/bm_top.vhd

Current Instance	Statement	Branch	Toggle	Expression	FSM state	Functional	Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BM_TOP.I_BM_TX_DATA_CACHE	100.0 % (15/15)	100.0 % (18/18)	100.0 % (60/60)	100.0 % (12/12)	N.A.	N.A.	100.0 % (105/105)

Current Instance

Statement

Branch

Toggle

Expression

FSM state

Functional

Average

CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BM_TOP.I_BM_TX_DATA_CACHE

100.0 % (15/15)

100.0 % (18/18)

100.0 % (60/60)

100.0 % (12/12)

N.A.

100.0 % (105/105)

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

146: write_pointer_d <= write_pointer_q + 1;
Count: 199791
Threshold: 1

Signal assignment statement on line 147:

147: read_pointer_d <= read_pointer_q + 1;
Count: 198122
Threshold: 1

If statement on lines 155 to 161:

155:        if (rst_n = '0') then 
156:            write_pointer_q        <= (others => '0'); 
...
160:            end if; 
161:        end if;

Count: 1096846734
Threshold: 1

Signal assignment statement on line 156:

156: write_pointer_q <= (others => '0');
Count: 6496613
Threshold: 1

If statement on lines 158 to 160:

158:            if (write = '1') then 
159:                write_pointer_q    <= write_pointer_d; 
160:            end if;

Count: 545153718
Threshold: 1

Signal assignment statement on line 159:

159: write_pointer_q <= write_pointer_d;
Count: 194479
Threshold: 1

If statement on lines 167 to 173:

167:        if (rst_n = '0') then 
168:            read_pointer_q         <= (others => '0'); 
...
172:            end if; 
173:        end if;

Count: 1096846734
Threshold: 1

Signal assignment statement on line 168:

168: read_pointer_q <= (others => '0');
Count: 6496613
Threshold: 1

If statement on lines 170 to 172:

170:            if (read = '1') then 
171:                read_pointer_q     <= read_pointer_d; 
172:            end if;

Count: 545153718
Threshold: 1

Signal assignment statement on line 171:

171: read_pointer_q <= read_pointer_d;
Count: 193079
Threshold: 1

If statement on lines 182 to 188:

182:        if (rst_n = '0') then 
183:            tx_cache_mem <= (others => G_TX_CACHE_RST_VAL); 
...
187:            end if; 
188:        end if;

Count: 1096846734
Threshold: 1

Signal assignment statement on line 183:

183: tx_cache_mem <= (others => G_TX_CACHE_RST_VAL);
Count: 6496613
Threshold: 1

If statement on lines 185 to 187:

185:            if (write = '1') then 
186:                tx_cache_mem(to_integer(write_pointer_q(2 downto 0))) <= data_in; 
187:            end if;

Count: 545153718
Threshold: 1

Signal assignment statement on line 186:

186: tx_cache_mem(to_integer(write_pointer_q(2 downto 0))) <= data_in;
Count: 194479
Threshold: 1

Signal assignment statement on line 196:

196: data_out <= tx_cache_mem(to_integer(read_pointer_q(2 downto 0)));
Count: 291912
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

155: if (rst_n = '0') then

	Evaluated to	Count	Threshold
Bin	True	6496613	1
Bin	False	1090350121	1

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

157: elsif (rising_edge(clk_sys)) then

	Evaluated to	Count	Threshold
Bin	True	545153718	1
Bin	False	545196403	1

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

158: if (write = '1') then

	Evaluated to	Count	Threshold
Bin	True	194479	1
Bin	False	544959239	1

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

167: if (rst_n = '0') then

	Evaluated to	Count	Threshold
Bin	True	6496613	1
Bin	False	1090350121	1

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

169: elsif (rising_edge(clk_sys)) then

	Evaluated to	Count	Threshold
Bin	True	545153718	1
Bin	False	545196403	1

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

170: if (read = '1') then

	Evaluated to	Count	Threshold
Bin	True	193079	1
Bin	False	544960639	1

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

182: if (rst_n = '0') then

	Evaluated to	Count	Threshold
Bin	True	6496613	1
Bin	False	1090350121	1

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

184: elsif (rising_edge(clk_sys)) then

	Evaluated to	Count	Threshold
Bin	True	545153718	1
Bin	False	545196403	1

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

185: if (write = '1') then

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

WRITE

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

Port:

READ

	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

Covered toggles:

Port:

DATA_OUT

	From	To	Count	Threshold
Bin	0	1	100672	1
Bin	1	0	99071	1

Signal:

TX_CACHE_MEM

	Element	From	To	Count	Threshold
Bin	(7)	0	1	57327	1
Bin	(7)	1	0	39905	1
Bin	(6)	0	1	51111	1
Bin	(6)	1	0	46121	1
Bin	(5)	0	1	56135	1
Bin	(5)	1	0	41097	1
Bin	(4)	0	1	49897	1
Bin	(4)	1	0	47335	1
Bin	(3)	0	1	49220	1
Bin	(3)	1	0	48012	1
Bin	(2)	0	1	54965	1
Bin	(2)	1	0	42267	1
Bin	(1)	0	1	50941	1
Bin	(1)	1	0	46291	1
Bin	(0)	0	1	47579	1
Bin	(0)	1	0	49653	1

Signal:

WRITE_POINTER_Q

	Element	From	To	Count	Threshold
Bin	(3)	0	1	12246	1
Bin	(3)	1	0	13847	1
Bin	(2)	0	1	24292	1
Bin	(2)	1	0	25893	1
Bin	(1)	0	1	48764	1
Bin	(1)	1	0	50365	1
Bin	(0)	0	1	97869	1
Bin	(0)	1	0	99470	1

Signal:

WRITE_POINTER_D

	Element	From	To	Count	Threshold
Bin	(3)	0	1	12311	1
Bin	(3)	1	0	13912	1
Bin	(2)	0	1	24508	1
Bin	(2)	1	0	26109	1
Bin	(1)	0	1	49706	1
Bin	(1)	1	0	51307	1
Bin	(0)	0	1	99470	1
Bin	(0)	1	0	97869	1

Signal:

READ_POINTER_Q

	Element	From	To	Count	Threshold
Bin	(3)	0	1	93607	1
Bin	(3)	1	0	102914	1
Bin	(2)	0	1	24203	1
Bin	(2)	1	0	26044	1
Bin	(1)	0	1	48321	1
Bin	(1)	1	0	50162	1
Bin	(0)	0	1	97056	1
Bin	(0)	1	0	98897	1

Signal:

READ_POINTER_D

	Element	From	To	Count	Threshold
Bin	(3)	0	1	12277	1
Bin	(3)	1	0	13878	1
Bin	(2)	0	1	24390	1
Bin	(2)	1	0	25991	1
Bin	(1)	0	1	49063	1
Bin	(1)	1	0	50664	1
Bin	(0)	0	1	98657	1
Bin	(0)	1	0	97056	1

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 155:

rst_n = '0'

	Evaluated to	Count	Threshold
Bin	False	1090350121	1
Bin	True	6496613	1

"=" expression on line 158:

write = '1'

	Evaluated to	Count	Threshold
Bin	False	544959239	1
Bin	True	194479	1

"=" expression on line 167:

rst_n = '0'

	Evaluated to	Count	Threshold
Bin	False	1090350121	1
Bin	True	6496613	1

"=" expression on line 170:

read = '1'

	Evaluated to	Count	Threshold
Bin	False	544960639	1
Bin	True	193079	1

"=" expression on line 182:

rst_n = '0'

	Evaluated to	Count	Threshold
Bin	False	1090350121	1
Bin	True	6496613	1

"=" expression on line 185:

write = '1'

	Evaluated to	Count	Threshold
Bin	False	544959239	1
Bin	True	194479	1

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BM_TOP.I_BM_TX_DATA_CACHE

File: /__w/CTU-CAN-FD/CTU-CAN-FD/src/bus_management/bm_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 146:

Signal assignment statement on line 147:

If statement on lines 155 to 161:

Signal assignment statement on line 156:

If statement on lines 158 to 160:

Signal assignment statement on line 159:

If statement on lines 167 to 173:

Signal assignment statement on line 168:

If statement on lines 170 to 172:

Signal assignment statement on line 171:

If statement on lines 182 to 188:

Signal assignment statement on line 183:

If statement on lines 185 to 187:

Signal assignment statement on line 186:

Signal assignment statement on line 196:

Uncovered branches:

Excluded branches:

Covered branches:

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

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

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

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

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

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

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

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

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

Uncovered toggles:

Excluded toggles:

Port:

Port:

Port:

Port:

Port:

Covered toggles:

Port:

Signal:

Signal:

Signal:

Signal:

Signal:

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 155:

"=" expression on line 158:

"=" expression on line 167:

"=" expression on line 170:

"=" expression on line 182:

"=" expression on line 185:

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: