NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.OPERATION_CONTROL_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/can_core/can_core.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.OPERATION_CONTROL_INST 100.0 % (28/28) 100.0 % (32/32) 100.0 % (24/24) 100.0 % (32/32) 100.0 % (8/8) N.A. 100.0 % (124/124)

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 151 to 153:

151:    go_to_off <= '1' when (is_bus_off = '1') and (rx_trigger = '1') 
152:                     else 
153:                 '0'; 
Count: 20737692
Threshold: 1

Signal assignment statement on line 151:

151:    go_to_off <= '1' when (is_bus_off = '1') and (rx_trigger = '1') 
Count: 319482
Threshold: 1

Signal assignment statement on line 153:

153:                 '0'; 
Count: 20418210
Threshold: 1

Signal assignment statement on line 161:

161:        next_state <= curr_state; 
Count: 1081440
Threshold: 1

Sequential statement on lines 163 to 193:

163:        case curr_state is 
164:        when s_oc_off => 
...
192:            end if; 
193:        end case; 
Count: 1081440
Threshold: 1

If statement on lines 165 to 167:

165:            if (set_idle = '1') then 
166:                next_state <= s_oc_idle; 
167:            end if; 
Count: 643683
Threshold: 1

Signal assignment statement on line 166:

166:                next_state <= s_oc_idle; 
Count: 6640
Threshold: 1

If statement on lines 170 to 176:

170:            if (go_to_off = '1') then 
171:                next_state <= s_oc_off; 
...
175:                next_state <= s_oc_receiver; 
176:            end if; 
Count: 170156
Threshold: 1

Signal assignment statement on line 171:

171:                next_state <= s_oc_off; 
Count: 6767
Threshold: 1

Signal assignment statement on line 173:

173:                next_state <= s_oc_transmitter; 
Count: 19798
Threshold: 1

Signal assignment statement on line 175:

175:                next_state <= s_oc_receiver; 
Count: 30088
Threshold: 1

If statement on lines 179 to 185:

179:            if (go_to_off = '1') then 
180:                next_state <= s_oc_off; 
...
184:                next_state <= s_oc_receiver; 
185:            end if; 
Count: 120193
Threshold: 1

Signal assignment statement on line 180:

180:                next_state <= s_oc_off; 
Count: 112
Threshold: 1

Signal assignment statement on line 182:

182:                next_state <= s_oc_idle; 
Count: 29035
Threshold: 1

Signal assignment statement on line 184:

184:                next_state <= s_oc_receiver; 
Count: 1171
Threshold: 1

If statement on lines 188 to 192:

188:            if (set_idle = '1') then 
189:                next_state <= s_oc_idle; 
190:            elsif (set_transmitter = '1') then 
191:                next_state <= s_oc_transmitter; 
192:            end if; 
Count: 147408
Threshold: 1

Signal assignment statement on line 189:

189:                next_state <= s_oc_idle; 
Count: 56742
Threshold: 1

Signal assignment statement on line 191:

191:                next_state <= s_oc_transmitter; 
Count: 1067
Threshold: 1

Signal assignment statement on line 202:

202:        is_idle <= '0'; 
Count: 115344
Threshold: 1

Signal assignment statement on line 203:

203:        is_transmitter <= '0'; 
Count: 115344
Threshold: 1

Signal assignment statement on line 204:

204:        is_receiver <= '0'; 
Count: 115344
Threshold: 1

Sequential statement on lines 206 to 214:

206:        case curr_state is 
207:        when s_oc_off => 
...
213:            is_receiver <= '1'; 
214:        end case; 
Count: 115344
Threshold: 1

Signal assignment statement on line 209:

209:            is_idle <= '1'; 
Count: 55892
Threshold: 1

Signal assignment statement on line 211:

211:            is_transmitter <= '1'; 
Count: 20317
Threshold: 1

Signal assignment statement on line 213:

213:            is_receiver <= '1'; 
Count: 30908
Threshold: 1

If statement on lines 222 to 226:

222:        if (res_n = '0') then 
223:            curr_state <= s_oc_off; 
224:        elsif (rising_edge(clk_sys)) then 
225:            curr_state <= next_state; 
226:        end if; 
Count: 1090018206
Threshold: 1

Signal assignment statement on line 223:

223:            curr_state <= s_oc_off; 
Count: 2424883
Threshold: 1

Signal assignment statement on line 225:

225:            curr_state <= next_state; 
Count: 543791678
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

151:    go_to_off <= '1' when (is_bus_off = '1') and (rx_trigger = '1') 
Evaluated toCountThreshold
BinTrue3194821
BinFalse204182101

"case" / "with" / "select" choice on line 164:

164:        when s_oc_off => 
Choice ofCountThreshold
Bins_oc_off6436831

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

165:            if (set_idle = '1') then 
Evaluated toCountThreshold
BinTrue66401
BinFalse6370431

"case" / "with" / "select" choice on line 169:

169:        when s_oc_idle => 
Choice ofCountThreshold
Bins_oc_idle1701561

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

170:            if (go_to_off = '1') then 
Evaluated toCountThreshold
BinTrue67671
BinFalse1633891

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

172:            elsif (set_transmitter = '1') then 
Evaluated toCountThreshold
BinTrue197981
BinFalse1435911

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

174:            elsif (set_receiver = '1') then 
Evaluated toCountThreshold
BinTrue300881
BinFalse1135031

"case" / "with" / "select" choice on line 178:

178:        when s_oc_transmitter => 
Choice ofCountThreshold
Bins_oc_transmitter1201931

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

179:            if (go_to_off = '1') then 
Evaluated toCountThreshold
BinTrue1121
BinFalse1200811

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

181:            elsif (set_idle = '1') then 
Evaluated toCountThreshold
BinTrue290351
BinFalse910461

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

183:            elsif (set_receiver = '1' or arbitration_lost = '1') then 
Evaluated toCountThreshold
BinTrue11711
BinFalse898751

"case" / "with" / "select" choice on line 187:

187:        when s_oc_receiver => 
Choice ofCountThreshold
Bins_oc_receiver1474081

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

188:            if (set_idle = '1') then 
Evaluated toCountThreshold
BinTrue567421
BinFalse906661

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

190:            elsif (set_transmitter = '1') then 
Evaluated toCountThreshold
BinTrue10671
BinFalse895991

"case" / "with" / "select" choice on line 207:

207:        when s_oc_off => 
Choice ofCountThreshold
Bins_oc_off82271

"case" / "with" / "select" choice on line 208:

208:        when s_oc_idle => 
Choice ofCountThreshold
Bins_oc_idle558921

"case" / "with" / "select" choice on line 210:

210:        when s_oc_transmitter => 
Choice ofCountThreshold
Bins_oc_transmitter203171

"case" / "with" / "select" choice on line 212:

212:        when s_oc_receiver => 
Choice ofCountThreshold
Bins_oc_receiver309081

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

222:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

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

224:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RES_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RX_TRIGGER
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 IS_BUS_OFF
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 ARBITRATION_LOST
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SET_TRANSMITTER
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SET_RECEIVER
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SET_IDLE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 IS_TRANSMITTER
FromToCountThreshold
Bin01203171
Bin10219171

Port:

 IS_RECEIVER
FromToCountThreshold
Bin01309081
Bin10325021

Port:

 IS_IDLE
FromToCountThreshold
Bin01558921
Bin10574901

Signal:

 GO_TO_OFF
FromToCountThreshold
Bin013194821
Bin103210831

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 151:

 (is_bus_off = '1') and (rx_trigger = '1') 
  <-----LHS------>       <-----RHS------>  
LHSRHSCountThreshold
BinFalseTrue100471421
BinTrueFalse3208981
BinTrueTrue3194821

"=" expression on line 151:

 is_bus_off = '1' 
Evaluated toCountThreshold
BinFalse200973121
BinTrue6403801

"=" expression on line 151:

 rx_trigger = '1' 
Evaluated toCountThreshold
BinFalse103710681
BinTrue103666241

"=" expression on line 165:

 set_idle = '1' 
Evaluated toCountThreshold
BinFalse6370431
BinTrue66401

"=" expression on line 170:

 go_to_off = '1' 
Evaluated toCountThreshold
BinFalse1633891
BinTrue67671

"=" expression on line 172:

 set_transmitter = '1' 
Evaluated toCountThreshold
BinFalse1435911
BinTrue197981

"=" expression on line 174:

 set_receiver = '1' 
Evaluated toCountThreshold
BinFalse1135031
BinTrue300881

"=" expression on line 179:

 go_to_off = '1' 
Evaluated toCountThreshold
BinFalse1200811
BinTrue1121

"=" expression on line 181:

 set_idle = '1' 
Evaluated toCountThreshold
BinFalse910461
BinTrue290351

"or" expression on line 183:

 set_receiver = '1' or arbitration_lost = '1' 
 <------LHS------->    <--------RHS---------> 
LHSRHSCountThreshold
BinFalseFalse898751
BinFalseTrue10621
BinTrueFalse1091

"=" expression on line 183:

 set_receiver = '1' 
Evaluated toCountThreshold
BinFalse909371
BinTrue1091

"=" expression on line 183:

 arbitration_lost = '1' 
Evaluated toCountThreshold
BinFalse899841
BinTrue10621

"=" expression on line 188:

 set_idle = '1' 
Evaluated toCountThreshold
BinFalse906661
BinTrue567421

"=" expression on line 190:

 set_transmitter = '1' 
Evaluated toCountThreshold
BinFalse895991
BinTrue10671

"=" expression on line 222:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

"T_OPERATION_CONTROL_STATE" FSM on line 138:

138:    signal curr_state : t_operation_control_state; 
StateCountThreshold
BinS_OC_OFF82271
BinS_OC_IDLE558921
BinS_OC_TRANSMITTER203171
BinS_OC_RECEIVER309081

"T_OPERATION_CONTROL_STATE" FSM on line 139:

139:    signal next_state : t_operation_control_state; 
StateCountThreshold
BinS_OC_OFF148651
BinS_OC_IDLE990771
BinS_OC_TRANSMITTER312731
BinS_OC_RECEIVER582441

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: