NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.RX_BUFFER_INST.RX_BUFFER_POINTERS_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/rx_buffer/rx_buffer_pointers.vhd

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average

Current Instance:

Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.RX_BUFFER_INST.RX_BUFFER_POINTERS_INST 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 261615 items are not displayed.

Uncovered statements:

Excluded statements:

Covered statements:

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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

Count: 66536
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

223:                     '0'
Count: 35668
Threshold: 1

If statement:

231:        if (rx_buf_res_n_q_scan = '0') then 
232:            read_pointer_i <= (others => '0'); 
...
236:            end if; 
237:        end if; 

Count: 1055177794
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 526367462
Threshold: 1

Signal assignment statement:

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

If statement:

246:        if (rx_buf_res_n_q_scan = '0') then 
247:            write_pointer_i <= (others => '0'); 
...
251:            end if; 
252:        end if; 

Count: 1055177794
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 526367462
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 451568
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

264:                                   write_pointer_i
Count: 145625
Threshold: 1

If statement:

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: 292554
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

269:                            '0'
Count: 148665
Threshold: 1

If statement:

273:        if (rx_buf_res_n_q_scan = '0') then 
274:           write_pointer_raw_i <= (others => '0'); 
...
278:            end if; 
279:        end if; 

Count: 1055177794
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 526367462
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 278216
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

288:                          write_pointer_ts_i + 1
Count: 225514
Threshold: 1

If statement:

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: 81944
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

293:                           '0'
Count: 42572
Threshold: 1

If statement:

297:        if (rx_buf_res_n_q_scan = '0') then 
298:            write_pointer_ts_i  <= (others => '0'); 
...
302:            end if; 
303:        end if; 

Count: 1055177794
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 526367462
Threshold: 1

Signal assignment statement:

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

If statement:

312:        if (rx_buf_res_n_q_scan = '0') then 
313:            rx_mem_free_i_i <= to_unsigned(G_RX_BUFF_SIZE, C_FREE_MEM_WIDTH); 
...
363: 
364:        end if; 

Count: 1055177794
Threshold: 1

Signal assignment statement:

313:            rx_mem_free_i_i <= to_unsigned(G_RX_BUFF_SIZE, C_FREE_MEM_WIDTH); 
Count: 2432531
Threshold: 1

Signal assignment statement:

314:            rx_mem_free_raw <= to_unsigned(G_RX_BUFF_SIZE, C_FREE_MEM_WIDTH); 
Count: 2432531
Threshold: 1

If statement:

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

Count: 526367462
Threshold: 1

If statement:

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: 51619
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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: 526315843
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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: 526367462
Threshold: 1

If statement:

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: 51619
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition:

221:    abort_applied <= '1' when (rec_abort_f = '1' or commit_overrun_abort = '1'
Evaluated toCountThreshold
BinTrue308681
BinFalse356681

"if" / "when" / "else" condition:

231:        if (rx_buf_res_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24325311
BinFalse10527452631

"if" / "when" / "else" condition:

233:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263674621
BinFalse5263778011

"if" / "when" / "else" condition:

234:            if (read_increment = '1') then 
Evaluated toCountThreshold
BinTrue516191
BinFalse5263158431

"if" / "when" / "else" condition:

246:        if (rx_buf_res_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24325311
BinFalse10527452631

"if" / "when" / "else" condition:

248:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263674621
BinFalse5263778011

"if" / "when" / "else" condition:

249:            if (commit_rx_frame = '1') then 
Evaluated toCountThreshold
BinTrue133101
BinFalse5263541521

"if" / "when" / "else" condition:

262:    write_pointer_raw_d <= write_pointer_raw_i + 1 when (write_raw_OK = '1'
Evaluated toCountThreshold
BinTrue3059431
BinFalse1456251

"if" / "when" / "else" condition:

266:    write_pointer_raw_ce <= '1' when (write_raw_OK = '1') else 
Evaluated toCountThreshold
BinTrue1130141
BinFalse1795401

"if" / "when" / "else" condition:

267:                            '1' when (rec_abort_f = '1') else 
Evaluated toCountThreshold
BinTrue308271
BinFalse1487131

"if" / "when" / "else" condition:

268:                            '1' when (commit_overrun_abort = '1') else 
Evaluated toCountThreshold
BinTrue481
BinFalse1486651

"if" / "when" / "else" condition:

273:        if (rx_buf_res_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24325311
BinFalse10527452631

"if" / "when" / "else" condition:

275:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263674621
BinFalse5263778011

"if" / "when" / "else" condition:

276:            if (write_pointer_raw_ce = '1') then 
Evaluated toCountThreshold
BinTrue2238021
BinFalse5261436601

"if" / "when" / "else" condition:

286:    write_pointer_ts_d <= write_pointer_raw_i when (store_ts_wr_ptr = '1'
Evaluated toCountThreshold
BinTrue527021
BinFalse2255141

"if" / "when" / "else" condition:

291:    write_pointer_ts_ce <= '1' when (store_ts_wr_ptr = '1') else 
Evaluated toCountThreshold
BinTrue263511
BinFalse555931

"if" / "when" / "else" condition:

292:                           '1' when (inc_ts_wr_ptr = '1') else 
Evaluated toCountThreshold
BinTrue130211
BinFalse425721

"if" / "when" / "else" condition:

297:        if (rx_buf_res_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24325311
BinFalse10527452631

"if" / "when" / "else" condition:

299:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263674621
BinFalse5263778011

"if" / "when" / "else" condition:

300:            if (write_pointer_ts_ce = '1') then 
Evaluated toCountThreshold
BinTrue393721
BinFalse5263280901

"if" / "when" / "else" condition:

312:        if (rx_buf_res_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24325311
BinFalse10527452631

"if" / "when" / "else" condition:

316:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263674621
BinFalse5263778011

"if" / "when" / "else" condition:

321:            if (read_increment = '1') then 
Evaluated toCountThreshold
BinTrue516191
BinFalse5263158431

"if" / "when" / "else" condition:

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

"if" / "when" / "else" condition:

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

"if" / "when" / "else" condition:

339:                if (abort_applied = '1') then 
Evaluated toCountThreshold
BinTrue308481
BinFalse5262849951

"if" / "when" / "else" condition:

343:                elsif (write_raw_OK = '1') then 
Evaluated toCountThreshold
BinTrue1928701
BinFalse5260921251

"if" / "when" / "else" condition:

353:            if (read_increment = '1') then 
Evaluated toCountThreshold
BinTrue516191
BinFalse5263158431

"if" / "when" / "else" condition:

354:                if (commit_rx_frame = '1') then 
Evaluated toCountThreshold
BinTrue271
BinFalse515921

"if" / "when" / "else" condition:

360:            elsif (commit_rx_frame = '1') then 
Evaluated toCountThreshold
BinTrue132831
BinFalse5263025601

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RX_BUF_RES_N_Q_SCAN
FromToCountThreshold
Bin0184371
Bin1084281

Port:

 REC_ABORT_F
FromToCountThreshold
Bin01308201
Bin10324201

Port:

 COMMIT_RX_FRAME
FromToCountThreshold
Bin01133101
Bin10149101

Port:

 WRITE_RAW_OK
FromToCountThreshold
Bin011130091
Bin101146091

Port:

 COMMIT_OVERRUN_ABORT
FromToCountThreshold
Bin01481
Bin1016481

Port:

 STORE_TS_WR_PTR
FromToCountThreshold
Bin01263511
Bin10279511

Port:

 INC_TS_WR_PTR
FromToCountThreshold
Bin01130211
Bin10146211

Port:

 READ_INCREMENT
FromToCountThreshold
Bin01516191
Bin10532191

Port:

 READ_POINTER(11)
FromToCountThreshold
Bin0131
Bin101681

Port:

 READ_POINTER(10)
FromToCountThreshold
Bin0151
Bin101701

Port:

 READ_POINTER(9)
FromToCountThreshold
Bin01111
Bin101761

Port:

 READ_POINTER(8)
FromToCountThreshold
Bin01221
Bin101871

Port:

 READ_POINTER(7)
FromToCountThreshold
Bin01431
Bin102081

Port:

 READ_POINTER(6)
FromToCountThreshold
Bin012021
Bin108621

Port:

 READ_POINTER(5)
FromToCountThreshold
Bin014261
Bin1010861

Port:

 READ_POINTER(4)
FromToCountThreshold
Bin0115821
Bin1031821

Port:

 READ_POINTER(3)
FromToCountThreshold
Bin0131721
Bin1047721

Port:

 READ_POINTER(2)
FromToCountThreshold
Bin0166291
Bin1082291

Port:

 READ_POINTER(1)
FromToCountThreshold
Bin01129791
Bin10145791

Port:

 READ_POINTER(0)
FromToCountThreshold
Bin01259491
Bin10275491

Port:

 READ_POINTER_INC_1(11)
FromToCountThreshold
Bin0131
Bin101681

Port:

 READ_POINTER_INC_1(10)
FromToCountThreshold
Bin0151
Bin101701

Port:

 READ_POINTER_INC_1(9)
FromToCountThreshold
Bin01111
Bin101761

Port:

 READ_POINTER_INC_1(8)
FromToCountThreshold
Bin01221
Bin101871

Port:

 READ_POINTER_INC_1(7)
FromToCountThreshold
Bin01431
Bin102081

Port:

 READ_POINTER_INC_1(6)
FromToCountThreshold
Bin012021
Bin108621

Port:

 READ_POINTER_INC_1(5)
FromToCountThreshold
Bin014351
Bin1010951

Port:

 READ_POINTER_INC_1(4)
FromToCountThreshold
Bin0115941
Bin1031941

Port:

 READ_POINTER_INC_1(3)
FromToCountThreshold
Bin0131831
Bin1047831

Port:

 READ_POINTER_INC_1(2)
FromToCountThreshold
Bin0166721
Bin1082721

Port:

 READ_POINTER_INC_1(1)
FromToCountThreshold
Bin01131771
Bin10147771

Port:

 READ_POINTER_INC_1(0)
FromToCountThreshold
Bin01275491
Bin10259491

Port:

 WRITE_POINTER(11)
FromToCountThreshold
Bin0161
Bin101711

Port:

 WRITE_POINTER(10)
FromToCountThreshold
Bin01111
Bin101761

Port:

 WRITE_POINTER(9)
FromToCountThreshold
Bin01231
Bin101881

Port:

 WRITE_POINTER(8)
FromToCountThreshold
Bin01461
Bin102111

Port:

 WRITE_POINTER(7)
FromToCountThreshold
Bin01911
Bin102561

Port:

 WRITE_POINTER(6)
FromToCountThreshold
Bin013081
Bin109681

Port:

 WRITE_POINTER(5)
FromToCountThreshold
Bin016591
Bin1013191

Port:

 WRITE_POINTER(4)
FromToCountThreshold
Bin0119741
Bin1035741

Port:

 WRITE_POINTER(3)
FromToCountThreshold
Bin0137431
Bin1053431

Port:

 WRITE_POINTER(2)
FromToCountThreshold
Bin0161421
Bin1077401

Port:

 WRITE_POINTER(1)
FromToCountThreshold
Bin0118711
Bin1034711

Port:

 WRITE_POINTER(0)
FromToCountThreshold
Bin0115471
Bin1031471

Port:

 WRITE_POINTER_RAW(11)
FromToCountThreshold
Bin0171
Bin101721

Port:

 WRITE_POINTER_RAW(10)
FromToCountThreshold
Bin01121
Bin101771

Port:

 WRITE_POINTER_RAW(9)
FromToCountThreshold
Bin01251
Bin101901

Port:

 WRITE_POINTER_RAW(8)
FromToCountThreshold
Bin01491
Bin102141

Port:

 WRITE_POINTER_RAW(7)
FromToCountThreshold
Bin01961
Bin102611

Port:

 WRITE_POINTER_RAW(6)
FromToCountThreshold
Bin013481
Bin1010081

Port:

 WRITE_POINTER_RAW(5)
FromToCountThreshold
Bin017401
Bin1014001

Port:

 WRITE_POINTER_RAW(4)
FromToCountThreshold
Bin0146111
Bin1062111

Port:

 WRITE_POINTER_RAW(3)
FromToCountThreshold
Bin01117661
Bin10133661

Port:

 WRITE_POINTER_RAW(2)
FromToCountThreshold
Bin01268271
Bin10284251

Port:

 WRITE_POINTER_RAW(1)
FromToCountThreshold
Bin01494271
Bin10510271

Port:

 WRITE_POINTER_RAW(0)
FromToCountThreshold
Bin01993161
Bin101009161

Port:

 WRITE_POINTER_TS(11)
FromToCountThreshold
Bin0161
Bin101711

Port:

 WRITE_POINTER_TS(10)
FromToCountThreshold
Bin01111
Bin101761

Port:

 WRITE_POINTER_TS(9)
FromToCountThreshold
Bin01231
Bin101881

Port:

 WRITE_POINTER_TS(8)
FromToCountThreshold
Bin01461
Bin102111

Port:

 WRITE_POINTER_TS(7)
FromToCountThreshold
Bin01911
Bin102561

Port:

 WRITE_POINTER_TS(6)
FromToCountThreshold
Bin013011
Bin109611

Port:

 WRITE_POINTER_TS(5)
FromToCountThreshold
Bin016371
Bin1012971

Port:

 WRITE_POINTER_TS(4)
FromToCountThreshold
Bin0118941
Bin1034941

Port:

 WRITE_POINTER_TS(3)
FromToCountThreshold
Bin0136121
Bin1052121

Port:

 WRITE_POINTER_TS(2)
FromToCountThreshold
Bin0161931
Bin1077931

Port:

 WRITE_POINTER_TS(1)
FromToCountThreshold
Bin0136531
Bin1052471

Port:

 WRITE_POINTER_TS(0)
FromToCountThreshold
Bin01117451
Bin10133431

Port:

 RX_MEM_FREE_I(12)
FromToCountThreshold
Bin0112041
Bin1010391

Port:

 RX_MEM_FREE_I(11)
FromToCountThreshold
Bin0110411
Bin1012061

Port:

 RX_MEM_FREE_I(10)
FromToCountThreshold
Bin0110481
Bin1012131

Port:

 RX_MEM_FREE_I(9)
FromToCountThreshold
Bin0110621
Bin1012271

Port:

 RX_MEM_FREE_I(8)
FromToCountThreshold
Bin0110901
Bin1012551

Port:

 RX_MEM_FREE_I(7)
FromToCountThreshold
Bin0144831
Bin1041531

Port:

 RX_MEM_FREE_I(6)
FromToCountThreshold
Bin0141101
Bin1047701

Port:

 RX_MEM_FREE_I(5)
FromToCountThreshold
Bin0187731
Bin1084951

Port:

 RX_MEM_FREE_I(4)
FromToCountThreshold
Bin0183681
Bin1099661

Port:

 RX_MEM_FREE_I(3)
FromToCountThreshold
Bin0198991
Bin10114971

Port:

 RX_MEM_FREE_I(2)
FromToCountThreshold
Bin01121951
Bin10137931

Port:

 RX_MEM_FREE_I(1)
FromToCountThreshold
Bin01159081
Bin10175081

Port:

 RX_MEM_FREE_I(0)
FromToCountThreshold
Bin01272141
Bin10288141

Signal:

 READ_POINTER_I(11)
FromToCountThreshold
Bin0131
Bin101681

Signal:

 READ_POINTER_I(10)
FromToCountThreshold
Bin0151
Bin101701

Signal:

 READ_POINTER_I(9)
FromToCountThreshold
Bin01111
Bin101761

Signal:

 READ_POINTER_I(8)
FromToCountThreshold
Bin01221
Bin101871

Signal:

 READ_POINTER_I(7)
FromToCountThreshold
Bin01431
Bin102081

Signal:

 READ_POINTER_I(6)
FromToCountThreshold
Bin012021
Bin108621

Signal:

 READ_POINTER_I(5)
FromToCountThreshold
Bin014261
Bin1010861

Signal:

 READ_POINTER_I(4)
FromToCountThreshold
Bin0115821
Bin1031821

Signal:

 READ_POINTER_I(3)
FromToCountThreshold
Bin0131721
Bin1047721

Signal:

 READ_POINTER_I(2)
FromToCountThreshold
Bin0166291
Bin1082291

Signal:

 READ_POINTER_I(1)
FromToCountThreshold
Bin01129791
Bin10145791

Signal:

 READ_POINTER_I(0)
FromToCountThreshold
Bin01259491
Bin10275491

Signal:

 READ_POINTER_INC_1_I(11)
FromToCountThreshold
Bin0131
Bin101681

Signal:

 READ_POINTER_INC_1_I(10)
FromToCountThreshold
Bin0151
Bin101701

Signal:

 READ_POINTER_INC_1_I(9)
FromToCountThreshold
Bin01111
Bin101761

Signal:

 READ_POINTER_INC_1_I(8)
FromToCountThreshold
Bin01221
Bin101871

Signal:

 READ_POINTER_INC_1_I(7)
FromToCountThreshold
Bin01431
Bin102081

Signal:

 READ_POINTER_INC_1_I(6)
FromToCountThreshold
Bin012021
Bin108621

Signal:

 READ_POINTER_INC_1_I(5)
FromToCountThreshold
Bin014351
Bin1010951

Signal:

 READ_POINTER_INC_1_I(4)
FromToCountThreshold
Bin0115941
Bin1031941

Signal:

 READ_POINTER_INC_1_I(3)
FromToCountThreshold
Bin0131831
Bin1047831

Signal:

 READ_POINTER_INC_1_I(2)
FromToCountThreshold
Bin0166721
Bin1082721

Signal:

 READ_POINTER_INC_1_I(1)
FromToCountThreshold
Bin01131771
Bin10147771

Signal:

 READ_POINTER_INC_1_I(0)
FromToCountThreshold
Bin01275491
Bin10259491

Signal:

 WRITE_POINTER_I(11)
FromToCountThreshold
Bin0161
Bin101711

Signal:

 WRITE_POINTER_I(10)
FromToCountThreshold
Bin01111
Bin101761

Signal:

 WRITE_POINTER_I(9)
FromToCountThreshold
Bin01231
Bin101881

Signal:

 WRITE_POINTER_I(8)
FromToCountThreshold
Bin01461
Bin102111

Signal:

 WRITE_POINTER_I(7)
FromToCountThreshold
Bin01911
Bin102561

Signal:

 WRITE_POINTER_I(6)
FromToCountThreshold
Bin013081
Bin109681

Signal:

 WRITE_POINTER_I(5)
FromToCountThreshold
Bin016591
Bin1013191

Signal:

 WRITE_POINTER_I(4)
FromToCountThreshold
Bin0119741
Bin1035741

Signal:

 WRITE_POINTER_I(3)
FromToCountThreshold
Bin0137431
Bin1053431

Signal:

 WRITE_POINTER_I(2)
FromToCountThreshold
Bin0161421
Bin1077401

Signal:

 WRITE_POINTER_I(1)
FromToCountThreshold
Bin0118711
Bin1034711

Signal:

 WRITE_POINTER_I(0)
FromToCountThreshold
Bin0115471
Bin1031471

Signal:

 WRITE_POINTER_RAW_I(11)
FromToCountThreshold
Bin0171
Bin101721

Signal:

 WRITE_POINTER_RAW_I(10)
FromToCountThreshold
Bin01121
Bin101771

Signal:

 WRITE_POINTER_RAW_I(9)
FromToCountThreshold
Bin01251
Bin101901

Signal:

 WRITE_POINTER_RAW_I(8)
FromToCountThreshold
Bin01491
Bin102141

Signal:

 WRITE_POINTER_RAW_I(7)
FromToCountThreshold
Bin01961
Bin102611

Signal:

 WRITE_POINTER_RAW_I(6)
FromToCountThreshold
Bin013481
Bin1010081

Signal:

 WRITE_POINTER_RAW_I(5)
FromToCountThreshold
Bin017401
Bin1014001

Signal:

 WRITE_POINTER_RAW_I(4)
FromToCountThreshold
Bin0146111
Bin1062111

Signal:

 WRITE_POINTER_RAW_I(3)
FromToCountThreshold
Bin01117661
Bin10133661

Signal:

 WRITE_POINTER_RAW_I(2)
FromToCountThreshold
Bin01268271
Bin10284251

Signal:

 WRITE_POINTER_RAW_I(1)
FromToCountThreshold
Bin01494271
Bin10510271

Signal:

 WRITE_POINTER_RAW_I(0)
FromToCountThreshold
Bin01993161
Bin101009161

Signal:

 WRITE_POINTER_RAW_D(11)
FromToCountThreshold
Bin01331
Bin101981

Signal:

 WRITE_POINTER_RAW_D(10)
FromToCountThreshold
Bin01741
Bin102391

Signal:

 WRITE_POINTER_RAW_D(9)
FromToCountThreshold
Bin011511
Bin103161

Signal:

 WRITE_POINTER_RAW_D(8)
FromToCountThreshold
Bin013021
Bin104671

Signal:

 WRITE_POINTER_RAW_D(7)
FromToCountThreshold
Bin016121
Bin107771

Signal:

 WRITE_POINTER_RAW_D(6)
FromToCountThreshold
Bin0118301
Bin1024901

Signal:

 WRITE_POINTER_RAW_D(5)
FromToCountThreshold
Bin0139901
Bin1046501

Signal:

 WRITE_POINTER_RAW_D(4)
FromToCountThreshold
Bin01219501
Bin10235501

Signal:

 WRITE_POINTER_RAW_D(3)
FromToCountThreshold
Bin01687951
Bin10703951

Signal:

 WRITE_POINTER_RAW_D(2)
FromToCountThreshold
Bin01892321
Bin10908301

Signal:

 WRITE_POINTER_RAW_D(1)
FromToCountThreshold
Bin011017311
Bin101033311

Signal:

 WRITE_POINTER_RAW_D(0)
FromToCountThreshold
Bin011678661
Bin101694661

Signal:

 WRITE_POINTER_RAW_CE
FromToCountThreshold
Bin011438651
Bin101454651

Signal:

 WRITE_POINTER_TS_I(11)
FromToCountThreshold
Bin0161
Bin101711

Signal:

 WRITE_POINTER_TS_I(10)
FromToCountThreshold
Bin01111
Bin101761

Signal:

 WRITE_POINTER_TS_I(9)
FromToCountThreshold
Bin01231
Bin101881

Signal:

 WRITE_POINTER_TS_I(8)
FromToCountThreshold
Bin01461
Bin102111

Signal:

 WRITE_POINTER_TS_I(7)
FromToCountThreshold
Bin01911
Bin102561

Signal:

 WRITE_POINTER_TS_I(6)
FromToCountThreshold
Bin013011
Bin109611

Signal:

 WRITE_POINTER_TS_I(5)
FromToCountThreshold
Bin016371
Bin1012971

Signal:

 WRITE_POINTER_TS_I(4)
FromToCountThreshold
Bin0118941
Bin1034941

Signal:

 WRITE_POINTER_TS_I(3)
FromToCountThreshold
Bin0136121
Bin1052121

Signal:

 WRITE_POINTER_TS_I(2)
FromToCountThreshold
Bin0161931
Bin1077931

Signal:

 WRITE_POINTER_TS_I(1)
FromToCountThreshold
Bin0136531
Bin1052471

Signal:

 WRITE_POINTER_TS_I(0)
FromToCountThreshold
Bin01117451
Bin10133431

Signal:

 WRITE_POINTER_TS_D(11)
FromToCountThreshold
Bin0161
Bin101711

Signal:

 WRITE_POINTER_TS_D(10)
FromToCountThreshold
Bin01111
Bin101761

Signal:

 WRITE_POINTER_TS_D(9)
FromToCountThreshold
Bin01231
Bin101881

Signal:

 WRITE_POINTER_TS_D(8)
FromToCountThreshold
Bin01461
Bin102111

Signal:

 WRITE_POINTER_TS_D(7)
FromToCountThreshold
Bin01911
Bin102561

Signal:

 WRITE_POINTER_TS_D(6)
FromToCountThreshold
Bin013031
Bin109631

Signal:

 WRITE_POINTER_TS_D(5)
FromToCountThreshold
Bin016441
Bin1013041

Signal:

 WRITE_POINTER_TS_D(4)
FromToCountThreshold
Bin0119671
Bin1035671

Signal:

 WRITE_POINTER_TS_D(3)
FromToCountThreshold
Bin0137891
Bin1053891

Signal:

 WRITE_POINTER_TS_D(2)
FromToCountThreshold
Bin0174851
Bin1090831

Signal:

 WRITE_POINTER_TS_D(1)
FromToCountThreshold
Bin01119591
Bin10135551

Signal:

 WRITE_POINTER_TS_D(0)
FromToCountThreshold
Bin01300081
Bin10284101

Signal:

 WRITE_POINTER_TS_CE
FromToCountThreshold
Bin01393721
Bin10409721

Signal:

 RX_MEM_FREE_I_I(12)
FromToCountThreshold
Bin0112041
Bin1010391

Signal:

 RX_MEM_FREE_I_I(11)
FromToCountThreshold
Bin0110411
Bin1012061

Signal:

 RX_MEM_FREE_I_I(10)
FromToCountThreshold
Bin0110481
Bin1012131

Signal:

 RX_MEM_FREE_I_I(9)
FromToCountThreshold
Bin0110621
Bin1012271

Signal:

 RX_MEM_FREE_I_I(8)
FromToCountThreshold
Bin0110901
Bin1012551

Signal:

 RX_MEM_FREE_I_I(7)
FromToCountThreshold
Bin0144831
Bin1041531

Signal:

 RX_MEM_FREE_I_I(6)
FromToCountThreshold
Bin0141101
Bin1047701

Signal:

 RX_MEM_FREE_I_I(5)
FromToCountThreshold
Bin0187731
Bin1084951

Signal:

 RX_MEM_FREE_I_I(4)
FromToCountThreshold
Bin0183681
Bin1099661

Signal:

 RX_MEM_FREE_I_I(3)
FromToCountThreshold
Bin0198991
Bin10114971

Signal:

 RX_MEM_FREE_I_I(2)
FromToCountThreshold
Bin01121951
Bin10137931

Signal:

 RX_MEM_FREE_I_I(1)
FromToCountThreshold
Bin01159081
Bin10175081

Signal:

 RX_MEM_FREE_I_I(0)
FromToCountThreshold
Bin01272141
Bin10288141

Signal:

 RX_MEM_FREE_RAW(12)
FromToCountThreshold
Bin0111551
Bin109901

Signal:

 RX_MEM_FREE_RAW(11)
FromToCountThreshold
Bin019921
Bin1011571

Signal:

 RX_MEM_FREE_RAW(10)
FromToCountThreshold
Bin019991
Bin1011641

Signal:

 RX_MEM_FREE_RAW(9)
FromToCountThreshold
Bin0110131
Bin1011781

Signal:

 RX_MEM_FREE_RAW(8)
FromToCountThreshold
Bin0110411
Bin1012061

Signal:

 RX_MEM_FREE_RAW(7)
FromToCountThreshold
Bin0142531
Bin1039231

Signal:

 RX_MEM_FREE_RAW(6)
FromToCountThreshold
Bin0138801
Bin1045401

Signal:

 RX_MEM_FREE_RAW(5)
FromToCountThreshold
Bin01208941
Bin10206161

Signal:

 RX_MEM_FREE_RAW(4)
FromToCountThreshold
Bin01206311
Bin10222291

Signal:

 RX_MEM_FREE_RAW(3)
FromToCountThreshold
Bin01247671
Bin10263651

Signal:

 RX_MEM_FREE_RAW(2)
FromToCountThreshold
Bin01390871
Bin10406851

Signal:

 RX_MEM_FREE_RAW(1)
FromToCountThreshold
Bin01664481
Bin10680481

Signal:

 RX_MEM_FREE_RAW(0)
FromToCountThreshold
Bin011249251
Bin101265251

Signal:

 RX_MEM_FREE_RAW_INC_1(12)
FromToCountThreshold
Bin0111571
Bin109921

Signal:

 RX_MEM_FREE_RAW_INC_1(11)
FromToCountThreshold
Bin019941
Bin1011591

Signal:

 RX_MEM_FREE_RAW_INC_1(10)
FromToCountThreshold
Bin0110011
Bin1011661

Signal:

 RX_MEM_FREE_RAW_INC_1(9)
FromToCountThreshold
Bin0110151
Bin1011801

Signal:

 RX_MEM_FREE_RAW_INC_1(8)
FromToCountThreshold
Bin0110431
Bin1012081

Signal:

 RX_MEM_FREE_RAW_INC_1(7)
FromToCountThreshold
Bin0142591
Bin1039291

Signal:

 RX_MEM_FREE_RAW_INC_1(6)
FromToCountThreshold
Bin0138861
Bin1045461

Signal:

 RX_MEM_FREE_RAW_INC_1(5)
FromToCountThreshold
Bin01209031
Bin10206251

Signal:

 RX_MEM_FREE_RAW_INC_1(4)
FromToCountThreshold
Bin01206361
Bin10222341

Signal:

 RX_MEM_FREE_RAW_INC_1(3)
FromToCountThreshold
Bin01239941
Bin10255921

Signal:

 RX_MEM_FREE_RAW_INC_1(2)
FromToCountThreshold
Bin01358061
Bin10374041

Signal:

 RX_MEM_FREE_RAW_INC_1(1)
FromToCountThreshold
Bin01610611
Bin10626611

Signal:

 RX_MEM_FREE_RAW_INC_1(0)
FromToCountThreshold
Bin011265251
Bin101249251

Signal:

 RX_MEM_FREE_RAW_DEC_1(12)
FromToCountThreshold
Bin0151
Bin101701

Signal:

 RX_MEM_FREE_RAW_DEC_1(11)
FromToCountThreshold
Bin011721
Bin1071

Signal:

 RX_MEM_FREE_RAW_DEC_1(10)
FromToCountThreshold
Bin011791
Bin10141

Signal:

 RX_MEM_FREE_RAW_DEC_1(9)
FromToCountThreshold
Bin011931
Bin10281

Signal:

 RX_MEM_FREE_RAW_DEC_1(8)
FromToCountThreshold
Bin012211
Bin10561

Signal:

 RX_MEM_FREE_RAW_DEC_1(7)
FromToCountThreshold
Bin012921
Bin106221

Signal:

 RX_MEM_FREE_RAW_DEC_1(6)
FromToCountThreshold
Bin019101
Bin102501

Signal:

 RX_MEM_FREE_RAW_DEC_1(5)
FromToCountThreshold
Bin0111831
Bin1014631

Signal:

 RX_MEM_FREE_RAW_DEC_1(4)
FromToCountThreshold
Bin0152751
Bin1036751

Signal:

 RX_MEM_FREE_RAW_DEC_1(3)
FromToCountThreshold
Bin01134951
Bin10118951

Signal:

 RX_MEM_FREE_RAW_DEC_1(2)
FromToCountThreshold
Bin01332181
Bin10316201

Signal:

 RX_MEM_FREE_RAW_DEC_1(1)
FromToCountThreshold
Bin01626611
Bin10610611

Signal:

 RX_MEM_FREE_RAW_DEC_1(0)
FromToCountThreshold
Bin011265251
Bin101249251

Signal:

 RX_MEM_FREE_I_INC_1(12)
FromToCountThreshold
Bin0112061
Bin1010411

Signal:

 RX_MEM_FREE_I_INC_1(11)
FromToCountThreshold
Bin0110431
Bin1012081

Signal:

 RX_MEM_FREE_I_INC_1(10)
FromToCountThreshold
Bin0110501
Bin1012151

Signal:

 RX_MEM_FREE_I_INC_1(9)
FromToCountThreshold
Bin0110641
Bin1012291

Signal:

 RX_MEM_FREE_I_INC_1(8)
FromToCountThreshold
Bin0110921
Bin1012571

Signal:

 RX_MEM_FREE_I_INC_1(7)
FromToCountThreshold
Bin0144891
Bin1041591

Signal:

 RX_MEM_FREE_I_INC_1(6)
FromToCountThreshold
Bin0141161
Bin1047761

Signal:

 RX_MEM_FREE_I_INC_1(5)
FromToCountThreshold
Bin0187801
Bin1085021

Signal:

 RX_MEM_FREE_I_INC_1(4)
FromToCountThreshold
Bin0183711
Bin1099691

Signal:

 RX_MEM_FREE_I_INC_1(3)
FromToCountThreshold
Bin0198401
Bin10114381

Signal:

 RX_MEM_FREE_I_INC_1(2)
FromToCountThreshold
Bin01122031
Bin10138011

Signal:

 RX_MEM_FREE_I_INC_1(1)
FromToCountThreshold
Bin01135691
Bin10151691

Signal:

 RX_MEM_FREE_I_INC_1(0)
FromToCountThreshold
Bin01288141
Bin10272141

Signal:

 ABORT_APPLIED
FromToCountThreshold
Bin01308681
Bin10324681

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

221:    abort_applied <= '1' when (rec_abort_f = '1' or commit_overrun_abort = '1') 
Evaluated toCountThreshold
BinFalse357161
BinTrue308201

"=" expression

221:    abort_applied <= '1' when (rec_abort_f = '1' or commit_overrun_abort = '1'
Evaluated toCountThreshold
BinFalse664881
BinTrue481

"or" expression

221:    abort_applied <= '1' when (rec_abort_f = '1' or commit_overrun_abort = '1'
                                   <------LHS------>    <----------RHS----------->  

LHSRHSCountThreshold
BinFalseFalse356681
BinFalseTrue481
BinTrueFalse308201

"=" expression

231:        if (rx_buf_res_n_q_scan = '0') then 
Evaluated toCountThreshold
BinFalse10527452631
BinTrue24325311

"=" expression

234:            if (read_increment = '1') then 
Evaluated toCountThreshold
BinFalse5263158431
BinTrue516191

"=" expression

246:        if (rx_buf_res_n_q_scan = '0') then 
Evaluated toCountThreshold
BinFalse10527452631
BinTrue24325311

"=" expression

249:            if (commit_rx_frame = '1') then 
Evaluated toCountThreshold
BinFalse5263541521
BinTrue133101

"=" expression

262:    write_pointer_raw_d <= write_pointer_raw_i + 1 when (write_raw_OK = '1'
Evaluated toCountThreshold
BinFalse1456251
BinTrue3059431

"=" expression

266:    write_pointer_raw_ce <= '1' when (write_raw_OK = '1') else 
Evaluated toCountThreshold
BinFalse1795401
BinTrue1130141

"=" expression

267:                            '1' when (rec_abort_f = '1') else 
Evaluated toCountThreshold
BinFalse1487131
BinTrue308271

"=" expression

268:                            '1' when (commit_overrun_abort = '1') else 
Evaluated toCountThreshold
BinFalse1486651
BinTrue481

"=" expression

273:        if (rx_buf_res_n_q_scan = '0') then 
Evaluated toCountThreshold
BinFalse10527452631
BinTrue24325311

"=" expression

276:            if (write_pointer_raw_ce = '1') then 
Evaluated toCountThreshold
BinFalse5261436601
BinTrue2238021

"=" expression

286:    write_pointer_ts_d <= write_pointer_raw_i when (store_ts_wr_ptr = '1'
Evaluated toCountThreshold
BinFalse2255141
BinTrue527021

"=" expression

291:    write_pointer_ts_ce <= '1' when (store_ts_wr_ptr = '1') else 
Evaluated toCountThreshold
BinFalse555931
BinTrue263511

"=" expression

292:                           '1' when (inc_ts_wr_ptr = '1') else 
Evaluated toCountThreshold
BinFalse425721
BinTrue130211

"=" expression

297:        if (rx_buf_res_n_q_scan = '0') then 
Evaluated toCountThreshold
BinFalse10527452631
BinTrue24325311

"=" expression

300:            if (write_pointer_ts_ce = '1') then 
Evaluated toCountThreshold
BinFalse5263280901
BinTrue393721

"=" expression

312:        if (rx_buf_res_n_q_scan = '0') then 
Evaluated toCountThreshold
BinFalse10527452631
BinTrue24325311

"=" expression

321:            if (read_increment = '1') then 
Evaluated toCountThreshold
BinFalse5263158431
BinTrue516191

"=" expression

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

"=" expression

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

"=" expression

339:                if (abort_applied = '1') then 
Evaluated toCountThreshold
BinFalse5262849951
BinTrue308481

"=" expression

343:                elsif (write_raw_OK = '1') then 
Evaluated toCountThreshold
BinFalse5260921251
BinTrue1928701

"=" expression

353:            if (read_increment = '1') then 
Evaluated toCountThreshold
BinFalse5263158431
BinTrue516191

"=" expression

354:                if (commit_rx_frame = '1') then 
Evaluated toCountThreshold
BinFalse515921
BinTrue271

"=" expression

360:            elsif (commit_rx_frame = '1') then 
Evaluated toCountThreshold
BinFalse5263025601
BinTrue132831

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: