NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_FF_TOP

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/ctu_can_fd_top.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
I_FF_BIT_FILTER_A 100.0 % (6/6) 100.0 % (2/2) 100.0 % (294/294) 100.0 % (5/5) N.A. N.A. 100.0 % (307/307)
I_FF_BIT_FILTER_B 100.0 % (6/6) 100.0 % (2/2) 100.0 % (294/294) 100.0 % (5/5) N.A. N.A. 100.0 % (307/307)
I_FF_BIT_FILTER_C 100.0 % (6/6) 100.0 % (2/2) 100.0 % (294/294) 100.0 % (5/5) N.A. N.A. 100.0 % (307/307)
I_FF_RANGE_FILTER 100.0 % (11/11) 100.0 % (2/2) 100.0 % (178/178) 100.0 % (12/12) N.A. N.A. 100.0 % (203/203)
G_FILT_SUP_TRUE 100.0 % (11/11) 100.0 % (10/10) N.A. 100.0 % (30/30) N.A. N.A. 100.0 % (51/51)
G_FILT_SUP_FALSE 100.0 % (3/3) N.A. N.A. N.A. N.A. N.A. 100.0 % (3/3)

Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_FF_TOP 100.0 % (37/37) 100.0 % (24/24) 100.0 % (654/654) 100.0 % (30/30) N.A. N.A. 100.0 % (745/745)

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

242:    int_data_ctrl <= rec_frame_type & rec_ident_type
Count: 99285
Threshold: 1

Sequential statement on lines 245 to 249:

245:    with int_data_ctrl select int_data_type <= 
246:        "0001" when "00",       --CAN Basic 
247:        "0010" when "01",       --CAN Extended 
248:        "0100" when "10",       --CAN FD Basic 
249:        "1000" when others;     --CAN Fd Extended 

Count: 99285
Threshold: 1

Signal assignment statement on line 246:

246:        "0001" when "00",       --CAN Basic 
Count: 41348
Threshold: 1

Signal assignment statement on line 247:

247:        "0010" when "01",       --CAN Extended 
Count: 18796
Threshold: 1

Signal assignment statement on line 248:

248:        "0100" when "10",       --CAN FD Basic 
Count: 28447
Threshold: 1

Signal assignment statement on line 249:

249:        "1000" when others;     --CAN Fd Extended 
Count: 10694
Threshold: 1

Signal assignment statement on lines 253 to 254:

253:    mask_filter_a <= mr_filter_control_fafe & mr_filter_control_fafb & 
254:                     mr_filter_control_fane & mr_filter_control_fanb; 

Count: 5711
Threshold: 1

Signal assignment statement on lines 256 to 257:

256:    mask_filter_b <= mr_filter_control_fbfe & mr_filter_control_fbfb & 
257:                     mr_filter_control_fbne & mr_filter_control_fbnb; 

Count: 3826
Threshold: 1

Signal assignment statement on lines 259 to 260:

259:    mask_filter_c <= mr_filter_control_fcfe & mr_filter_control_fcfb & 
260:                     mr_filter_control_fcne & mr_filter_control_fcnb; 

Count: 3826
Threshold: 1

Signal assignment statement on lines 262 to 263:

262:    mask_filter_range <= mr_filter_control_frfe & mr_filter_control_frfb & 
263:                         mr_filter_control_frne & mr_filter_control_frnb; 

Count: 3224
Threshold: 1

If statement on lines 266 to 268:

266:    filter_a_enable <= '1' when ((mask_filter_a and int_data_type) /= x"0") 
267:                           else 
268:                       '0'; 

Count: 103373
Threshold: 1

Signal assignment statement on line 266:

266:    filter_a_enable <= '1' when ((mask_filter_a and int_data_type) /= x"0") 
Count: 97402
Threshold: 1

Signal assignment statement on line 268:

268:                       '0'
Count: 5971
Threshold: 1

If statement on lines 270 to 272:

270:    filter_b_enable <= '1' when ((mask_filter_b and int_data_type) /= x"0") 
271:                           else 
272:                       '0'; 

Count: 101510
Threshold: 1

Signal assignment statement on line 270:

270:    filter_b_enable <= '1' when ((mask_filter_b and int_data_type) /= x"0") 
Count: 3496
Threshold: 1

Signal assignment statement on line 272:

272:                       '0'
Count: 98014
Threshold: 1

If statement on lines 274 to 276:

274:    filter_c_enable <= '1' when ((mask_filter_c and int_data_type) /= x"0") 
275:                           else 
276:                       '0'; 

Count: 101507
Threshold: 1

Signal assignment statement on line 274:

274:    filter_c_enable <= '1' when ((mask_filter_c and int_data_type) /= x"0") 
Count: 3537
Threshold: 1

Signal assignment statement on line 276:

276:                       '0'
Count: 97970
Threshold: 1

If statement on lines 278 to 280:

278:    filter_range_enable <= '1' when ((mask_filter_range and int_data_type) /= x"0") 
279:                               else 
280:                           '0'; 

Count: 100908
Threshold: 1

Signal assignment statement on line 278:

278:    filter_range_enable <= '1' when ((mask_filter_range and int_data_type) /= x"0") 
Count: 3217
Threshold: 1

Signal assignment statement on line 280:

280:                           '0'
Count: 97691
Threshold: 1

If statement on lines 383 to 387:

383:        if (rst_n = '0') then 
384:            ident_valid_q <= '0'; 
385:        elsif rising_edge(clk_sys) then 
386:            ident_valid_q <= ident_valid_d; 
387:        end if; 

Count: 1096781321
Threshold: 1

Signal assignment statement on line 384:

384:            ident_valid_q <= '0'; 
Count: 2422674
Threshold: 1

Signal assignment statement on line 386:

386:            ident_valid_q <= ident_valid_d; 
Count: 547174334
Threshold: 1

If statement on lines 393 to 395:

393:    store_metadata_f <= '1' when (store_metadata = '1' and ident_valid_q = '1') 
394:                            else 
395:                        '0'; 

Count: 80430
Threshold: 1

Signal assignment statement on line 393:

393:    store_metadata_f <= '1' when (store_metadata = '1' and ident_valid_q = '1') 
Count: 26339
Threshold: 1

Signal assignment statement on line 395:

395:                        '0'
Count: 54091
Threshold: 1

If statement on lines 397 to 399:

397:    store_data_f <= '1' when (store_data = '1' and ident_valid_q = '1') 
398:                        else 
399:                    '0'; 

Count: 199774
Threshold: 1

Signal assignment statement on line 397:

397:    store_data_f <= '1' when (store_data = '1' and ident_valid_q = '1') 
Count: 85674
Threshold: 1

Signal assignment statement on line 399:

399:                    '0'
Count: 114100
Threshold: 1

If statement on lines 401 to 403:

401:    rec_valid_f <= '1' when (rec_valid = '1' and ident_valid_q = '1') 
402:                       else 
403:                   '0'; 

Count: 55323
Threshold: 1

Signal assignment statement on line 401:

401:    rec_valid_f <= '1' when (rec_valid = '1' and ident_valid_q = '1') 
Count: 12989
Threshold: 1

Signal assignment statement on line 403:

403:                   '0'
Count: 42334
Threshold: 1

If statement on lines 405 to 407:

405:    rec_abort_f <= '1' when (rec_abort = '1' and ident_valid_q = '1') 
406:                       else 
407:                   '0'; 

Count: 86476
Threshold: 1

Signal assignment statement on line 405:

405:    rec_abort_f <= '1' when (rec_abort = '1' and ident_valid_q = '1') 
Count: 31522
Threshold: 1

Signal assignment statement on line 407:

407:                   '0'
Count: 54954
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

246:        "0001" when "00",       --CAN Basic 
Choice ofCountThreshold
Bin"00"413481

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

247:        "0010" when "01",       --CAN Extended 
Choice ofCountThreshold
Bin"01"187961

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

248:        "0100" when "10",       --CAN FD Basic 
Choice ofCountThreshold
Bin"10"284471

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

249:        "1000" when others;     --CAN Fd Extended 
Choice ofCountThreshold
Binothers106941

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

266:    filter_a_enable <= '1' when ((mask_filter_a and int_data_type) /= x"0"
Evaluated toCountThreshold
BinTrue974021
BinFalse59711

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

270:    filter_b_enable <= '1' when ((mask_filter_b and int_data_type) /= x"0"
Evaluated toCountThreshold
BinTrue34961
BinFalse980141

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

274:    filter_c_enable <= '1' when ((mask_filter_c and int_data_type) /= x"0"
Evaluated toCountThreshold
BinTrue35371
BinFalse979701

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

278:    filter_range_enable <= '1' when ((mask_filter_range and int_data_type) /= x"0"
Evaluated toCountThreshold
BinTrue32171
BinFalse976911

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

383:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue24226741
BinFalse10943586471

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

385:        elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue5471743341
BinFalse5471843131

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

393:    store_metadata_f <= '1' when (store_metadata = '1' and ident_valid_q = '1'
Evaluated toCountThreshold
BinTrue263391
BinFalse540911

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

397:    store_data_f <= '1' when (store_data = '1' and ident_valid_q = '1'
Evaluated toCountThreshold
BinTrue856741
BinFalse1141001

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

401:    rec_valid_f <= '1' when (rec_valid = '1' and ident_valid_q = '1'
Evaluated toCountThreshold
BinTrue129891
BinFalse423341

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

405:    rec_abort_f <= '1' when (rec_abort = '1' and ident_valid_q = '1'
Evaluated toCountThreshold
BinTrue315221
BinFalse549541

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RST_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FAFE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FAFB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FANE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FANB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FBFE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FBFB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FBNE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FBNB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FCFE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FCFB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FCNE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FCNB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FRFE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FRFB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FRNE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_CONTROL_FRNB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_FILTER_A_MASK_BIT_MASK_A_VAL
ElementFromToCountThresholdExcluded due to
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_FILTER_A_VAL_BIT_VAL_A_VAL
ElementFromToCountThresholdExcluded due to
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_FILTER_B_MASK_BIT_MASK_B_VAL
ElementFromToCountThresholdExcluded due to
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_FILTER_B_VAL_BIT_VAL_B_VAL
ElementFromToCountThresholdExcluded due to
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_FILTER_C_MASK_BIT_MASK_C_VAL
ElementFromToCountThresholdExcluded due to
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_FILTER_C_VAL_BIT_VAL_C_VAL
ElementFromToCountThresholdExcluded due to
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_FILTER_RAN_HIGH_BIT_RAN_HIGH_VAL
ElementFromToCountThresholdExcluded due to
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_FILTER_RAN_LOW_BIT_RAN_LOW_VAL
ElementFromToCountThresholdExcluded due to
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 MR_SETTINGS_FDRF
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_MODE_AFM
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_IDENT
ElementFromToCountThresholdExcluded due to
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 REC_IDENT_TYPE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_FRAME_TYPE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_IS_RTR
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_IVLD
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 STORE_METADATA
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 STORE_DATA
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_VALID
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_ABORT
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 STORE_METADATA_F
FromToCountThreshold
Bin01263391
Bin10279401

Port:

 STORE_DATA_F
FromToCountThreshold
Bin01856741
Bin10872751

Port:

 REC_VALID_F
FromToCountThreshold
Bin01129891
Bin10145901

Port:

 REC_ABORT_F
FromToCountThreshold
Bin01315221
Bin10331231

Signal:

 INT_FILTER_A_VALID
FromToCountThreshold
Bin0121131
Bin1030541

Signal:

 INT_FILTER_B_VALID
FromToCountThreshold
Bin015081
Bin1021091

Signal:

 INT_FILTER_C_VALID
FromToCountThreshold
Bin015211
Bin1021221

Signal:

 INT_FILTER_RAN_VALID
FromToCountThreshold
Bin011701
Bin1017711

Signal:

 MASK_FILTER_A
ElementFromToCountThreshold
Bin(3)0120291
Bin(3)104281
Bin(2)0120601
Bin(2)104591
Bin(1)0120291
Bin(1)104281
Bin(0)0120521
Bin(0)104511

Signal:

 MASK_FILTER_B
ElementFromToCountThreshold
Bin(3)011051
Bin(3)1017061
Bin(2)011071
Bin(2)1017081
Bin(1)011051
Bin(1)1017061
Bin(0)011061
Bin(0)1017071

Signal:

 MASK_FILTER_C
ElementFromToCountThreshold
Bin(3)011051
Bin(3)1017061
Bin(2)011071
Bin(2)1017081
Bin(1)011051
Bin(1)1017061
Bin(0)011061
Bin(0)1017071

Signal:

 MASK_FILTER_RANGE
ElementFromToCountThreshold
Bin(3)0151
Bin(3)1016061
Bin(2)0161
Bin(2)1016071
Bin(1)0151
Bin(1)1016061
Bin(0)0161
Bin(0)1016071

Signal:

 INT_DATA_TYPE
ElementFromToCountThreshold
Bin(3)0190931
Bin(3)1090911
Bin(2)01284471
Bin(2)10300441
Bin(1)01187961
Bin(1)10203971
Bin(0)01413481
Bin(0)10413541

Signal:

 INT_DATA_CTRL
ElementFromToCountThreshold
Bin(1)01284491
Bin(1)10300441
Bin(0)01187961
Bin(0)10203951

Signal:

 FILTER_A_ENABLE
FromToCountThreshold
Bin0126421
Bin1010411

Signal:

 FILTER_B_ENABLE
FromToCountThreshold
Bin0118531
Bin1018531

Signal:

 FILTER_C_ENABLE
FromToCountThreshold
Bin0118771
Bin1018771

Signal:

 FILTER_RANGE_ENABLE
FromToCountThreshold
Bin0116071
Bin1016071

Signal:

 FILTER_RESULT
FromToCountThreshold
Bin0135381
Bin1044791

Signal:

 IDENT_VALID_D
FromToCountThreshold
Bin0144791
Bin1028781

Signal:

 IDENT_VALID_Q
FromToCountThreshold
Bin01109171
Bin10109061

Signal:

 DROP_RTR_FRAME
FromToCountThreshold
Bin0141
Bin1016051

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 383:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"and" expression on line 393:

 store_metadata = '1' and ident_valid_q = '1' 
 <-------LHS-------->     <-------RHS-------> 

LHSRHSCountThreshold
BinFalseTrue372561
BinTrueFalse21641
BinTrueTrue263391

"=" expression on line 393:

 store_metadata = '1' 
Evaluated toCountThreshold
BinFalse519271
BinTrue285031

"=" expression on line 393:

 ident_valid_q = '1' 
Evaluated toCountThreshold
BinFalse168351
BinTrue635951

"and" expression on line 397:

 store_data = '1' and ident_valid_q = '1' 
 <-----LHS------>     <-------RHS-------> 

LHSRHSCountThreshold
BinFalseTrue965911
BinTrueFalse25011
BinTrueTrue856741

"=" expression on line 397:

 store_data = '1' 
Evaluated toCountThreshold
BinFalse1115991
BinTrue881751

"=" expression on line 397:

 ident_valid_q = '1' 
Evaluated toCountThreshold
BinFalse175091
BinTrue1822651

"and" expression on line 401:

 rec_valid = '1' and ident_valid_q = '1' 
 <-----LHS----->     <-------RHS-------> 

LHSRHSCountThreshold
BinFalseTrue255071
BinTrueFalse21601
BinTrueTrue129891

"=" expression on line 401:

 rec_valid = '1' 
Evaluated toCountThreshold
BinFalse401741
BinTrue151491

"=" expression on line 401:

 ident_valid_q = '1' 
Evaluated toCountThreshold
BinFalse168271
BinTrue384961

"and" expression on line 405:

 rec_abort = '1' and ident_valid_q = '1' 
 <-----LHS----->     <-------RHS-------> 

LHSRHSCountThreshold
BinFalseTrue424391
BinTrueFalse41
BinTrueTrue315221

"=" expression on line 405:

 rec_abort = '1' 
Evaluated toCountThreshold
BinFalse549501
BinTrue315261

"=" expression on line 405:

 ident_valid_q = '1' 
Evaluated toCountThreshold
BinFalse125151
BinTrue739611

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: