NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_TXARB_TOP.G_TXTB_PRIORITY(3).G_TXTB_PRIORITY_ODD

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/tx_arbitrator/txarb_top.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_TXARB_TOP.G_TXTB_PRIORITY(3).G_TXTB_PRIORITY_ODD 100.0 % (6/6) 100.0 % (4/4) N.A. 100.0 % (14/14) N.A. N.A. 100.0 % (24/24)

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 428 to 430:

428:            mr_tx_priority_txbbm(i) <= mr_tx_priority(i) when (mr_mode_txbbm = '0') 
429:                                                         else 
430:                                       mr_tx_priority(i - 1); 

Count: 1938
Threshold: 1

Signal assignment statement on line 428:

428:            mr_tx_priority_txbbm(i) <= mr_tx_priority(i) when (mr_mode_txbbm = '0') 
Count: 964
Threshold: 1

Signal assignment statement on line 430:

430:                                       mr_tx_priority(i - 1)
Count: 974
Threshold: 1

If statement on lines 432 to 435:

432:            txtb_is_bb(i / 2) <= '1' when (mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and 
433:                                           txtb_allow_bb(i - 1) = '1') 
434:                                     else 
435:                                 '0'; 

Count: 6072
Threshold: 1

Signal assignment statement on line 432:

432:            txtb_is_bb(i / 2) <= '1' when (mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and 
Count: 36
Threshold: 1

Signal assignment statement on line 435:

435:                                 '0'
Count: 6036
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

428:            mr_tx_priority_txbbm(i) <= mr_tx_priority(i) when (mr_mode_txbbm = '0'
Evaluated toCountThreshold
BinTrue9641
BinFalse9741

"if" / "when" / "else" condition on lines 432 to 433:

432:            txtb_is_bb(i / 2) <= '1' when (mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and 
433:                                           txtb_allow_bb(i - 1) = '1') 

Evaluated toCountThreshold
BinTrue361
BinFalse60361

Uncovered toggles:

Excluded toggles:

Covered toggles:

Uncovered expressions:

Excluded expressions:

"and" expression on lines 432 to 433:

 mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and txtb_allow_bb(i - 1) = '1' 
 <---------------------LHS--------------------->     <----------RHS-----------> 

LHSRHSCountThresholdExcluded due to
BinFalseTrue01Unreachable

Covered expressions:

"=" expression on line 428:

 mr_mode_txbbm = '0' 
Evaluated toCountThreshold
BinFalse9741
BinTrue9641

"and" expression on lines 432 to 433:

 mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and txtb_allow_bb(i - 1) = '1' 
 <---------------------LHS--------------------->     <----------RHS-----------> 

LHSRHSCountThreshold
BinTrueFalse361
BinTrueTrue361

"and" expression on line 432:

 mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 
 <-------LHS------->     <---------RHS---------> 

LHSRHSCountThreshold
BinFalseTrue13241
BinTrueFalse2941
BinTrueTrue721

"=" expression on line 432:

 mr_mode_txbbm = '1' 
Evaluated toCountThreshold
BinFalse57061
BinTrue3661

"=" expression on line 432:

 curr_txtb_index_i = i-1 
Evaluated toCountThreshold
BinFalse46761
BinTrue13961

"=" expression on line 433:

 txtb_allow_bb(i - 1) = '1' 
Evaluated toCountThreshold
BinFalse361
BinTrue361

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: