NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.FRAME_FILTERS_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/can_top_level.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
BIT_FILTER_A_INST 100.0 % (6/6) 100.0 % (2/2) 100.0 % (294/294) 100.0 % (5/5) N.A. N.A. 100.0 % (307/307)
BIT_FILTER_B_INST 100.0 % (6/6) 100.0 % (2/2) 100.0 % (294/294) 100.0 % (5/5) N.A. N.A. 100.0 % (307/307)
BIT_FILTER_C_INST 100.0 % (6/6) 100.0 % (2/2) 100.0 % (294/294) 100.0 % (5/5) N.A. N.A. 100.0 % (307/307)
RANGE_FILTER_INST 100.0 % (11/11) 100.0 % (2/2) 100.0 % (178/178) 100.0 % (12/12) N.A. N.A. 100.0 % (203/203)
FILT_SUP_GEN_TRUE 100.0 % (11/11) 100.0 % (10/10) N.A. 100.0 % (30/30) N.A. N.A. 100.0 % (51/51)
FILT_SUP_GEN_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.DUT.FRAME_FILTERS_INST 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: 97819
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: 97819
Threshold: 1

Signal assignment statement on line 246:

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

Signal assignment statement on line 247:

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

Signal assignment statement on line 248:

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

Signal assignment statement on line 249:

249:        "1000" when others;     --CAN Fd Extended 
Count: 10348
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: 101906
Threshold: 1

Signal assignment statement on line 266:

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

Signal assignment statement on line 268:

268:                       '0'
Count: 5921
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: 100044
Threshold: 1

Signal assignment statement on line 270:

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

Signal assignment statement on line 272:

272:                       '0'
Count: 96500
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: 100037
Threshold: 1

Signal assignment statement on line 274:

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

Signal assignment statement on line 276:

276:                       '0'
Count: 96503
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: 99442
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: 96225
Threshold: 1

If statement on lines 384 to 388:

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

Count: 1090018206
Threshold: 1

Signal assignment statement on line 385:

385:            ident_valid_q <= '0'; 
Count: 2424883
Threshold: 1

Signal assignment statement on line 387:

387:            ident_valid_q <= ident_valid_d; 
Count: 543791678
Threshold: 1

If statement on lines 394 to 396:

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

Count: 80476
Threshold: 1

Signal assignment statement on line 394:

394:    store_metadata_f <= '1' when (store_metadata = '1' and ident_valid_q = '1') 
Count: 26419
Threshold: 1

Signal assignment statement on line 396:

396:                        '0'
Count: 54057
Threshold: 1

If statement on lines 398 to 400:

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

Count: 200270
Threshold: 1

Signal assignment statement on line 398:

398:    store_data_f <= '1' when (store_data = '1' and ident_valid_q = '1') 
Count: 86097
Threshold: 1

Signal assignment statement on line 400:

400:                    '0'
Count: 114173
Threshold: 1

If statement on lines 402 to 404:

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

Count: 55355
Threshold: 1

Signal assignment statement on line 402:

402:    rec_valid_f <= '1' when (rec_valid = '1' and ident_valid_q = '1') 
Count: 13062
Threshold: 1

Signal assignment statement on line 404:

404:                   '0'
Count: 42293
Threshold: 1

If statement on lines 406 to 408:

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

Count: 86002
Threshold: 1

Signal assignment statement on line 406:

406:    rec_abort_f <= '1' when (rec_abort = '1' and ident_valid_q = '1') 
Count: 31298
Threshold: 1

Signal assignment statement on line 408:

408:                   '0'
Count: 54704
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"409611

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

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

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

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

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

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

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

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

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

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

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

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

"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
BinFalse962251

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

384:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

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

386:        elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

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

394:    store_metadata_f <= '1' when (store_metadata = '1' and ident_valid_q = '1'
Evaluated toCountThreshold
BinTrue264191
BinFalse540571

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

398:    store_data_f <= '1' when (store_data = '1' and ident_valid_q = '1'
Evaluated toCountThreshold
BinTrue860971
BinFalse1141731

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

402:    rec_valid_f <= '1' when (rec_valid = '1' and ident_valid_q = '1'
Evaluated toCountThreshold
BinTrue130621
BinFalse422931

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

406:    rec_abort_f <= '1' when (rec_abort = '1' and ident_valid_q = '1'
Evaluated toCountThreshold
BinTrue312981
BinFalse547041

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RES_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
Bin01264191
Bin10280201

Port:

 STORE_DATA_F
FromToCountThreshold
Bin01860971
Bin10876981

Port:

 REC_VALID_F
FromToCountThreshold
Bin01130621
Bin10146631

Port:

 REC_ABORT_F
FromToCountThreshold
Bin01312981
Bin10328991

Signal:

 INT_FILTER_A_VALID
FromToCountThreshold
Bin0121291
Bin1030701

Signal:

 INT_FILTER_B_VALID
FromToCountThreshold
Bin015311
Bin1021321

Signal:

 INT_FILTER_C_VALID
FromToCountThreshold
Bin015231
Bin1021241

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)0187471
Bin(3)1087451
Bin(2)01288821
Bin(2)10304801
Bin(1)01176281
Bin(1)10192281
Bin(0)01409611
Bin(0)10409671

Signal:

 INT_DATA_CTRL
ElementFromToCountThreshold
Bin(1)01288841
Bin(1)10304801
Bin(0)01176281
Bin(0)10192261

Signal:

 FILTER_A_ENABLE
FromToCountThreshold
Bin0126741
Bin1010731

Signal:

 FILTER_B_ENABLE
FromToCountThreshold
Bin0118801
Bin1018801

Signal:

 FILTER_C_ENABLE
FromToCountThreshold
Bin0118601
Bin1018601

Signal:

 FILTER_RANGE_ENABLE
FromToCountThreshold
Bin0116071
Bin1016071

Signal:

 FILTER_RESULT
FromToCountThreshold
Bin0135251
Bin1044661

Signal:

 IDENT_VALID_D
FromToCountThreshold
Bin0144661
Bin1028651

Signal:

 IDENT_VALID_Q
FromToCountThreshold
Bin01109041
Bin10108931

Signal:

 DROP_RTR_FRAME
FromToCountThreshold
Bin0141
Bin1016051

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 384:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"and" expression on line 394:

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

LHSRHSCountThreshold
BinFalseTrue373231
BinTrueFalse21201
BinTrueTrue264191

"=" expression on line 394:

 store_metadata = '1' 
Evaluated toCountThreshold
BinFalse519371
BinTrue285391

"=" expression on line 394:

 ident_valid_q = '1' 
Evaluated toCountThreshold
BinFalse167341
BinTrue637421

"and" expression on line 398:

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

LHSRHSCountThreshold
BinFalseTrue970011
BinTrueFalse23391
BinTrueTrue860971

"=" expression on line 398:

 store_data = '1' 
Evaluated toCountThreshold
BinFalse1118341
BinTrue884361

"=" expression on line 398:

 ident_valid_q = '1' 
Evaluated toCountThreshold
BinFalse171721
BinTrue1830981

"and" expression on line 402:

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

LHSRHSCountThreshold
BinFalseTrue255671
BinTrueFalse21161
BinTrueTrue130621

"=" expression on line 402:

 rec_valid = '1' 
Evaluated toCountThreshold
BinFalse401771
BinTrue151781

"=" expression on line 402:

 ident_valid_q = '1' 
Evaluated toCountThreshold
BinFalse167261
BinTrue386291

"and" expression on line 406:

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

LHSRHSCountThreshold
BinFalseTrue422021
BinTrueFalse41
BinTrueTrue312981

"=" expression on line 406:

 rec_abort = '1' 
Evaluated toCountThreshold
BinFalse547001
BinTrue313021

"=" expression on line 406:

 ident_valid_q = '1' 
Evaluated toCountThreshold
BinFalse125021
BinTrue735001

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: