NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.I_MAC_PC_TOP.I_MAC_PC_RETRANSMITT_COUNTER

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/medium_access_control/mac_pc_top.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.I_MAC_PC_TOP.I_MAC_PC_RETRANSMITT_COUNTER 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 260336 items are not displayed.


Statement Branch Toggle Expression FSM state Functional

Uncovered statements:

Excluded statements:

Covered statements:

If statement on lines 143 to 145:

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

Signal assignment statement on line 143:

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

Signal assignment statement on line 144:

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

Signal assignment statement on line 145:

145:                   retr_ctr_q
Count: 38334
Threshold: 1

If statement on lines 148 to 150:

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

Count: 87631
Threshold: 1

Signal assignment statement on line 148:

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

Signal assignment statement on line 150:

150:                   '0'
Count: 36695
Threshold: 1

If statement on lines 157 to 163:

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

Count: 1096781321
Threshold: 1

Signal assignment statement on line 158:

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

If statement on lines 160 to 162:

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

Count: 547174334
Threshold: 1

Signal assignment statement on line 161:

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

If statement on lines 167 to 169:

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

Count: 6278
Threshold: 1

Signal assignment statement on line 167:

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

Signal assignment statement on line 169:

169:                          '0'
Count: 4420
Threshold: 1

Signal assignment statement on line 172:

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

Uncovered branches:

Excluded branches:

Covered branches:

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

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

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

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

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

148:    retr_ctr_ce <= '1' when (txtb_changed = '1' or retr_ctr_clear = '1' or retr_ctr_add = '1'
Evaluated toCountThreshold
BinTrue509361
BinFalse366951

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

157:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue24226741
BinFalse10943586471

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

159:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471743341
BinFalse5471843131

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

160:            if (retr_ctr_ce = '1') then 
Evaluated toCountThreshold
BinTrue318801
BinFalse5471424541

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

167:    retr_limit_reached <= '1' when (unsigned(mr_settings_rtrth) = retr_ctr_q
Evaluated toCountThreshold
BinTrue18581
BinFalse44201

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RST_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TXTB_CHANGED
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RETR_CTR_CLEAR
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RETR_CTR_ADD
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_SETTINGS_RTRTH
ElementFromToCountThresholdExcluded due to
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

Covered toggles:

Port:

 RETR_LIMIT_REACHED
FromToCountThreshold
Bin0118581
Bin1018581

Port:

 RETR_CTR
ElementFromToCountThreshold
Bin(3)01551
Bin(3)1016561
Bin(2)011341
Bin(2)1017351
Bin(1)012651
Bin(1)1018661
Bin(0)016461
Bin(0)1022471

Signal:

 RETR_CTR_D
ElementFromToCountThreshold
Bin(3)011601
Bin(3)1017611
Bin(2)013761
Bin(2)1019771
Bin(1)019751
Bin(1)1025761
Bin(0)01113271
Bin(0)10129281

Signal:

 RETR_CTR_Q
ElementFromToCountThreshold
Bin(3)01551
Bin(3)1016561
Bin(2)011341
Bin(2)1017351
Bin(1)012651
Bin(1)1018661
Bin(0)016461
Bin(0)1022471

Signal:

 RETR_CTR_CE
FromToCountThreshold
Bin01318921
Bin10334931

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 143:

 retr_ctr_add = '1' 
Evaluated toCountThreshold
BinFalse692691
BinTrue212881

"or" expression on line 144:

 retr_ctr_clear = '1' or txtb_changed = '1' 
 <-------LHS-------->    <------RHS-------> 

LHSRHSCountThreshold
BinFalseFalse383341
BinFalseTrue100381
BinTrueFalse208971

"=" expression on line 144:

 retr_ctr_clear = '1' 
Evaluated toCountThreshold
BinFalse483721
BinTrue208971

"=" expression on line 144:

 txtb_changed = '1' 
Evaluated toCountThreshold
BinFalse592311
BinTrue100381

"or" expression on line 148:

 txtb_changed = '1' or retr_ctr_clear = '1' or retr_ctr_add = '1' 
 <------------------LHS------------------->    <------RHS-------> 

LHSRHSCountThreshold
BinFalseFalse366951
BinFalseTrue105151
BinTrueFalse307701

"or" expression on line 148:

 txtb_changed = '1' or retr_ctr_clear = '1' 
 <------LHS------->    <-------RHS--------> 

LHSRHSCountThreshold
BinFalseFalse472101
BinFalseTrue304291
BinTrueFalse99921

"=" expression on line 148:

 txtb_changed = '1' 
Evaluated toCountThreshold
BinFalse776391
BinTrue99921

"=" expression on line 148:

 retr_ctr_clear = '1' 
Evaluated toCountThreshold
BinFalse572021
BinTrue304291

"=" expression on line 148:

 retr_ctr_add = '1' 
Evaluated toCountThreshold
BinFalse674651
BinTrue201661

"=" expression on line 157:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 160:

 retr_ctr_ce = '1' 
Evaluated toCountThreshold
BinFalse5471424541
BinTrue318801

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: