NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.PROTOCOL_CONTROL_INST.RETRANSMITT_COUNTER_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/can_core/retransmitt_counter.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.CAN_CORE_INST.PROTOCOL_CONTROL_INST.RETRANSMITT_COUNTER_INST 100.0 % (15/15) 100.0 % (14/14) 100.0 % (46/46) 100.0 % (25/25) N.A. N.A. 100.0 % (100/100)

Details:

The limit of printed items was reached (5000). Total 261615 items are not displayed.

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

143:    retr_ctr_d <= (retr_ctr_q + 1) when (retr_ctr_add = '1') else 
144:                   (others => '0') when (retr_ctr_clear = '1' or txtb_changed = '1') else 
145:                   retr_ctr_q; 

Count: 87897
Threshold: 1

Signal assignment statement:

143:    retr_ctr_d <= (retr_ctr_q + 1) when (retr_ctr_add = '1') else 
Count: 19948
Threshold: 1

Signal assignment statement:

144:                   (others => '0') when (retr_ctr_clear = '1' or txtb_changed = '1') else 
Count: 30296
Threshold: 1

Signal assignment statement:

145:                   retr_ctr_q
Count: 37653
Threshold: 1

If statement:

148:    retr_ctr_ce <= '1' when (txtb_changed = '1' or retr_ctr_clear = '1' or retr_ctr_add = '1') 
149:                       else 
150:                   '0'; 

Count: 85008
Threshold: 1

Signal assignment statement:

148:    retr_ctr_ce <= '1' when (txtb_changed = '1' or retr_ctr_clear = '1' or retr_ctr_add = '1') 
Count: 48992
Threshold: 1

Signal assignment statement:

150:                   '0'
Count: 36016
Threshold: 1

If statement:

157:        if (res_n = '0') then 
158:            retr_ctr_q <= (others => '0'); 
...
162:            end if; 
163:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

158:            retr_ctr_q <= (others => '0'); 
Count: 2418499
Threshold: 1

If statement:

160:            if (retr_ctr_ce = '1') then 
161:                retr_ctr_q <= retr_ctr_d; 
162:            end if; 

Count: 526374300
Threshold: 1

Signal assignment statement:

161:                retr_ctr_q <= retr_ctr_d; 
Count: 31206
Threshold: 1

If statement:

167:    retr_limit_reached <= '1' when (unsigned(mr_settings_rtrth) = retr_ctr_q) 
168:                              else 
169:                          '0'; 

Count: 6239
Threshold: 1

Signal assignment statement:

167:    retr_limit_reached <= '1' when (unsigned(mr_settings_rtrth) = retr_ctr_q) 
Count: 1853
Threshold: 1

Signal assignment statement:

169:                          '0'
Count: 4386
Threshold: 1

Signal assignment statement:

172:    retr_ctr <= std_logic_vector(retr_ctr_q)
Count: 4489
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

143:    retr_ctr_d <= (retr_ctr_q + 1) when (retr_ctr_add = '1') else 
Evaluated toCountThreshold
BinTrue199481
BinFalse679491

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

144:                   (others => '0') when (retr_ctr_clear = '1' or txtb_changed = '1') else 
Evaluated toCountThreshold
BinTrue302961
BinFalse376531

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

148:    retr_ctr_ce <= '1' when (txtb_changed = '1' or retr_ctr_clear = '1' or retr_ctr_add = '1'
Evaluated toCountThreshold
BinTrue489921
BinFalse360161

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

157:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24184991
BinFalse10527585841

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

159:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263743001
BinFalse5263842841

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

160:            if (retr_ctr_ce = '1') then 
Evaluated toCountThreshold
BinTrue312061
BinFalse5263430941

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

167:    retr_limit_reached <= '1' when (unsigned(mr_settings_rtrth) = retr_ctr_q
Evaluated toCountThreshold
BinTrue18531
BinFalse43861

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 TXTB_CHANGED
FromToCountThreshold
Bin01100071
Bin10116071

Port:

 RETR_CTR_CLEAR
FromToCountThreshold
Bin01201231
Bin10217231

Port:

 RETR_CTR_ADD
FromToCountThreshold
Bin01101011
Bin10117011

Port:

 MR_SETTINGS_RTRTH(3)
FromToCountThreshold
Bin01221
Bin1016221

Port:

 MR_SETTINGS_RTRTH(2)
FromToCountThreshold
Bin01541
Bin1016541

Port:

 MR_SETTINGS_RTRTH(1)
FromToCountThreshold
Bin01221
Bin1016221

Port:

 MR_SETTINGS_RTRTH(0)
FromToCountThreshold
Bin01541
Bin1016541

Port:

 RETR_LIMIT_REACHED
FromToCountThreshold
Bin0118531
Bin1018531

Port:

 RETR_CTR(3)
FromToCountThreshold
Bin01521
Bin1016521

Port:

 RETR_CTR(2)
FromToCountThreshold
Bin011321
Bin1017321

Port:

 RETR_CTR(1)
FromToCountThreshold
Bin012551
Bin1018551

Port:

 RETR_CTR(0)
FromToCountThreshold
Bin016291
Bin1022291

Signal:

 RETR_CTR_D(3)
FromToCountThreshold
Bin011461
Bin1017461

Signal:

 RETR_CTR_D(2)
FromToCountThreshold
Bin013651
Bin1019651

Signal:

 RETR_CTR_D(1)
FromToCountThreshold
Bin019481
Bin1025481

Signal:

 RETR_CTR_D(0)
FromToCountThreshold
Bin01106391
Bin10122391

Signal:

 RETR_CTR_Q(3)
FromToCountThreshold
Bin01521
Bin1016521

Signal:

 RETR_CTR_Q(2)
FromToCountThreshold
Bin011321
Bin1017321

Signal:

 RETR_CTR_Q(1)
FromToCountThreshold
Bin012551
Bin1018551

Signal:

 RETR_CTR_Q(0)
FromToCountThreshold
Bin016291
Bin1022291

Signal:

 RETR_CTR_CE
FromToCountThreshold
Bin01312161
Bin10328161

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

143:    retr_ctr_d <= (retr_ctr_q + 1) when (retr_ctr_add = '1') else 
Evaluated toCountThreshold
BinFalse679491
BinTrue199481

"=" expression

144:                   (others => '0') when (retr_ctr_clear = '1' or txtb_changed = '1') else 
Evaluated toCountThreshold
BinFalse477031
BinTrue202461

"=" expression

144:                   (others => '0') when (retr_ctr_clear = '1' or txtb_changed = '1') else 
Evaluated toCountThreshold
BinFalse578991
BinTrue100501

"or" expression

144:                   (others => '0') when (retr_ctr_clear = '1' or txtb_changed = '1') else 
                                             <-------LHS-------->    <------RHS------->       

LHSRHSCountThreshold
BinFalseFalse376531
BinFalseTrue100501
BinTrueFalse202461

"=" expression

148:    retr_ctr_ce <= '1' when (txtb_changed = '1' or retr_ctr_clear = '1' or retr_ctr_add = '1') 
Evaluated toCountThreshold
BinFalse750011
BinTrue100071

"=" expression

148:    retr_ctr_ce <= '1' when (txtb_changed = '1' or retr_ctr_clear = '1' or retr_ctr_add = '1') 
Evaluated toCountThreshold
BinFalse558701
BinTrue291381

"or" expression

148:    retr_ctr_ce <= '1' when (txtb_changed = '1' or retr_ctr_clear = '1' or retr_ctr_add = '1') 
                                 <------LHS------->    <-------RHS-------->                        

LHSRHSCountThreshold
BinFalseFalse458631
BinFalseTrue291381
BinTrueFalse100071

"=" expression

148:    retr_ctr_ce <= '1' when (txtb_changed = '1' or retr_ctr_clear = '1' or retr_ctr_add = '1'
Evaluated toCountThreshold
BinFalse661461
BinTrue188621

"or" expression

148:    retr_ctr_ce <= '1' when (txtb_changed = '1' or retr_ctr_clear = '1' or retr_ctr_add = '1'
                                 <------------------LHS------------------->    <------RHS------->  

LHSRHSCountThreshold
BinFalseFalse360161
BinFalseTrue98471
BinTrueFalse301301

"=" expression

157:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse10527585841
BinTrue24184991

"=" expression

160:            if (retr_ctr_ce = '1') then 
Evaluated toCountThreshold
BinFalse5263430941
BinTrue312061

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: