NVC code coverage report

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

Current Instance	Statement	Branch	Toggle	Expression	FSM state	Functional	Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.FAULT_CONFINEMENT_INST.FAULT_CONFINEMENT_FSM_INST	100.0 % (47/47)	100.0 % (38/38)	100.0 % (100/100)	100.0 % (33/33)	100.0 % (6/6)	N.A.	100.0 % (224/224)

Current Instance

Statement

Branch

Toggle

Expression

FSM state

Functional

Average

CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.FAULT_CONFINEMENT_INST.FAULT_CONFINEMENT_FSM_INST

100.0 % (47/47)

100.0 % (38/38)

100.0 % (100/100)

100.0 % (33/33)

100.0 % (6/6)

N.A.

100.0 % (224/224)

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 169 to 171:

169:    tx_err_ctr_mt_erp <= '1' when (unsigned(tx_err_ctr) >= unsigned(mr_erp_erp_limit)) 
170:                             else 
171:                         '0';

Count: 33595
Threshold: 1

Signal assignment statement on line 169:

169: tx_err_ctr_mt_erp <= '1' when (unsigned(tx_err_ctr) >= unsigned(mr_erp_erp_limit))
Count: 2024
Threshold: 1

Signal assignment statement on line 171:

171: '0';
Count: 31571
Threshold: 1

If statement on lines 174 to 176:

174:    rx_err_ctr_mt_erp <= '1' when (unsigned(rx_err_ctr) >= unsigned(mr_erp_erp_limit)) 
175:                             else 
176:                         '0';

Count: 27456
Threshold: 1

Signal assignment statement on line 174:

174: rx_err_ctr_mt_erp <= '1' when (unsigned(rx_err_ctr) >= unsigned(mr_erp_erp_limit))
Count: 8863
Threshold: 1

Signal assignment statement on line 176:

176: '0';
Count: 18593
Threshold: 1

If statement on lines 179 to 181:

179:    tx_err_ctr_mt_255 <= '1' when (unsigned(tx_err_ctr) > 255) 
180:                             else 
181:                         '0';

Count: 33426
Threshold: 1

Signal assignment statement on line 179:

179: tx_err_ctr_mt_255 <= '1' when (unsigned(tx_err_ctr) > 255)
Count: 246
Threshold: 1

Signal assignment statement on line 181:

181: '0';
Count: 33180
Threshold: 1

If statement on lines 184 to 186:

184:    tx_err_ctr_mt_ewl <= '1' when (unsigned(tx_err_ctr) >= ('0' & unsigned(mr_ewl_ew_limit))) 
185:                             else 
186:                         '0';

Count: 33596
Threshold: 1

Signal assignment statement on line 184:

184: tx_err_ctr_mt_ewl <= '1' when (unsigned(tx_err_ctr) >= ('0' & unsigned(mr_ewl_ew_limit)))
Count: 2620
Threshold: 1

Signal assignment statement on line 186:

186: '0';
Count: 30976
Threshold: 1

If statement on lines 189 to 191:

189:    rx_err_ctr_mt_ewl <= '1' when (unsigned(rx_err_ctr) >= ('0' & unsigned(mr_ewl_ew_limit))) 
190:                             else 
191:                         '0';

Count: 27457
Threshold: 1

Signal assignment statement on line 189:

189: rx_err_ctr_mt_ewl <= '1' when (unsigned(rx_err_ctr) >= ('0' & unsigned(mr_ewl_ew_limit)))
Count: 9275
Threshold: 1

Signal assignment statement on line 191:

191: '0';
Count: 18182
Threshold: 1

If statement on lines 193 to 195:

193:    err_warning_limit_d <= '1' when (tx_err_ctr_mt_ewl = '1' or rx_err_ctr_mt_ewl = '1') 
194:                               else 
195:                           '0';

Count: 5154
Threshold: 1

Signal assignment statement on line 193:

193: err_warning_limit_d <= '1' when (tx_err_ctr_mt_ewl = '1' or rx_err_ctr_mt_ewl = '1')
Count: 1175
Threshold: 1

Signal assignment statement on line 195:

195: '0';
Count: 3979
Threshold: 1

If statement on lines 202 to 206:

202:        if (res_n = '0') then 
203:            err_warning_limit_q <= '0'; 
204:        elsif (rising_edge(clk_sys)) then 
205:            err_warning_limit_q <= err_warning_limit_d; 
206:        end if;

Count: 1090018206
Threshold: 1

Signal assignment statement on line 203:

203: err_warning_limit_q <= '0';
Count: 2424883
Threshold: 1

Signal assignment statement on line 205:

205: err_warning_limit_q <= err_warning_limit_d;
Count: 543791678
Threshold: 1

If statement on lines 209 to 211:

209:    err_warning_limit_pulse <= '1' when (err_warning_limit_d /= err_warning_limit_q) 
210:                                   else 
211:                               '0';

Count: 7913
Threshold: 1

Signal assignment statement on line 209:

209: err_warning_limit_pulse <= '1' when (err_warning_limit_d /= err_warning_limit_q)
Count: 3156
Threshold: 1

Signal assignment statement on line 211:

211: '0';
Count: 4757
Threshold: 1

Signal assignment statement on line 213:

213: mr_status_ewl <= err_warning_limit_d;
Count: 4757
Threshold: 1

Signal assignment statement on line 221:

221: next_state <= curr_state;
Count: 34416
Threshold: 1

Sequential statement on lines 223 to 240:

223:        case curr_state is 
224:        when s_fc_err_active => 
...
239:            end if; 
240:        end case;

Count: 34416
Threshold: 1

If statement on lines 225 to 227:

225:            if (tx_err_ctr_mt_erp = '1' or rx_err_ctr_mt_erp = '1') then 
226:                next_state <= s_fc_err_passive; 
227:            end if;

Count: 17595
Threshold: 1

Signal assignment statement on line 226:

226: next_state <= s_fc_err_passive;
Count: 1101
Threshold: 1

If statement on lines 230 to 234:

230:            if (tx_err_ctr_mt_255 = '1') then 
231:                next_state <= s_fc_bus_off; 
232:            elsif (tx_err_ctr_mt_erp = '0' and rx_err_ctr_mt_erp = '0') then 
233:                next_state <= s_fc_err_active; 
234:            end if;

Count: 1534
Threshold: 1

Signal assignment statement on line 231:

231: next_state <= s_fc_bus_off;
Count: 260
Threshold: 1

Signal assignment statement on line 233:

233: next_state <= s_fc_err_active;
Count: 188
Threshold: 1

If statement on lines 237 to 239:

237:            if (set_err_active = '1') then 
238:                next_state <= s_fc_err_active; 
239:            end if;

Count: 15287
Threshold: 1

Signal assignment statement on line 238:

238: next_state <= s_fc_err_active;
Count: 6637
Threshold: 1

If statement on lines 249 to 253:

249:        if (res_n = '0') then 
250:            curr_state <= s_fc_bus_off; 
251:        elsif (rising_edge(clk_sys)) then 
252:            curr_state <= next_state; 
253:        end if;

Count: 1090018206
Threshold: 1

Signal assignment statement on line 250:

250: curr_state <= s_fc_bus_off;
Count: 2424883
Threshold: 1

Signal assignment statement on line 252:

252: curr_state <= next_state;
Count: 543791678
Threshold: 1

Signal assignment statement on line 261:

261: is_err_active <= '0';
Count: 17414
Threshold: 1

Signal assignment statement on line 262:

262: is_err_passive <= '0';
Count: 17414
Threshold: 1

Signal assignment statement on line 263:

263: is_bus_off <= '0';
Count: 17414
Threshold: 1

Sequential statement on lines 265 to 274:

265:        case curr_state is 
266:        when s_fc_err_active => 
...
273:            is_bus_off <= '1'; 
274:        end case;

Count: 17414
Threshold: 1

Signal assignment statement on line 267:

267: is_err_active <= '1';
Count: 8426
Threshold: 1

Signal assignment statement on line 270:

270: is_err_passive <= '1';
Count: 761
Threshold: 1

Signal assignment statement on line 273:

273: is_bus_off <= '1';
Count: 8227
Threshold: 1

If statement on lines 278 to 279:

278:    fcs_changed <= '1' when (curr_state /= next_state) else 
279:                   '0';

Count: 33567
Threshold: 1

Signal assignment statement on line 278:

278: fcs_changed <= '1' when (curr_state /= next_state) else
Count: 15983
Threshold: 1

Signal assignment statement on line 279:

279: '0';
Count: 17584
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

169: tx_err_ctr_mt_erp <= '1' when (unsigned(tx_err_ctr) >= unsigned(mr_erp_erp_limit))

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

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

174: rx_err_ctr_mt_erp <= '1' when (unsigned(rx_err_ctr) >= unsigned(mr_erp_erp_limit))

	Evaluated to	Count	Threshold
Bin	True	8863	1
Bin	False	18593	1

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

179: tx_err_ctr_mt_255 <= '1' when (unsigned(tx_err_ctr) > 255)

	Evaluated to	Count	Threshold
Bin	True	246	1
Bin	False	33180	1

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

184: tx_err_ctr_mt_ewl <= '1' when (unsigned(tx_err_ctr) >= ('0' & unsigned(mr_ewl_ew_limit)))

	Evaluated to	Count	Threshold
Bin	True	2620	1
Bin	False	30976	1

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

189: rx_err_ctr_mt_ewl <= '1' when (unsigned(rx_err_ctr) >= ('0' & unsigned(mr_ewl_ew_limit)))

	Evaluated to	Count	Threshold
Bin	True	9275	1
Bin	False	18182	1

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

193: err_warning_limit_d <= '1' when (tx_err_ctr_mt_ewl = '1' or rx_err_ctr_mt_ewl = '1')

	Evaluated to	Count	Threshold
Bin	True	1175	1
Bin	False	3979	1

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

202: if (res_n = '0') then

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

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

204: elsif (rising_edge(clk_sys)) then

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

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

209: err_warning_limit_pulse <= '1' when (err_warning_limit_d /= err_warning_limit_q)

	Evaluated to	Count	Threshold
Bin	True	3156	1
Bin	False	4757	1

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

224: when s_fc_err_active =>

	Choice of	Count	Threshold
Bin	`s_fc_err_active`	17595	1

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

225: if (tx_err_ctr_mt_erp = '1' or rx_err_ctr_mt_erp = '1') then

	Evaluated to	Count	Threshold
Bin	True	1101	1
Bin	False	16494	1

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

229: when s_fc_err_passive =>

	Choice of	Count	Threshold
Bin	`s_fc_err_passive`	1534	1

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

230: if (tx_err_ctr_mt_255 = '1') then

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

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

232: elsif (tx_err_ctr_mt_erp = '0' and rx_err_ctr_mt_erp = '0') then

	Evaluated to	Count	Threshold
Bin	True	188	1
Bin	False	1086	1

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

236: when s_fc_bus_off =>

	Choice of	Count	Threshold
Bin	`s_fc_bus_off`	15287	1

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

237: if (set_err_active = '1') then

	Evaluated to	Count	Threshold
Bin	True	6637	1
Bin	False	8650	1

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

249: if (res_n = '0') then

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

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

251: elsif (rising_edge(clk_sys)) then

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

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

266: when s_fc_err_active =>

	Choice of	Count	Threshold
Bin	`s_fc_err_active`	8426	1

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

269: when s_fc_err_passive =>

	Choice of	Count	Threshold
Bin	`s_fc_err_passive`	761	1

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

272: when s_fc_bus_off =>

	Choice of	Count	Threshold
Bin	`s_fc_bus_off`	8227	1

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

278: fcs_changed <= '1' when (curr_state /= next_state) else

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

SET_ERR_ACTIVE

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

Port:

MR_EWL_EW_LIMIT

	Element	From	To	Threshold	Excluded due to
Bin	(7)	0	1	1	Exclude file
Bin	(7)	1	0	1	Exclude file
Bin	(6)	0	1	1	Exclude file
Bin	(6)	1	0	1	Exclude file
Bin	(5)	0	1	1	Exclude file
Bin	(5)	1	0	1	Exclude file
Bin	(4)	0	1	1	Exclude file
Bin	(4)	1	0	1	Exclude file
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:

MR_ERP_ERP_LIMIT

	Element	From	To	Threshold	Excluded due to
Bin	(7)	0	1	1	Exclude file
Bin	(7)	1	0	1	Exclude file
Bin	(6)	0	1	1	Exclude file
Bin	(6)	1	0	1	Exclude file
Bin	(5)	0	1	1	Exclude file
Bin	(5)	1	0	1	Exclude file
Bin	(4)	0	1	1	Exclude file
Bin	(4)	1	0	1	Exclude file
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:

TX_ERR_CTR

	Element	From	To	Threshold	Excluded due to
Bin	(8)	0	1	1	Exclude file
Bin	(8)	1	0	1	Exclude file
Bin	(7)	0	1	1	Exclude file
Bin	(7)	1	0	1	Exclude file
Bin	(6)	0	1	1	Exclude file
Bin	(6)	1	0	1	Exclude file
Bin	(5)	0	1	1	Exclude file
Bin	(5)	1	0	1	Exclude file
Bin	(4)	0	1	1	Exclude file
Bin	(4)	1	0	1	Exclude file
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:

RX_ERR_CTR

	Element	From	To	Threshold	Excluded due to
Bin	(8)	0	1	1	Exclude file
Bin	(8)	1	0	1	Exclude file
Bin	(7)	0	1	1	Exclude file
Bin	(7)	1	0	1	Exclude file
Bin	(6)	0	1	1	Exclude file
Bin	(6)	1	0	1	Exclude file
Bin	(5)	0	1	1	Exclude file
Bin	(5)	1	0	1	Exclude file
Bin	(4)	0	1	1	Exclude file
Bin	(4)	1	0	1	Exclude file
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

Covered toggles:

Port:

MR_STATUS_EWL

	From	To	Count	Threshold
Bin	0	1	778	1
Bin	1	0	2378	1

Port:

IS_ERR_ACTIVE

	From	To	Count	Threshold
Bin	0	1	8426	1
Bin	1	0	8415	1

Port:

IS_ERR_PASSIVE

	From	To	Count	Threshold
Bin	0	1	761	1
Bin	1	0	2362	1

Port:

IS_BUS_OFF

	From	To	Count	Threshold
Bin	0	1	8227	1
Bin	1	0	8238	1

Port:

FCS_CHANGED

	From	To	Count	Threshold
Bin	0	1	15983	1
Bin	1	0	17584	1

Port:

ERR_WARNING_LIMIT_PULSE

	From	To	Count	Threshold
Bin	0	1	3156	1
Bin	1	0	4757	1

Signal:

TX_ERR_CTR_MT_ERP

	From	To	Count	Threshold
Bin	0	1	686	1
Bin	1	0	2287	1

Signal:

RX_ERR_CTR_MT_ERP

	From	To	Count	Threshold
Bin	0	1	518	1
Bin	1	0	2119	1

Signal:

TX_ERR_CTR_MT_EWL

	From	To	Count	Threshold
Bin	0	1	703	1
Bin	1	0	2304	1

Signal:

RX_ERR_CTR_MT_EWL

	From	To	Count	Threshold
Bin	0	1	436	1
Bin	1	0	2036	1

Signal:

TX_ERR_CTR_MT_255

	From	To	Count	Threshold
Bin	0	1	246	1
Bin	1	0	1847	1

Signal:

ERR_WARNING_LIMIT_D

	From	To	Count	Threshold
Bin	0	1	778	1
Bin	1	0	2378	1

Signal:

ERR_WARNING_LIMIT_Q

	From	To	Count	Threshold
Bin	0	1	778	1
Bin	1	0	2378	1

Uncovered expressions:

Excluded expressions:

Covered expressions:

"or" expression on line 193:

 tx_err_ctr_mt_ewl = '1' or rx_err_ctr_mt_ewl = '1' 
 <---------LHS--------->    <---------RHS--------->

	LHS	RHS	Count	Threshold
Bin	False	False	3979	1
Bin	False	True	290	1
Bin	True	False	524	1

"=" expression on line 193:

tx_err_ctr_mt_ewl = '1'

	Evaluated to	Count	Threshold
Bin	False	4269	1
Bin	True	885	1

"=" expression on line 193:

rx_err_ctr_mt_ewl = '1'

	Evaluated to	Count	Threshold
Bin	False	4503	1
Bin	True	651	1

"=" expression on line 202:

res_n = '0'

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

"/=" expression on line 209:

err_warning_limit_d /= err_warning_limit_q

	Evaluated to	Count	Threshold
Bin	False	4757	1
Bin	True	3156	1

"or" expression on line 225:

 tx_err_ctr_mt_erp = '1' or rx_err_ctr_mt_erp = '1' 
 <---------LHS--------->    <---------RHS--------->

	LHS	RHS	Count	Threshold
Bin	False	False	16494	1
Bin	False	True	310	1
Bin	True	False	488	1

"=" expression on line 225:

tx_err_ctr_mt_erp = '1'

	Evaluated to	Count	Threshold
Bin	False	16804	1
Bin	True	791	1

"=" expression on line 225:

rx_err_ctr_mt_erp = '1'

	Evaluated to	Count	Threshold
Bin	False	16982	1
Bin	True	613	1

"=" expression on line 230:

tx_err_ctr_mt_255 = '1'

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

"and" expression on line 232:

 tx_err_ctr_mt_erp = '0' and rx_err_ctr_mt_erp = '0' 
 <---------LHS--------->     <---------RHS--------->

	LHS	RHS	Count	Threshold
Bin	False	True	467	1
Bin	True	False	310	1
Bin	True	True	188	1

"=" expression on line 232:

tx_err_ctr_mt_erp = '0'

	Evaluated to	Count	Threshold
Bin	False	776	1
Bin	True	498	1

"=" expression on line 232:

rx_err_ctr_mt_erp = '0'

	Evaluated to	Count	Threshold
Bin	False	619	1
Bin	True	655	1

"=" expression on line 237:

set_err_active = '1'

	Evaluated to	Count	Threshold
Bin	False	8650	1
Bin	True	6637	1

"=" expression on line 249:

res_n = '0'

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

"/=" expression on line 278:

curr_state /= next_state

	Evaluated to	Count	Threshold
Bin	False	17584	1
Bin	True	15983	1

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

"T_FAULT_CONF_STATE" FSM on line 163:

163: signal curr_state : t_fault_conf_state;

	State	Count	Threshold
Bin	S_FC_ERR_ACTIVE	8426	1
Bin	S_FC_ERR_PASSIVE	761	1
Bin	S_FC_BUS_OFF	8227	1

"T_FAULT_CONF_STATE" FSM on line 164:

164: signal next_state : t_fault_conf_state;

	State	Count	Threshold
Bin	S_FC_ERR_ACTIVE	8596	1
Bin	S_FC_ERR_PASSIVE	931	1
Bin	S_FC_BUS_OFF	8227	1

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.FAULT_CONFINEMENT_INST.FAULT_CONFINEMENT_FSM_INST

File: /__w/ctu-can-regression/ctu-can-regression/src/can_core/fault_confinement.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 169 to 171:

Signal assignment statement on line 169:

Signal assignment statement on line 171:

If statement on lines 174 to 176:

Signal assignment statement on line 174:

Signal assignment statement on line 176:

If statement on lines 179 to 181:

Signal assignment statement on line 179:

Signal assignment statement on line 181:

If statement on lines 184 to 186:

Signal assignment statement on line 184:

Signal assignment statement on line 186:

If statement on lines 189 to 191:

Signal assignment statement on line 189:

Signal assignment statement on line 191:

If statement on lines 193 to 195:

Signal assignment statement on line 193:

Signal assignment statement on line 195:

If statement on lines 202 to 206:

Signal assignment statement on line 203:

Signal assignment statement on line 205:

If statement on lines 209 to 211:

Signal assignment statement on line 209:

Signal assignment statement on line 211:

Signal assignment statement on line 213:

Signal assignment statement on line 221:

Sequential statement on lines 223 to 240:

If statement on lines 225 to 227:

Signal assignment statement on line 226:

If statement on lines 230 to 234:

Signal assignment statement on line 231:

Signal assignment statement on line 233:

If statement on lines 237 to 239:

Signal assignment statement on line 238:

If statement on lines 249 to 253:

Signal assignment statement on line 250:

Signal assignment statement on line 252:

Signal assignment statement on line 261:

Signal assignment statement on line 262:

Signal assignment statement on line 263:

Sequential statement on lines 265 to 274:

Signal assignment statement on line 267:

Signal assignment statement on line 270:

Signal assignment statement on line 273:

If statement on lines 278 to 279:

Signal assignment statement on line 278:

Signal assignment statement on line 279:

Uncovered branches:

Excluded branches:

Covered branches:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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