NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_FF_TOP.G_FILT_SUP_TRUE

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/frame_filters/ff_top.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_FF_TOP.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)

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:

If statement on lines 358 to 360:

358:        drop_rtr_frame <= '1' when (mr_settings_fdrf = DROP_RF_ENABLED and rec_is_rtr = RTR_FRAME) 
359:                              else 
360:                          '0'; 

Count: 31190
Threshold: 1

Signal assignment statement on line 358:

358:        drop_rtr_frame <= '1' when (mr_settings_fdrf = DROP_RF_ENABLED and rec_is_rtr = RTR_FRAME) 
Count: 4
Threshold: 1

Signal assignment statement on line 360:

360:                          '0'
Count: 31186
Threshold: 1

If statement on lines 362 to 369:

362:        filter_result <= '1' when (rec_ivld = '0') else 
363:                         '0' when (drop_rtr_frame = '1') else 
...
368:                             else 
369:                         '0'; 

Count: 48014
Threshold: 1

Signal assignment statement on line 362:

362:        filter_result <= '1' when (rec_ivld = '0') else 
Count: 23935
Threshold: 1

Signal assignment statement on line 363:

363:                         '0' when (drop_rtr_frame = '1') else 
Count: 4
Threshold: 1

Signal assignment statement on line 364:

364:                         '1' when (int_filter_a_valid = '1' or 
Count: 19881
Threshold: 1

Signal assignment statement on line 369:

369:                         '0'
Count: 4194
Threshold: 1

If statement on lines 371 to 373:

371:        ident_valid_d <=  filter_result when (mr_mode_afm = '1') 
372:                                        else 
373:                                    '1'; 

Count: 8508
Threshold: 1

Signal assignment statement on line 371:

371:        ident_valid_d <=  filter_result when (mr_mode_afm = '1') 
Count: 5808
Threshold: 1

Signal assignment statement on line 373:

373:                                    '1'
Count: 2700
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

358:        drop_rtr_frame <= '1' when (mr_settings_fdrf = DROP_RF_ENABLED and rec_is_rtr = RTR_FRAME
Evaluated toCountThreshold
BinTrue41
BinFalse311861

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

362:        filter_result <= '1' when (rec_ivld = '0') else 
Evaluated toCountThreshold
BinTrue239351
BinFalse240791

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

363:                         '0' when (drop_rtr_frame = '1') else 
Evaluated toCountThreshold
BinTrue41
BinFalse240751

"if" / "when" / "else" condition on lines 364 to 367:

364:                         '1' when (int_filter_a_valid = '1' or 
365:                                   int_filter_b_valid = '1' or 
366:                                   int_filter_c_valid = '1' or 
367:                                   int_filter_ran_valid = '1') 

Evaluated toCountThreshold
BinTrue198811
BinFalse41941

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

371:        ident_valid_d <=  filter_result when (mr_mode_afm = '1'
Evaluated toCountThreshold
BinTrue58081
BinFalse27001

Uncovered toggles:

Excluded toggles:

Covered toggles:

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 358:

 mr_settings_fdrf = DROP_RF_ENABLED and rec_is_rtr = RTR_FRAME 
 <--------------LHS--------------->     <--------RHS---------> 

LHSRHSCountThreshold
BinFalseTrue146011
BinTrueFalse41
BinTrueTrue41

"=" expression on line 358:

 mr_settings_fdrf = DROP_RF_ENABLED 
Evaluated toCountThreshold
BinFalse311821
BinTrue81

"=" expression on line 358:

 rec_is_rtr = RTR_FRAME 
Evaluated toCountThreshold
BinFalse165851
BinTrue146051

"=" expression on line 362:

 rec_ivld = '0' 
Evaluated toCountThreshold
BinFalse240791
BinTrue239351

"=" expression on line 363:

 drop_rtr_frame = '1' 
Evaluated toCountThreshold
BinFalse240751
BinTrue41

"or" expression on lines 364 to 367:

 int_filter_a_valid = '1' or int_filter_b_valid = '1' or int_filter_c_valid = '1' or int_filter_ran_valid = '1' 
 <-------------------------------------LHS-------------------------------------->    <----------RHS-----------> 

LHSRHSCountThreshold
BinFalseFalse41941
BinFalseTrue31
BinTrueFalse197131

"or" expression on lines 364 to 366:

 int_filter_a_valid = '1' or int_filter_b_valid = '1' or int_filter_c_valid = '1' 
 <-----------------------LHS------------------------>    <---------RHS----------> 

LHSRHSCountThreshold
BinFalseFalse41971
BinFalseTrue1591
BinTrueFalse195541

"or" expression on lines 364 to 365:

 int_filter_a_valid = '1' or int_filter_b_valid = '1' 
 <---------LHS---------->    <---------RHS----------> 

LHSRHSCountThreshold
BinFalseFalse43561
BinFalseTrue1501
BinTrueFalse194041

"=" expression on line 364:

 int_filter_a_valid = '1' 
Evaluated toCountThreshold
BinFalse45061
BinTrue195691

"=" expression on line 365:

 int_filter_b_valid = '1' 
Evaluated toCountThreshold
BinFalse237601
BinTrue3151

"=" expression on line 366:

 int_filter_c_valid = '1' 
Evaluated toCountThreshold
BinFalse237511
BinTrue3241

"=" expression on line 367:

 int_filter_ran_valid = '1' 
Evaluated toCountThreshold
BinFalse239071
BinTrue1681

"=" expression on line 371:

 mr_mode_afm = '1' 
Evaluated toCountThreshold
BinFalse27001
BinTrue58081

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: