NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_RXB_TOP.I_RXB_FSM

File: /__w/CTU-CAN-FD/CTU-CAN-FD/src/rx_buffer/rxb_top.vhd

Nested Instances	Statement	Branch	Toggle	Expression	FSM state	Functional	Average
ASSERTIONS_BLOCK	100.0 % (1/1)	N.A.	100.0 % (8/8)	N.A.	N.A.	100.0 % (3/3)	100.0 % (12/12)

Current Instance	Statement	Branch	Toggle	Expression	FSM state	Functional	Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_RXB_TOP.I_RXB_FSM	100.0 % (68/68)	100.0 % (50/50)	100.0 % (40/40)	100.0 % (29/29)	100.0 % (24/24)	N.A.	100.0 % (211/211)

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

164: next_state <= curr_state;
Count: 332446
Threshold: 1

Sequential statement on lines 166 to 266:

166:        case curr_state is 
167: 
...
265: 
266:        end case;

Count: 332446
Threshold: 1

If statement on lines 172 to 176:

172:            if (store_metadata_f = '1') then 
173:                next_state <= s_rxb_store_frame_format; 
174:            elsif (mr_mode_erfm = ERFM_ENABLED and rec_abort_f = '1') then 
175:                next_state <= s_rxb_store_err_frame_format; 
176:            end if;

Count: 107461
Threshold: 1

Signal assignment statement on line 173:

173: next_state <= s_rxb_store_frame_format;
Count: 26339
Threshold: 1

Signal assignment statement on line 175:

175: next_state <= s_rxb_store_err_frame_format;
Count: 318
Threshold: 1

If statement on lines 182 to 190:

182:            if (rec_abort_f = '1') then 
183:                if (mr_mode_erfm = ERFM_ENABLED) then 
...
189:                next_state <= s_rxb_store_identifier; 
190:            end if;

Count: 52678
Threshold: 1

If statement on lines 183 to 187:

183:                if (mr_mode_erfm = ERFM_ENABLED) then 
184:                    next_state <= s_rxb_store_err_frame_format; 
185:                else 
186:                    next_state <= s_rxb_idle; 
187:                end if;

Count: 9
Threshold: 1

Signal assignment statement on line 184:

184: next_state <= s_rxb_store_err_frame_format;
Count: 5
Threshold: 1

Signal assignment statement on line 186:

186: next_state <= s_rxb_idle;
Count: 4
Threshold: 1

Signal assignment statement on line 189:

189: next_state <= s_rxb_store_identifier;
Count: 52669
Threshold: 1

Signal assignment statement on line 199:

199: next_state <= s_rxb_skip_ts_low;
Count: 26330
Threshold: 1

Signal assignment statement on line 205:

205: next_state <= s_rxb_skip_ts_high;
Count: 26330
Threshold: 1

Signal assignment statement on line 211:

211: next_state <= s_rxb_store_data;
Count: 26330
Threshold: 1

If statement on lines 219 to 228:

219:            if (rec_abort_f = '1') then 
220:                if (mr_mode_erfm = ERFM_ENABLED) then 
...
227:                next_state <= s_rxb_store_end_ts_low; 
228:            end if;

Count: 52660
Threshold: 1

If statement on lines 220 to 224:

220:                if (mr_mode_erfm = ERFM_ENABLED) then 
221:                    next_state <= s_rxb_store_err_frame_format; 
222:                else 
223:                    next_state <= s_rxb_idle; 
224:                end if;

Count: 13341
Threshold: 1

Signal assignment statement on line 221:

221: next_state <= s_rxb_store_err_frame_format;
Count: 15
Threshold: 1

Signal assignment statement on line 223:

223: next_state <= s_rxb_idle;
Count: 13326
Threshold: 1

Signal assignment statement on line 227:

227: next_state <= s_rxb_store_end_ts_low;
Count: 12989
Threshold: 1

Signal assignment statement on line 234:

234: next_state <= s_rxb_store_end_ts_high;
Count: 25978
Threshold: 1

Signal assignment statement on line 240:

240: next_state <= s_rxb_idle;
Count: 12989
Threshold: 1

Signal assignment statement on line 246:

246: next_state <= s_rxb_store_err_identifier;
Count: 676
Threshold: 1

Signal assignment statement on line 252:

252: next_state <= s_rxb_store_err_ts_low;
Count: 338
Threshold: 1

Signal assignment statement on line 258:

258: next_state <= s_rxb_store_err_ts_high;
Count: 338
Threshold: 1

Signal assignment statement on line 264:

264: next_state <= s_rxb_idle;
Count: 338
Threshold: 1

Signal assignment statement on line 275:

275: write_raw_intent <= '0';
Count: 423235
Threshold: 1

Signal assignment statement on line 276:

276: select_ts_wptr <= '0';
Count: 423235
Threshold: 1

Signal assignment statement on line 277:

277: data_selector <= (others => '0');
Count: 423235
Threshold: 1

Signal assignment statement on line 278:

278: commit_intent <= '0';
Count: 423235
Threshold: 1

Signal assignment statement on line 279:

279: store_ts_wr_ptr <= '0';
Count: 423235
Threshold: 1

Signal assignment statement on line 280:

280: inc_ts_wr_ptr <= '0';
Count: 423235
Threshold: 1

Signal assignment statement on line 281:

281: reset_overrun_flag <= '0';
Count: 423235
Threshold: 1

Signal assignment statement on line 282:

282: rec_erf <= '0';
Count: 423235
Threshold: 1

Sequential statement on lines 284 to 355:

284:        case curr_state is 
285:        when s_rxb_idle => 
...
354:            commit_intent <= '1'; 
355:        end case;

Count: 423235
Threshold: 1

Signal assignment statement on line 286:

286: reset_overrun_flag <= '1';
Count: 79215
Threshold: 1

If statement on lines 289 to 291:

289:            if (rec_abort_f = '0') then 
290:                write_raw_intent <= '1'; 
291:            end if;

Count: 26348
Threshold: 1

Signal assignment statement on line 290:

290: write_raw_intent <= '1';
Count: 26339
Threshold: 1

Signal assignment statement on line 292:

292: data_selector <= "00001";
Count: 26348
Threshold: 1

Signal assignment statement on line 295:

295: write_raw_intent <= '1';
Count: 26330
Threshold: 1

Signal assignment statement on line 296:

296: data_selector <= "00010";
Count: 26330
Threshold: 1

Signal assignment statement on line 299:

299: write_raw_intent <= '1';
Count: 26330
Threshold: 1

Signal assignment statement on line 303:

303: store_ts_wr_ptr <= '1';
Count: 26330
Threshold: 1

Signal assignment statement on line 306:

306: write_raw_intent <= '1';
Count: 26330
Threshold: 1

Signal assignment statement on line 309:

309: data_selector <= "00100";
Count: 211014
Threshold: 1

If statement on lines 311 to 313:

311:            if (store_data_f = '1') then 
312:                write_raw_intent <= '1'; 
313:            end if;

Count: 211014
Threshold: 1

Signal assignment statement on line 312:

312: write_raw_intent <= '1';
Count: 85674
Threshold: 1

Signal assignment statement on line 316:

316: data_selector <= "01000";
Count: 12989
Threshold: 1

Signal assignment statement on line 321:

321: select_ts_wptr <= '1';
Count: 12989
Threshold: 1

Signal assignment statement on line 325:

325: inc_ts_wr_ptr <= '1';
Count: 12989
Threshold: 1

Signal assignment statement on line 328:

328: data_selector <= "10000";
Count: 12989
Threshold: 1

Signal assignment statement on line 333:

333: select_ts_wptr <= '1';
Count: 12989
Threshold: 1

Signal assignment statement on line 335:

335: commit_intent <= '1';
Count: 12989
Threshold: 1

Signal assignment statement on line 338:

338: write_raw_intent <= '1';
Count: 676
Threshold: 1

Signal assignment statement on line 339:

339: data_selector <= "00001";
Count: 676
Threshold: 1

Signal assignment statement on line 340:

340: rec_erf <= '1';
Count: 676
Threshold: 1

Signal assignment statement on line 343:

343: write_raw_intent <= '1';
Count: 338
Threshold: 1

Signal assignment statement on line 344:

344: data_selector <= "00010";
Count: 338
Threshold: 1

Signal assignment statement on line 347:

347: write_raw_intent <= '1';
Count: 338
Threshold: 1

Signal assignment statement on line 348:

348: data_selector <= "01000";
Count: 338
Threshold: 1

Signal assignment statement on line 351:

351: write_raw_intent <= '1';
Count: 338
Threshold: 1

Signal assignment statement on line 352:

352: data_selector <= "10000";
Count: 338
Threshold: 1

Signal assignment statement on line 354:

354: commit_intent <= '1';
Count: 338
Threshold: 1

If statement on lines 365 to 371:

365:        if (rst_n = '0') then 
366:            curr_state <= s_rxb_idle; 
...
370:            end if; 
371:        end if;

Count: 1096781321
Threshold: 1

Signal assignment statement on line 366:

366: curr_state <= s_rxb_idle;
Count: 2422674
Threshold: 1

If statement on lines 368 to 370:

368:            if (rx_fsm_ce = '1') then 
369:                curr_state <= next_state; 
370:            end if;

Count: 547174334
Threshold: 1

Signal assignment statement on line 369:

369: curr_state <= next_state;
Count: 185646
Threshold: 1

If statement on lines 375 to 376:

375:    rx_fsm_ce <= '1' when (next_state /= curr_state) else 
376:                 '0';

Count: 372902
Threshold: 1

Signal assignment statement on line 375:

375: rx_fsm_ce <= '1' when (next_state /= curr_state) else
Count: 185655
Threshold: 1

Signal assignment statement on line 376:

376: '0';
Count: 187247
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

171: when s_rxb_idle =>

	Choice of	Count	Threshold
Bin	`s_rxb_idle`	107461	1

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

172: if (store_metadata_f = '1') then

	Evaluated to	Count	Threshold
Bin	True	26339	1
Bin	False	81122	1

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

174: elsif (mr_mode_erfm = ERFM_ENABLED and rec_abort_f = '1') then

	Evaluated to	Count	Threshold
Bin	True	318	1
Bin	False	80804	1

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

181: when s_rxb_store_frame_format =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_frame_format`	52678	1

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

182: if (rec_abort_f = '1') then

	Evaluated to	Count	Threshold
Bin	True	9	1
Bin	False	52669	1

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

183: if (mr_mode_erfm = ERFM_ENABLED) then

	Evaluated to	Count	Threshold
Bin	True	5	1
Bin	False	4	1

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

198: when s_rxb_store_identifier =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_identifier`	26330	1

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

204: when s_rxb_skip_ts_low =>

	Choice of	Count	Threshold
Bin	`s_rxb_skip_ts_low`	26330	1

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

210: when s_rxb_skip_ts_high =>

	Choice of	Count	Threshold
Bin	`s_rxb_skip_ts_high`	26330	1

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

218: when s_rxb_store_data =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_data`	52660	1

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

219: if (rec_abort_f = '1') then

	Evaluated to	Count	Threshold
Bin	True	13341	1
Bin	False	39319	1

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

220: if (mr_mode_erfm = ERFM_ENABLED) then

	Evaluated to	Count	Threshold
Bin	True	15	1
Bin	False	13326	1

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

226: elsif (rec_valid_f = '1') then

	Evaluated to	Count	Threshold
Bin	True	12989	1
Bin	False	26330	1

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

233: when s_rxb_store_end_ts_low =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_end_ts_low`	25978	1

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

239: when s_rxb_store_end_ts_high =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_end_ts_high`	12989	1

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

245: when s_rxb_store_err_frame_format =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_err_frame_format`	676	1

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

251: when s_rxb_store_err_identifier =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_err_identifier`	338	1

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

257: when s_rxb_store_err_ts_low =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_err_ts_low`	338	1

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

263: when s_rxb_store_err_ts_high =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_err_ts_high`	338	1

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

285: when s_rxb_idle =>

	Choice of	Count	Threshold
Bin	`s_rxb_idle`	79215	1

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

288: when s_rxb_store_frame_format =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_frame_format`	26348	1

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

289: if (rec_abort_f = '0') then

	Evaluated to	Count	Threshold
Bin	True	26339	1
Bin	False	9	1

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

294: when s_rxb_store_identifier =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_identifier`	26330	1

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

298: when s_rxb_skip_ts_low =>

	Choice of	Count	Threshold
Bin	`s_rxb_skip_ts_low`	26330	1

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

305: when s_rxb_skip_ts_high =>

	Choice of	Count	Threshold
Bin	`s_rxb_skip_ts_high`	26330	1

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

308: when s_rxb_store_data =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_data`	211014	1

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

311: if (store_data_f = '1') then

	Evaluated to	Count	Threshold
Bin	True	85674	1
Bin	False	125340	1

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

315: when s_rxb_store_end_ts_low =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_end_ts_low`	12989	1

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

327: when s_rxb_store_end_ts_high =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_end_ts_high`	12989	1

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

337: when s_rxb_store_err_frame_format =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_err_frame_format`	676	1

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

342: when s_rxb_store_err_identifier =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_err_identifier`	338	1

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

346: when s_rxb_store_err_ts_low =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_err_ts_low`	338	1

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

350: when s_rxb_store_err_ts_high =>

	Choice of	Count	Threshold
Bin	`s_rxb_store_err_ts_high`	338	1

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

365: if (rst_n = '0') then

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

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

367: elsif (rising_edge(clk_sys)) then

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

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

368: if (rx_fsm_ce = '1') then

	Evaluated to	Count	Threshold
Bin	True	185646	1
Bin	False	546988688	1

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

375: rx_fsm_ce <= '1' when (next_state /= curr_state) else

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

MR_MODE_ERFM

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

Port:

STORE_METADATA_F

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

Port:

STORE_DATA_F

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

Port:

REC_VALID_F

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

Port:

REC_ABORT_F

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

Covered toggles:

Port:

WRITE_RAW_INTENT

	From	To	Count	Threshold
Bin	0	1	112351	1
Bin	1	0	113952	1

Port:

SELECT_TS_WPTR

	From	To	Count	Threshold
Bin	0	1	12989	1
Bin	1	0	14590	1

Port:

COMMIT_INTENT

	From	To	Count	Threshold
Bin	0	1	13327	1
Bin	1	0	14928	1

Port:

DATA_SELECTOR

	Element	From	To	Count	Threshold
Bin	(4)	0	1	13327	1
Bin	(4)	1	0	14928	1
Bin	(3)	0	1	13327	1
Bin	(3)	1	0	14928	1
Bin	(2)	0	1	26330	1
Bin	(2)	1	0	27931	1
Bin	(1)	0	1	26668	1
Bin	(1)	1	0	28269	1
Bin	(0)	0	1	26672	1
Bin	(0)	1	0	28273	1

Port:

STORE_TS_WR_PTR

	From	To	Count	Threshold
Bin	0	1	26330	1
Bin	1	0	27931	1

Port:

INC_TS_WR_PTR

	From	To	Count	Threshold
Bin	0	1	12989	1
Bin	1	0	14590	1

Port:

REC_ERF

	From	To	Count	Threshold
Bin	0	1	338	1
Bin	1	0	1939	1

Port:

RESET_OVERRUN_FLAG

	From	To	Count	Threshold
Bin	0	1	28258	1
Bin	1	0	26657	1

Signal:

RX_FSM_CE

	From	To	Count	Threshold
Bin	0	1	185646	1
Bin	1	0	187247	1

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 172:

store_metadata_f = '1'

	Evaluated to	Count	Threshold
Bin	False	81122	1
Bin	True	26339	1

"and" expression on line 174:

 mr_mode_erfm = ERFM_ENABLED and rec_abort_f = '1' 
 <-----------LHS----------->     <------RHS------>

	LHS	RHS	Count	Threshold
Bin	False	True	31184	1
Bin	True	False	511	1
Bin	True	True	318	1

"=" expression on line 174:

mr_mode_erfm = ERFM_ENABLED

	Evaluated to	Count	Threshold
Bin	False	80293	1
Bin	True	829	1

"=" expression on line 174:

rec_abort_f = '1'

	Evaluated to	Count	Threshold
Bin	False	49620	1
Bin	True	31502	1

"=" expression on line 182:

rec_abort_f = '1'

	Evaluated to	Count	Threshold
Bin	False	52669	1
Bin	True	9	1

"=" expression on line 183:

mr_mode_erfm = ERFM_ENABLED

	Evaluated to	Count	Threshold
Bin	False	4	1
Bin	True	5	1

"=" expression on line 219:

rec_abort_f = '1'

	Evaluated to	Count	Threshold
Bin	False	39319	1
Bin	True	13341	1

"=" expression on line 220:

mr_mode_erfm = ERFM_ENABLED

	Evaluated to	Count	Threshold
Bin	False	13326	1
Bin	True	15	1

"=" expression on line 226:

rec_valid_f = '1'

	Evaluated to	Count	Threshold
Bin	False	26330	1
Bin	True	12989	1

"=" expression on line 289:

rec_abort_f = '0'

	Evaluated to	Count	Threshold
Bin	False	9	1
Bin	True	26339	1

"=" expression on line 311:

store_data_f = '1'

	Evaluated to	Count	Threshold
Bin	False	125340	1
Bin	True	85674	1

"=" expression on line 365:

rst_n = '0'

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

"=" expression on line 368:

rx_fsm_ce = '1'

	Evaluated to	Count	Threshold
Bin	False	546988688	1
Bin	True	185646	1

"/=" expression on line 375:

next_state /= curr_state

	Evaluated to	Count	Threshold
Bin	False	187247	1
Bin	True	185655	1

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

"T_RX_BUF_STATE" FSM on line 151:

151: signal curr_state : t_rx_buf_state;

	State	Count	Threshold
Bin	S_RXB_IDLE	28258	1
Bin	S_RXB_STORE_FRAME_FORMAT	26339	1
Bin	S_RXB_STORE_IDENTIFIER	26330	1
Bin	S_RXB_SKIP_TS_LOW	26330	1
Bin	S_RXB_SKIP_TS_HIGH	26330	1
Bin	S_RXB_STORE_END_TS_LOW	12989	1
Bin	S_RXB_STORE_END_TS_HIGH	12989	1
Bin	S_RXB_STORE_DATA	26330	1
Bin	S_RXB_STORE_ERR_FRAME_FORMAT	338	1
Bin	S_RXB_STORE_ERR_IDENTIFIER	338	1
Bin	S_RXB_STORE_ERR_TS_LOW	338	1
Bin	S_RXB_STORE_ERR_TS_HIGH	338	1

"T_RX_BUF_STATE" FSM on line 152:

152: signal next_state : t_rx_buf_state;

	State	Count	Threshold
Bin	S_RXB_IDLE	28258	1
Bin	S_RXB_STORE_FRAME_FORMAT	26339	1
Bin	S_RXB_STORE_IDENTIFIER	26339	1
Bin	S_RXB_SKIP_TS_LOW	26330	1
Bin	S_RXB_SKIP_TS_HIGH	26330	1
Bin	S_RXB_STORE_END_TS_LOW	12989	1
Bin	S_RXB_STORE_END_TS_HIGH	12989	1
Bin	S_RXB_STORE_DATA	26330	1
Bin	S_RXB_STORE_ERR_FRAME_FORMAT	338	1
Bin	S_RXB_STORE_ERR_IDENTIFIER	338	1
Bin	S_RXB_STORE_ERR_TS_LOW	338	1
Bin	S_RXB_STORE_ERR_TS_HIGH	338	1