NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.TX_ARBITRATOR_INST.TXTB_PRIORITY_GEN(1).TXTB_PRIORITY_ODD_GEN

File:  /__w/ctu-can-regression/ctu-can-regression/src/tx_arbitrator/tx_arbitrator.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.TX_ARBITRATOR_INST.TXTB_PRIORITY_GEN(1).TXTB_PRIORITY_ODD_GEN 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 261615 items are not displayed.

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

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

Count: 3981
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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

Signal assignment statement:

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

Signal assignment statement:

435:                                 '0'
Count: 41838
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

428:            mr_tx_priority_txbbm(i) <= mr_tx_priority(i) when (mr_mode_txbbm = '0'
Evaluated toCountThreshold
BinTrue20381
BinFalse19431

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

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
BinTrue871
BinFalse418381

Uncovered toggles:

Excluded toggles:

Covered toggles:

Uncovered expressions:

Excluded expressions:

"and" expression

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') 

LHSRHSCountThresholdExcluded due to
BinFalseTrue01Unreachable

Covered expressions:

"=" expression

428:            mr_tx_priority_txbbm(i) <= mr_tx_priority(i) when (mr_mode_txbbm = '0'
Evaluated toCountThreshold
BinFalse19431
BinTrue20381

"=" expression

432:            txtb_is_bb(i / 2) <= '1' when (mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and 
Evaluated toCountThreshold
BinFalse414731
BinTrue4521

"=" expression

432:            txtb_is_bb(i / 2) <= '1' when (mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and 
Evaluated toCountThreshold
BinFalse100521
BinTrue318731

"and" expression

432:            txtb_is_bb(i / 2) <= '1' when (mr_mode_txbbm = '1' and curr_txtb_index_i = i-1 and 
                                               <-------LHS------->     <---------RHS--------->     

LHSRHSCountThreshold
BinFalseTrue316491
BinTrueFalse2281
BinTrueTrue2241

"=" expression

433:                                           txtb_allow_bb(i - 1) = '1'
Evaluated toCountThreshold
BinFalse1371
BinTrue871

"and" expression

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') 

LHSRHSCountThreshold
BinTrueFalse1371
BinTrueTrue871

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: