NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_RXB_TOP.I_RXB_POINTERS

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


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_POINTERS 100.0 % (59/59) 100.0 % (60/60) 100.0 % (468/468) 100.0 % (55/55) N.A. N.A. 100.0 % (642/642)

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

214:    read_pointer        <= std_logic_vector(read_pointer_i); 
Count: 54937
Threshold: 1

Signal assignment statement on line 215:

215:    read_pointer_inc_1  <= std_logic_vector(read_pointer_inc_1_i); 
Count: 56538
Threshold: 1

Signal assignment statement on line 216:

216:    write_pointer       <= std_logic_vector(write_pointer_i); 
Count: 17651
Threshold: 1

Signal assignment statement on line 217:

217:    write_pointer_raw   <= std_logic_vector(write_pointer_raw_i); 
Count: 209908
Threshold: 1

Signal assignment statement on line 218:

218:    write_pointer_ts    <= std_logic_vector(write_pointer_ts_i); 
Count: 30661
Threshold: 1

Signal assignment statement on line 219:

219:    rx_mem_free_i       <= std_logic_vector(rx_mem_free_i_i); 
Count: 67808
Threshold: 1

If statement on lines 221 to 223:

221:    abort_applied <= '1' when (rec_abort_f = '1' or commit_overrun_abort = '1') 
222:                         else 
223:                     '0'; 
Count: 67935
Threshold: 1

Signal assignment statement on line 221:

221:    abort_applied <= '1' when (rec_abort_f = '1' or commit_overrun_abort = '1') 
Count: 31566
Threshold: 1

Signal assignment statement on line 223:

223:                     '0'; 
Count: 36369
Threshold: 1

If statement on lines 231 to 237:

231:        if (rx_buf_rst_n_q_scan = '0') then 
232:            read_pointer_i <= (others => '0'); 
...
236:            end if; 
237:        end if; 
Count: 1096782032
Threshold: 1

Signal assignment statement on line 232:

232:            read_pointer_i <= (others => '0'); 
Count: 2436708
Threshold: 1

If statement on lines 234 to 236:

234:            if (read_increment = '1') then 
235:                read_pointer_i <= read_pointer_inc_1_i; 
236:            end if; 
Count: 547167495
Threshold: 1

Signal assignment statement on line 235:

235:                read_pointer_i <= read_pointer_inc_1_i; 
Count: 50920
Threshold: 1

If statement on lines 246 to 252:

246:        if (rx_buf_rst_n_q_scan = '0') then 
247:            write_pointer_i <= (others => '0'); 
...
251:            end if; 
252:        end if; 
Count: 1096782032
Threshold: 1

Signal assignment statement on line 247:

247:            write_pointer_i <= (others => '0'); 
Count: 2436708
Threshold: 1

If statement on lines 249 to 251:

249:            if (commit_rx_frame = '1') then 
250:                write_pointer_i <= write_pointer_raw_i; 
251:            end if; 
Count: 547167495
Threshold: 1

Signal assignment statement on line 250:

250:                write_pointer_i <= write_pointer_raw_i; 
Count: 13283
Threshold: 1

If statement on lines 262 to 264:

262:    write_pointer_raw_d <= write_pointer_raw_i + 1 when (write_raw_OK = '1') 
263:                                                   else 
264:                                   write_pointer_i; 
Count: 449460
Threshold: 1

Signal assignment statement on line 262:

262:    write_pointer_raw_d <= write_pointer_raw_i + 1 when (write_raw_OK = '1') 
Count: 304526
Threshold: 1

Signal assignment statement on line 264:

264:                                   write_pointer_i; 
Count: 144934
Threshold: 1

If statement on lines 266 to 269:

266:    write_pointer_raw_ce <= '1' when (write_raw_OK = '1') else 
267:                            '1' when (rec_abort_f = '1') else 
268:                            '1' when (commit_overrun_abort = '1') else 
269:                            '0'; 
Count: 292603
Threshold: 1

Signal assignment statement on line 266:

266:    write_pointer_raw_ce <= '1' when (write_raw_OK = '1') else 
Count: 112339
Threshold: 1

Signal assignment statement on line 267:

267:                            '1' when (rec_abort_f = '1') else 
Count: 31531
Threshold: 1

Signal assignment statement on line 268:

268:                            '1' when (commit_overrun_abort = '1') else 
Count: 44
Threshold: 1

Signal assignment statement on line 269:

269:                            '0'; 
Count: 148689
Threshold: 1

If statement on lines 273 to 279:

273:        if (rx_buf_rst_n_q_scan = '0') then 
274:           write_pointer_raw_i <= (others => '0'); 
...
278:            end if; 
279:        end if; 
Count: 1096782032
Threshold: 1

Signal assignment statement on line 274:

274:           write_pointer_raw_i <= (others => '0'); 
Count: 2436708
Threshold: 1

If statement on lines 276 to 278:

276:            if (write_pointer_raw_ce = '1') then 
277:                write_pointer_raw_i <= write_pointer_raw_d; 
278:            end if; 
Count: 547167495
Threshold: 1

Signal assignment statement on line 277:

277:                write_pointer_raw_i <= write_pointer_raw_d; 
Count: 223758
Threshold: 1

If statement on lines 286 to 288:

286:    write_pointer_ts_d <= write_pointer_raw_i when (store_ts_wr_ptr = '1') 
287:                                              else 
288:                          write_pointer_ts_i + 1; 
Count: 277415
Threshold: 1

Signal assignment statement on line 286:

286:    write_pointer_ts_d <= write_pointer_raw_i when (store_ts_wr_ptr = '1') 
Count: 52660
Threshold: 1

Signal assignment statement on line 288:

288:                          write_pointer_ts_i + 1; 
Count: 224755
Threshold: 1

If statement on lines 291 to 293:

291:    write_pointer_ts_ce <= '1' when (store_ts_wr_ptr = '1') else 
292:                           '1' when (inc_ts_wr_ptr = '1') else 
293:                           '0'; 
Count: 81840
Threshold: 1

Signal assignment statement on line 291:

291:    write_pointer_ts_ce <= '1' when (store_ts_wr_ptr = '1') else 
Count: 26330
Threshold: 1

Signal assignment statement on line 292:

292:                           '1' when (inc_ts_wr_ptr = '1') else 
Count: 12989
Threshold: 1

Signal assignment statement on line 293:

293:                           '0'; 
Count: 42521
Threshold: 1

If statement on lines 297 to 303:

297:        if (rx_buf_rst_n_q_scan = '0') then 
298:            write_pointer_ts_i  <= (others => '0'); 
...
302:            end if; 
303:        end if; 
Count: 1096782032
Threshold: 1

Signal assignment statement on line 298:

298:            write_pointer_ts_i  <= (others => '0'); 
Count: 2436708
Threshold: 1

If statement on lines 300 to 302:

300:            if (write_pointer_ts_ce = '1') then 
301:                write_pointer_ts_i <= write_pointer_ts_d; 
302:            end if; 
Count: 547167495
Threshold: 1

Signal assignment statement on line 301:

301:                write_pointer_ts_i <= write_pointer_ts_d; 
Count: 39319
Threshold: 1

If statement on lines 312 to 364:

312:        if (rx_buf_rst_n_q_scan = '0') then 
313:            rx_mem_free_i_i <= to_unsigned(G_RX_BUF_SIZE, C_FREE_MEM_WIDTH); 
...
363: 
364:        end if; 
Count: 1096782032
Threshold: 1

Signal assignment statement on line 313:

313:            rx_mem_free_i_i <= to_unsigned(G_RX_BUF_SIZE, C_FREE_MEM_WIDTH); 
Count: 2436708
Threshold: 1

Signal assignment statement on line 314:

314:            rx_mem_free_raw <= to_unsigned(G_RX_BUF_SIZE, C_FREE_MEM_WIDTH); 
Count: 2436708
Threshold: 1

If statement on lines 321 to 346:

321:            if (read_increment = '1') then 
322: 
...
345:                end if; 
346:            end if; 
Count: 547167495
Threshold: 1

If statement on lines 325 to 334:

325:                if (abort_applied = '1') then 
326:                    rx_mem_free_raw <= rx_mem_free_i_inc_1; 
...
333:                -- rx_mem_free_raw remains unchanged. 
334:                end if; 
Count: 50920
Threshold: 1

Signal assignment statement on line 326:

326:                    rx_mem_free_raw <= rx_mem_free_i_inc_1; 
Count: 20
Threshold: 1

Signal assignment statement on line 330:

330:                    rx_mem_free_raw <= rx_mem_free_raw_inc_1; 
Count: 50836
Threshold: 1

If statement on lines 339 to 345:

339:                if (abort_applied = '1') then 
340:                    rx_mem_free_raw <= rx_mem_free_i_i; 
...
344:                    rx_mem_free_raw <= rx_mem_free_raw_dec_1; 
345:                end if; 
Count: 547116575
Threshold: 1

Signal assignment statement on line 340:

340:                    rx_mem_free_raw <= rx_mem_free_i_i; 
Count: 31546
Threshold: 1

Signal assignment statement on line 344:

344:                    rx_mem_free_raw <= rx_mem_free_raw_dec_1; 
Count: 192128
Threshold: 1

If statement on lines 353 to 362:

353:            if (read_increment = '1') then 
354:                if (commit_rx_frame = '1') then 
...
361:                rx_mem_free_i_i <= rx_mem_free_raw; 
362:            end if; 
Count: 547167495
Threshold: 1

If statement on lines 354 to 358:

354:                if (commit_rx_frame = '1') then 
355:                    rx_mem_free_i_i <= rx_mem_free_raw_inc_1; 
356:                else 
357:                    rx_mem_free_i_i <= rx_mem_free_i_inc_1; 
358:                end if; 
Count: 50920
Threshold: 1

Signal assignment statement on line 355:

355:                    rx_mem_free_i_i <= rx_mem_free_raw_inc_1; 
Count: 24
Threshold: 1

Signal assignment statement on line 357:

357:                    rx_mem_free_i_i <= rx_mem_free_i_inc_1; 
Count: 50896
Threshold: 1

Signal assignment statement on line 361:

361:                rx_mem_free_i_i <= rx_mem_free_raw; 
Count: 13259
Threshold: 1

Signal assignment statement on line 373:

373:        rx_mem_free_i_inc_1     <= rx_mem_free_i_i + 1; 
Count: 273264
Threshold: 1

Signal assignment statement on line 374:

374:        rx_mem_free_raw_inc_1   <= rx_mem_free_raw + 1; 
Count: 273264
Threshold: 1

Signal assignment statement on line 375:

375:        rx_mem_free_raw_dec_1   <= rx_mem_free_raw - 1; 
Count: 273264
Threshold: 1

Signal assignment statement on line 386:

386:        read_pointer_inc_1_i <= read_pointer_i + 1; 
Count: 54937
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

221:    abort_applied <= '1' when (rec_abort_f = '1' or commit_overrun_abort = '1') 
Evaluated toCountThreshold
BinTrue315661
BinFalse363691

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

231:        if (rx_buf_rst_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24367081
BinFalse10943453241

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

233:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471674951
BinFalse5471778291

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

234:            if (read_increment = '1') then 
Evaluated toCountThreshold
BinTrue509201
BinFalse5471165751

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

246:        if (rx_buf_rst_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24367081
BinFalse10943453241

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

248:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471674951
BinFalse5471778291

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

249:            if (commit_rx_frame = '1') then 
Evaluated toCountThreshold
BinTrue132831
BinFalse5471542121

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

262:    write_pointer_raw_d <= write_pointer_raw_i + 1 when (write_raw_OK = '1') 
Evaluated toCountThreshold
BinTrue3045261
BinFalse1449341

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

266:    write_pointer_raw_ce <= '1' when (write_raw_OK = '1') else 
Evaluated toCountThreshold
BinTrue1123391
BinFalse1802641

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

267:                            '1' when (rec_abort_f = '1') else 
Evaluated toCountThreshold
BinTrue315311
BinFalse1487331

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

268:                            '1' when (commit_overrun_abort = '1') else 
Evaluated toCountThreshold
BinTrue441
BinFalse1486891

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

273:        if (rx_buf_rst_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24367081
BinFalse10943453241

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

275:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471674951
BinFalse5471778291

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

276:            if (write_pointer_raw_ce = '1') then 
Evaluated toCountThreshold
BinTrue2237581
BinFalse5469437371

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

286:    write_pointer_ts_d <= write_pointer_raw_i when (store_ts_wr_ptr = '1') 
Evaluated toCountThreshold
BinTrue526601
BinFalse2247551

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

291:    write_pointer_ts_ce <= '1' when (store_ts_wr_ptr = '1') else 
Evaluated toCountThreshold
BinTrue263301
BinFalse555101

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

292:                           '1' when (inc_ts_wr_ptr = '1') else 
Evaluated toCountThreshold
BinTrue129891
BinFalse425211

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

297:        if (rx_buf_rst_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24367081
BinFalse10943453241

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

299:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471674951
BinFalse5471778291

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

300:            if (write_pointer_ts_ce = '1') then 
Evaluated toCountThreshold
BinTrue393191
BinFalse5471281761

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

312:        if (rx_buf_rst_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24367081
BinFalse10943453241

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

316:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471674951
BinFalse5471778291

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

321:            if (read_increment = '1') then 
Evaluated toCountThreshold
BinTrue509201
BinFalse5471165751

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

325:                if (abort_applied = '1') then 
Evaluated toCountThreshold
BinTrue201
BinFalse509001

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

329:                elsif (write_raw_OK = '0') then 
Evaluated toCountThreshold
BinTrue508361
BinFalse641

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

339:                if (abort_applied = '1') then 
Evaluated toCountThreshold
BinTrue315461
BinFalse5470850291

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

343:                elsif (write_raw_OK = '1') then 
Evaluated toCountThreshold
BinTrue1921281
BinFalse5468929011

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

353:            if (read_increment = '1') then 
Evaluated toCountThreshold
BinTrue509201
BinFalse5471165751

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

354:                if (commit_rx_frame = '1') then 
Evaluated toCountThreshold
BinTrue241
BinFalse508961

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

360:            elsif (commit_rx_frame = '1') then 
Evaluated toCountThreshold
BinTrue132591
BinFalse5471033161

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RX_BUF_RST_N_Q_SCAN
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_ABORT_F
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 COMMIT_RX_FRAME
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 WRITE_RAW_OK
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 COMMIT_OVERRUN_ABORT
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 STORE_TS_WR_PTR
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 INC_TS_WR_PTR
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 READ_INCREMENT
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 READ_POINTER
ElementFromToCountThreshold
Bin(11)0131
Bin(11)101681
Bin(10)0151
Bin(10)101701
Bin(9)01111
Bin(9)101761
Bin(8)01221
Bin(8)101871
Bin(7)01431
Bin(7)102081
Bin(6)011981
Bin(6)108581
Bin(5)014311
Bin(5)1010911
Bin(4)0115551
Bin(4)1031561
Bin(3)0131341
Bin(3)1047351
Bin(2)0165381
Bin(2)1081391
Bin(1)01127981
Bin(1)10143991
Bin(0)01256021
Bin(0)10272031

Port:

 READ_POINTER_INC_1
ElementFromToCountThreshold
Bin(11)0131
Bin(11)101681
Bin(10)0151
Bin(10)101701
Bin(9)01111
Bin(9)101761
Bin(8)01221
Bin(8)101871
Bin(7)01431
Bin(7)102081
Bin(6)011981
Bin(6)108581
Bin(5)014361
Bin(5)1010961
Bin(4)0115641
Bin(4)1031651
Bin(3)0131571
Bin(3)1047581
Bin(2)0165761
Bin(2)1081771
Bin(1)01129961
Bin(1)10145971
Bin(0)01272031
Bin(0)10256021

Port:

 WRITE_POINTER
ElementFromToCountThreshold
Bin(11)0161
Bin(11)101711
Bin(10)01111
Bin(10)101761
Bin(9)01231
Bin(9)101881
Bin(8)01461
Bin(8)102111
Bin(7)01911
Bin(7)102561
Bin(6)013041
Bin(6)109641
Bin(5)016631
Bin(5)1013231
Bin(4)0119461
Bin(4)1035471
Bin(3)0137271
Bin(3)1053281
Bin(2)0161761
Bin(2)1077751
Bin(1)0117421
Bin(1)1033431
Bin(0)0115401
Bin(0)1031411

Port:

 WRITE_POINTER_RAW
ElementFromToCountThreshold
Bin(11)0171
Bin(11)101721
Bin(10)01121
Bin(10)101771
Bin(9)01251
Bin(9)101901
Bin(8)01491
Bin(8)102141
Bin(7)01961
Bin(7)102611
Bin(6)013441
Bin(6)1010041
Bin(5)017481
Bin(5)1014081
Bin(4)0145791
Bin(4)1061801
Bin(3)01117261
Bin(3)10133271
Bin(2)01267331
Bin(2)10283321
Bin(1)01492381
Bin(1)10508391
Bin(0)01989561
Bin(0)101005571

Port:

 WRITE_POINTER_TS
ElementFromToCountThreshold
Bin(11)0161
Bin(11)101711
Bin(10)01111
Bin(10)101761
Bin(9)01231
Bin(9)101881
Bin(8)01461
Bin(8)102111
Bin(7)01911
Bin(7)102561
Bin(6)012961
Bin(6)109561
Bin(5)016371
Bin(5)1012971
Bin(4)0118621
Bin(4)1034631
Bin(3)0135811
Bin(3)1051821
Bin(2)0161561
Bin(2)1077571
Bin(1)0136481
Bin(1)1052411
Bin(0)01117161
Bin(0)10133151

Port:

 RX_MEM_FREE_I
ElementFromToCountThreshold
Bin(12)0112061
Bin(12)1010411
Bin(11)0110431
Bin(11)1012081
Bin(10)0110501
Bin(10)1012151
Bin(9)0110641
Bin(9)1012291
Bin(8)0110921
Bin(8)1012571
Bin(7)0144841
Bin(7)1041541
Bin(6)0141111
Bin(6)1047711
Bin(5)0187751
Bin(5)1084961
Bin(4)0183581
Bin(4)1099571
Bin(3)0198251
Bin(3)10114241
Bin(2)01121591
Bin(2)10137581
Bin(1)01156241
Bin(1)10172251
Bin(0)01268601
Bin(0)10284611

Signal:

 READ_POINTER_I
ElementFromToCountThreshold
Bin(11)0131
Bin(11)101681
Bin(10)0151
Bin(10)101701
Bin(9)01111
Bin(9)101761
Bin(8)01221
Bin(8)101871
Bin(7)01431
Bin(7)102081
Bin(6)011981
Bin(6)108581
Bin(5)014311
Bin(5)1010911
Bin(4)0115551
Bin(4)1031561
Bin(3)0131341
Bin(3)1047351
Bin(2)0165381
Bin(2)1081391
Bin(1)01127981
Bin(1)10143991
Bin(0)01256021
Bin(0)10272031

Signal:

 READ_POINTER_INC_1_I
ElementFromToCountThreshold
Bin(11)0131
Bin(11)101681
Bin(10)0151
Bin(10)101701
Bin(9)01111
Bin(9)101761
Bin(8)01221
Bin(8)101871
Bin(7)01431
Bin(7)102081
Bin(6)011981
Bin(6)108581
Bin(5)014361
Bin(5)1010961
Bin(4)0115641
Bin(4)1031651
Bin(3)0131571
Bin(3)1047581
Bin(2)0165761
Bin(2)1081771
Bin(1)01129961
Bin(1)10145971
Bin(0)01272031
Bin(0)10256021

Signal:

 WRITE_POINTER_I
ElementFromToCountThreshold
Bin(11)0161
Bin(11)101711
Bin(10)01111
Bin(10)101761
Bin(9)01231
Bin(9)101881
Bin(8)01461
Bin(8)102111
Bin(7)01911
Bin(7)102561
Bin(6)013041
Bin(6)109641
Bin(5)016631
Bin(5)1013231
Bin(4)0119461
Bin(4)1035471
Bin(3)0137271
Bin(3)1053281
Bin(2)0161761
Bin(2)1077751
Bin(1)0117421
Bin(1)1033431
Bin(0)0115401
Bin(0)1031411

Signal:

 WRITE_POINTER_RAW_I
ElementFromToCountThreshold
Bin(11)0171
Bin(11)101721
Bin(10)01121
Bin(10)101771
Bin(9)01251
Bin(9)101901
Bin(8)01491
Bin(8)102141
Bin(7)01961
Bin(7)102611
Bin(6)013441
Bin(6)1010041
Bin(5)017481
Bin(5)1014081
Bin(4)0145791
Bin(4)1061801
Bin(3)01117261
Bin(3)10133271
Bin(2)01267331
Bin(2)10283321
Bin(1)01492381
Bin(1)10508391
Bin(0)01989561
Bin(0)101005571

Signal:

 WRITE_POINTER_RAW_D
ElementFromToCountThreshold
Bin(11)01321
Bin(11)101971
Bin(10)01751
Bin(10)102401
Bin(9)011421
Bin(9)103071
Bin(8)012831
Bin(8)104481
Bin(7)015821
Bin(7)107471
Bin(6)0118001
Bin(6)1024601
Bin(5)0139401
Bin(5)1046001
Bin(4)01216311
Bin(4)10232321
Bin(3)01683531
Bin(3)10699541
Bin(2)01888431
Bin(2)10904421
Bin(1)011009621
Bin(1)101025631
Bin(0)011671401
Bin(0)101687411

Signal:

 WRITE_POINTER_RAW_CE
FromToCountThreshold
Bin011438861
Bin101454871

Signal:

 WRITE_POINTER_TS_I
ElementFromToCountThreshold
Bin(11)0161
Bin(11)101711
Bin(10)01111
Bin(10)101761
Bin(9)01231
Bin(9)101881
Bin(8)01461
Bin(8)102111
Bin(7)01911
Bin(7)102561
Bin(6)012961
Bin(6)109561
Bin(5)016371
Bin(5)1012971
Bin(4)0118621
Bin(4)1034631
Bin(3)0135811
Bin(3)1051821
Bin(2)0161561
Bin(2)1077571
Bin(1)0136481
Bin(1)1052411
Bin(0)01117161
Bin(0)10133151

Signal:

 WRITE_POINTER_TS_D
ElementFromToCountThreshold
Bin(11)0161
Bin(11)101711
Bin(10)01111
Bin(10)101761
Bin(9)01231
Bin(9)101881
Bin(8)01461
Bin(8)102111
Bin(7)01911
Bin(7)102561
Bin(6)012981
Bin(6)109581
Bin(5)016471
Bin(5)1013071
Bin(4)0119381
Bin(4)1035391
Bin(3)0137581
Bin(3)1053591
Bin(2)0173971
Bin(2)1089961
Bin(1)01120351
Bin(1)10136301
Bin(0)01299851
Bin(0)10283861

Signal:

 WRITE_POINTER_TS_CE
FromToCountThreshold
Bin01393191
Bin10409201

Signal:

 RX_MEM_FREE_I_I
ElementFromToCountThreshold
Bin(12)0112061
Bin(12)1010411
Bin(11)0110431
Bin(11)1012081
Bin(10)0110501
Bin(10)1012151
Bin(9)0110641
Bin(9)1012291
Bin(8)0110921
Bin(8)1012571
Bin(7)0144841
Bin(7)1041541
Bin(6)0141111
Bin(6)1047711
Bin(5)0187751
Bin(5)1084961
Bin(4)0183581
Bin(4)1099571
Bin(3)0198251
Bin(3)10114241
Bin(2)01121591
Bin(2)10137581
Bin(1)01156241
Bin(1)10172251
Bin(0)01268601
Bin(0)10284611

Signal:

 RX_MEM_FREE_RAW
ElementFromToCountThreshold
Bin(12)0111571
Bin(12)109921
Bin(11)019941
Bin(11)1011591
Bin(10)0110011
Bin(10)1011661
Bin(9)0110151
Bin(9)1011801
Bin(8)0110431
Bin(8)1012081
Bin(7)0142541
Bin(7)1039241
Bin(6)0138811
Bin(6)1045411
Bin(5)01209071
Bin(5)10206281
Bin(4)01206241
Bin(4)10222231
Bin(3)01246311
Bin(3)10262301
Bin(2)01389021
Bin(2)10405011
Bin(1)01661171
Bin(1)10677181
Bin(0)011242181
Bin(0)101258191

Signal:

 RX_MEM_FREE_RAW_INC_1
ElementFromToCountThreshold
Bin(12)0111581
Bin(12)109931
Bin(11)019951
Bin(11)1011601
Bin(10)0110021
Bin(10)1011671
Bin(9)0110161
Bin(9)1011811
Bin(8)0110441
Bin(8)1012091
Bin(7)0142581
Bin(7)1039281
Bin(6)0138851
Bin(6)1045451
Bin(5)01209111
Bin(5)10206321
Bin(4)01206261
Bin(4)10222251
Bin(3)01238001
Bin(3)10253991
Bin(2)01355781
Bin(2)10371771
Bin(1)01607001
Bin(1)10623011
Bin(0)011258191
Bin(0)101242181

Signal:

 RX_MEM_FREE_RAW_DEC_1
ElementFromToCountThreshold
Bin(12)0151
Bin(12)101701
Bin(11)011721
Bin(11)1071
Bin(10)011791
Bin(10)10141
Bin(9)011931
Bin(9)10281
Bin(8)012211
Bin(8)10561
Bin(7)012921
Bin(7)106221
Bin(6)019101
Bin(6)102501
Bin(5)0111821
Bin(5)1014631
Bin(4)0152461
Bin(4)1036451
Bin(3)01134411
Bin(3)10118401
Bin(2)01330971
Bin(2)10314981
Bin(1)01623011
Bin(1)10607001
Bin(0)011258191
Bin(0)101242181

Signal:

 RX_MEM_FREE_I_INC_1
ElementFromToCountThreshold
Bin(12)0112081
Bin(12)1010431
Bin(11)0110451
Bin(11)1012101
Bin(10)0110521
Bin(10)1012171
Bin(9)0110661
Bin(9)1012311
Bin(8)0110941
Bin(8)1012591
Bin(7)0144891
Bin(7)1041591
Bin(6)0141161
Bin(6)1047761
Bin(5)0187821
Bin(5)1085031
Bin(4)0183631
Bin(4)1099621
Bin(3)0197221
Bin(3)10113211
Bin(2)01121831
Bin(2)10137821
Bin(1)01132791
Bin(1)10148801
Bin(0)01284611
Bin(0)10268601

Signal:

 ABORT_APPLIED
FromToCountThreshold
Bin01315661
Bin10331671

Uncovered expressions:

Excluded expressions:

Covered expressions:

"or" expression on line 221:

 rec_abort_f = '1' or commit_overrun_abort = '1' 
 <------LHS------>    <----------RHS-----------> 
LHSRHSCountThreshold
BinFalseFalse363691
BinFalseTrue441
BinTrueFalse315221

"=" expression on line 221:

 rec_abort_f = '1' 
Evaluated toCountThreshold
BinFalse364131
BinTrue315221

"=" expression on line 221:

 commit_overrun_abort = '1' 
Evaluated toCountThreshold
BinFalse678911
BinTrue441

"=" expression on line 231:

 rx_buf_rst_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10943453241
BinTrue24367081

"=" expression on line 234:

 read_increment = '1' 
Evaluated toCountThreshold
BinFalse5471165751
BinTrue509201

"=" expression on line 246:

 rx_buf_rst_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10943453241
BinTrue24367081

"=" expression on line 249:

 commit_rx_frame = '1' 
Evaluated toCountThreshold
BinFalse5471542121
BinTrue132831

"=" expression on line 262:

 write_raw_OK = '1' 
Evaluated toCountThreshold
BinFalse1449341
BinTrue3045261

"=" expression on line 266:

 write_raw_OK = '1' 
Evaluated toCountThreshold
BinFalse1802641
BinTrue1123391

"=" expression on line 267:

 rec_abort_f = '1' 
Evaluated toCountThreshold
BinFalse1487331
BinTrue315311

"=" expression on line 268:

 commit_overrun_abort = '1' 
Evaluated toCountThreshold
BinFalse1486891
BinTrue441

"=" expression on line 273:

 rx_buf_rst_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10943453241
BinTrue24367081

"=" expression on line 276:

 write_pointer_raw_ce = '1' 
Evaluated toCountThreshold
BinFalse5469437371
BinTrue2237581

"=" expression on line 286:

 store_ts_wr_ptr = '1' 
Evaluated toCountThreshold
BinFalse2247551
BinTrue526601

"=" expression on line 291:

 store_ts_wr_ptr = '1' 
Evaluated toCountThreshold
BinFalse555101
BinTrue263301

"=" expression on line 292:

 inc_ts_wr_ptr = '1' 
Evaluated toCountThreshold
BinFalse425211
BinTrue129891

"=" expression on line 297:

 rx_buf_rst_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10943453241
BinTrue24367081

"=" expression on line 300:

 write_pointer_ts_ce = '1' 
Evaluated toCountThreshold
BinFalse5471281761
BinTrue393191

"=" expression on line 312:

 rx_buf_rst_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10943453241
BinTrue24367081

"=" expression on line 321:

 read_increment = '1' 
Evaluated toCountThreshold
BinFalse5471165751
BinTrue509201

"=" expression on line 325:

 abort_applied = '1' 
Evaluated toCountThreshold
BinFalse509001
BinTrue201

"=" expression on line 329:

 write_raw_OK = '0' 
Evaluated toCountThreshold
BinFalse641
BinTrue508361

"=" expression on line 339:

 abort_applied = '1' 
Evaluated toCountThreshold
BinFalse5470850291
BinTrue315461

"=" expression on line 343:

 write_raw_OK = '1' 
Evaluated toCountThreshold
BinFalse5468929011
BinTrue1921281

"=" expression on line 353:

 read_increment = '1' 
Evaluated toCountThreshold
BinFalse5471165751
BinTrue509201

"=" expression on line 354:

 commit_rx_frame = '1' 
Evaluated toCountThreshold
BinFalse508961
BinTrue241

"=" expression on line 360:

 commit_rx_frame = '1' 
Evaluated toCountThreshold
BinFalse5471033161
BinTrue132591

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: