NVC code coverage report

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

File:  /__w/ctu-can-regression/ctu-can-regression/src/can_core/control_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.CONTROL_COUNTER_INST 100.0 % (44/44) 100.0 % (40/40) 100.0 % (158/158) 100.0 % (33/33) N.A. N.A. 100.0 % (275/275)

Details:

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

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

178:    ctrl_ctr_d <= unsigned(ctrl_ctr_pload_val) when (ctrl_ctr_pload = '1') else 
179:                              (ctrl_ctr_q - 1) when (rx_trigger = '1') else 
180:                                   ctrl_ctr_q; 

Count: 29255495
Threshold: 1

Signal assignment statement:

178:    ctrl_ctr_d <= unsigned(ctrl_ctr_pload_val) when (ctrl_ctr_pload = '1') else 
Count: 1834797
Threshold: 1

Signal assignment statement:

179:                              (ctrl_ctr_q - 1) when (rx_trigger = '1') else 
Count: 17087580
Threshold: 1

Signal assignment statement:

180:                                   ctrl_ctr_q
Count: 10333118
Threshold: 1

If statement:

183:    ctrl_ctr_ce <= '1' when (rx_trigger = '1' and ctrl_ctr_ena = '1') else 
184:                   '1' when (ctrl_ctr_pload = '1') else 
185:                   '0'; 

Count: 21662235
Threshold: 1

Signal assignment statement:

183:    ctrl_ctr_ce <= '1' when (rx_trigger = '1' and ctrl_ctr_ena = '1') else 
Count: 7613189
Threshold: 1

Signal assignment statement:

184:                   '1' when (ctrl_ctr_pload = '1') else 
Count: 816938
Threshold: 1

Signal assignment statement:

185:                   '0'
Count: 13232108
Threshold: 1

If statement:

187:    ctrl_ctr_zero <= '1' when (ctrl_ctr_q = 0) 
188:                         else 
189:                     '0'; 

Count: 7362207
Threshold: 1

Signal assignment statement:

187:    ctrl_ctr_zero <= '1' when (ctrl_ctr_q = 0) 
Count: 350694
Threshold: 1

Signal assignment statement:

189:                     '0'
Count: 7011513
Threshold: 1

If statement:

191:    ctrl_ctr_one <= '1' when (ctrl_ctr_q = 1) 
192:                        else 
193:                    '0'; 

Count: 7362207
Threshold: 1

Signal assignment statement:

191:    ctrl_ctr_one <= '1' when (ctrl_ctr_q = 1) 
Count: 346470
Threshold: 1

Signal assignment statement:

193:                    '0'
Count: 7015737
Threshold: 1

If statement:

200:        if (res_n = '0') then 
201:            ctrl_ctr_q <= (others => '0'); 
...
205:            end if; 
206:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

201:            ctrl_ctr_q <= (others => '0'); 
Count: 2418499
Threshold: 1

If statement:

203:            if (ctrl_ctr_ce = '1') then 
204:                ctrl_ctr_q <= ctrl_ctr_d; 
205:            end if; 

Count: 526374300
Threshold: 1

Signal assignment statement:

204:                ctrl_ctr_q <= ctrl_ctr_d; 
Count: 7814928
Threshold: 1

If statement:

218:    compl_ctr_d <= (others => '0') when (ctrl_ctr_pload = '1') else 
219:                   compl_ctr_q + 1; 

Count: 6180551
Threshold: 1

Signal assignment statement:

218:    compl_ctr_d <= (others => '0') when (ctrl_ctr_pload = '1') else 
Count: 866026
Threshold: 1

Signal assignment statement:

219:                   compl_ctr_q + 1
Count: 5314525
Threshold: 1

If statement:

221:    compl_ctr_ce <= '1' when (ctrl_ctr_pload = '1') else 
222:                    '1' when (compl_ctr_ena = '1') else 
223:                    '0'; 

Count: 10669433
Threshold: 1

Signal assignment statement:

221:    compl_ctr_ce <= '1' when (ctrl_ctr_pload = '1') else 
Count: 876733
Threshold: 1

Signal assignment statement:

222:                    '1' when (compl_ctr_ena = '1') else 
Count: 4497889
Threshold: 1

Signal assignment statement:

223:                    '0'
Count: 5294811
Threshold: 1

If statement:

227:        if (res_n = '0') then 
228:            compl_ctr_q <= (others => '0'); 
...
232:            end if; 
233:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

228:            compl_ctr_q <= (others => '0'); 
Count: 2418499
Threshold: 1

If statement:

230:            if (compl_ctr_ce = '1') then 
231:                compl_ctr_q <= compl_ctr_d; 
232:            end if; 

Count: 526374300
Threshold: 1

Signal assignment statement:

231:                compl_ctr_q <= compl_ctr_d; 
Count: 5366267
Threshold: 1

If statement:

240:    ctrl_counted_byte <= '1' when (compl_ctr_q(2 downto 0) = "111") 
241:                             else 
242:                         '0'; 

Count: 4517028
Threshold: 1

Signal assignment statement:

240:    ctrl_counted_byte <= '1' when (compl_ctr_q(2 downto 0) = "111") 
Count: 555551
Threshold: 1

Signal assignment statement:

242:                         '0'
Count: 3961477
Threshold: 1

Signal assignment statement:

245:    ctrl_counted_byte_index <= std_logic_vector(compl_ctr_q(4 downto 3))
Count: 561315
Threshold: 1

Signal assignment statement:

251:    compl_ctr_div_32_plus_5 <= to_integer(compl_ctr_div_32) + 5
Count: 145817
Threshold: 1

If statement:

254:    compl_ctr_div_32_plus_5_sat <= 
255:        compl_ctr_div_32_plus_5 when (compl_ctr_div_32_plus_5 < 19) else 
256:        19; 

Count: 145817
Threshold: 1

Signal assignment statement:

255:        compl_ctr_div_32_plus_5 when (compl_ctr_div_32_plus_5 < 19) else 
Count: 142343
Threshold: 1

Signal assignment statement:

256:        19
Count: 3474
Threshold: 1

Signal assignment statement:

267:        std_logic_vector(to_unsigned(compl_ctr_div_32_plus_5_sat, 5))
Count: 144464
Threshold: 1

If statement:

275:        if (res_n = '0') then 
276:            alc_alc_bit <= (others => '0'); 
...
282:            end if; 
283:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

276:            alc_alc_bit <= (others => '0'); 
Count: 2418499
Threshold: 1

Signal assignment statement:

277:            alc_alc_id_field <= (others => '0'); 
Count: 2418499
Threshold: 1

If statement:

279:            if (arbitration_lost = '1') then 
280:                alc_alc_bit <= std_logic_vector(ctrl_ctr_q(4 downto 0)); 
281:                alc_alc_id_field <= arbitration_part; 
282:            end if; 

Count: 526374300
Threshold: 1

Signal assignment statement:

280:                alc_alc_bit <= std_logic_vector(ctrl_ctr_q(4 downto 0)); 
Count: 709
Threshold: 1

Signal assignment statement:

281:                alc_alc_id_field <= arbitration_part; 
Count: 709
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

178:    ctrl_ctr_d <= unsigned(ctrl_ctr_pload_val) when (ctrl_ctr_pload = '1') else 
Evaluated toCountThreshold
BinTrue18347971
BinFalse274206981

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

179:                              (ctrl_ctr_q - 1) when (rx_trigger = '1') else 
Evaluated toCountThreshold
BinTrue170875801
BinFalse103331181

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

183:    ctrl_ctr_ce <= '1' when (rx_trigger = '1' and ctrl_ctr_ena = '1') else 
Evaluated toCountThreshold
BinTrue76131891
BinFalse140490461

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

184:                   '1' when (ctrl_ctr_pload = '1') else 
Evaluated toCountThreshold
BinTrue8169381
BinFalse132321081

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

187:    ctrl_ctr_zero <= '1' when (ctrl_ctr_q = 0
Evaluated toCountThreshold
BinTrue3506941
BinFalse70115131

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

191:    ctrl_ctr_one <= '1' when (ctrl_ctr_q = 1
Evaluated toCountThreshold
BinTrue3464701
BinFalse70157371

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

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

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

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

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

203:            if (ctrl_ctr_ce = '1') then 
Evaluated toCountThreshold
BinTrue78149281
BinFalse5185593721

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

218:    compl_ctr_d <= (others => '0') when (ctrl_ctr_pload = '1') else 
Evaluated toCountThreshold
BinTrue8660261
BinFalse53145251

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

221:    compl_ctr_ce <= '1' when (ctrl_ctr_pload = '1') else 
Evaluated toCountThreshold
BinTrue8767331
BinFalse97927001

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

222:                    '1' when (compl_ctr_ena = '1') else 
Evaluated toCountThreshold
BinTrue44978891
BinFalse52948111

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

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

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

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

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

230:            if (compl_ctr_ce = '1') then 
Evaluated toCountThreshold
BinTrue53662671
BinFalse5210080331

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

240:    ctrl_counted_byte <= '1' when (compl_ctr_q(2 downto 0) = "111"
Evaluated toCountThreshold
BinTrue5555511
BinFalse39614771

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

255:        compl_ctr_div_32_plus_5 when (compl_ctr_div_32_plus_5 < 19) else 
Evaluated toCountThreshold
BinTrue1423431
BinFalse34741

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

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

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

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

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

279:            if (arbitration_lost = '1') then 
Evaluated toCountThreshold
BinTrue7091
BinFalse5263735911

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 RX_TRIGGER
FromToCountThreshold
Bin01100154141
Bin10100170141

Port:

 CTRL_CTR_ENA
FromToCountThreshold
Bin012118881
Bin102134821

Port:

 CTRL_CTR_PLOAD
FromToCountThreshold
Bin018300821
Bin108316811

Port:

 CTRL_CTR_PLOAD_VAL(8)
FromToCountThreshold
Bin01167171
Bin10183171

Port:

 CTRL_CTR_PLOAD_VAL(7)
FromToCountThreshold
Bin01181141
Bin10197141

Port:

 CTRL_CTR_PLOAD_VAL(6)
FromToCountThreshold
Bin01194041
Bin10210041

Port:

 CTRL_CTR_PLOAD_VAL(5)
FromToCountThreshold
Bin01293821
Bin10309821

Port:

 CTRL_CTR_PLOAD_VAL(4)
FromToCountThreshold
Bin01818321
Bin10834321

Port:

 CTRL_CTR_PLOAD_VAL(3)
FromToCountThreshold
Bin011529351
Bin101545341

Port:

 CTRL_CTR_PLOAD_VAL(2)
FromToCountThreshold
Bin012663971
Bin102679961

Port:

 CTRL_CTR_PLOAD_VAL(1)
FromToCountThreshold
Bin014008471
Bin104024451

Port:

 CTRL_CTR_PLOAD_VAL(0)
FromToCountThreshold
Bin012847771
Bin102863751

Port:

 COMPL_CTR_ENA
FromToCountThreshold
Bin0145339371
Bin1045355371

Port:

 ARBITRATION_LOST
FromToCountThreshold
Bin0111721
Bin1027721

Port:

 ARBITRATION_PART(2)
FromToCountThreshold
Bin01157171
Bin10173171

Port:

 ARBITRATION_PART(1)
FromToCountThreshold
Bin01526481
Bin10542481

Port:

 ARBITRATION_PART(0)
FromToCountThreshold
Bin011216941
Bin101232941

Port:

 CTRL_CTR_ZERO
FromToCountThreshold
Bin013506941
Bin103507011

Port:

 CTRL_CTR_ONE
FromToCountThreshold
Bin013464701
Bin103480701

Port:

 CTRL_COUNTED_BYTE
FromToCountThreshold
Bin015555511
Bin105571511

Port:

 CTRL_COUNTED_BYTE_INDEX(1)
FromToCountThreshold
Bin011377811
Bin101393811

Port:

 CTRL_COUNTED_BYTE_INDEX(0)
FromToCountThreshold
Bin012762721
Bin102778721

Port:

 CTRL_CTR_MEM_INDEX(4)
FromToCountThreshold
Bin0149341
Bin1065341

Port:

 CTRL_CTR_MEM_INDEX(3)
FromToCountThreshold
Bin01126101
Bin10142101

Port:

 CTRL_CTR_MEM_INDEX(2)
FromToCountThreshold
Bin01191441
Bin10191441

Port:

 CTRL_CTR_MEM_INDEX(1)
FromToCountThreshold
Bin01409731
Bin10425731

Port:

 CTRL_CTR_MEM_INDEX(0)
FromToCountThreshold
Bin01684531
Bin10684531

Port:

 ALC_ALC_BIT(4)
FromToCountThreshold
Bin01671
Bin1016651

Port:

 ALC_ALC_BIT(3)
FromToCountThreshold
Bin01881
Bin1016861

Port:

 ALC_ALC_BIT(2)
FromToCountThreshold
Bin011011
Bin1016991

Port:

 ALC_ALC_BIT(1)
FromToCountThreshold
Bin011711
Bin1017691

Port:

 ALC_ALC_BIT(0)
FromToCountThreshold
Bin012961
Bin1018941

Port:

 ALC_ALC_ID_FIELD(2)
FromToCountThreshold
Bin01301
Bin1016301

Port:

 ALC_ALC_ID_FIELD(1)
FromToCountThreshold
Bin01401
Bin1016381

Port:

 ALC_ALC_ID_FIELD(0)
FromToCountThreshold
Bin01961
Bin1016961

Signal:

 CTRL_CTR_D(8)
FromToCountThreshold
Bin018497601
Bin108513601

Signal:

 CTRL_CTR_D(7)
FromToCountThreshold
Bin018737061
Bin108753061

Signal:

 CTRL_CTR_D(6)
FromToCountThreshold
Bin019217831
Bin109233831

Signal:

 CTRL_CTR_D(5)
FromToCountThreshold
Bin0110374271
Bin1010390271

Signal:

 CTRL_CTR_D(4)
FromToCountThreshold
Bin0112992231
Bin1013008231

Signal:

 CTRL_CTR_D(3)
FromToCountThreshold
Bin0120641701
Bin1020657691

Signal:

 CTRL_CTR_D(2)
FromToCountThreshold
Bin0134185101
Bin1034201051

Signal:

 CTRL_CTR_D(1)
FromToCountThreshold
Bin0159835501
Bin1059851451

Signal:

 CTRL_CTR_D(0)
FromToCountThreshold
Bin01137448761
Bin10137464691

Signal:

 CTRL_CTR_Q(8)
FromToCountThreshold
Bin011231431
Bin101247431

Signal:

 CTRL_CTR_Q(7)
FromToCountThreshold
Bin011309741
Bin101325741

Signal:

 CTRL_CTR_Q(6)
FromToCountThreshold
Bin011469091
Bin101485091

Signal:

 CTRL_CTR_Q(5)
FromToCountThreshold
Bin011851021
Bin101867021

Signal:

 CTRL_CTR_Q(4)
FromToCountThreshold
Bin012682031
Bin102698031

Signal:

 CTRL_CTR_Q(3)
FromToCountThreshold
Bin015147191
Bin105163191

Signal:

 CTRL_CTR_Q(2)
FromToCountThreshold
Bin019543171
Bin109559121

Signal:

 CTRL_CTR_Q(1)
FromToCountThreshold
Bin0118567701
Bin1018583651

Signal:

 CTRL_CTR_Q(0)
FromToCountThreshold
Bin0135723801
Bin1035739741

Signal:

 CTRL_CTR_CE
FromToCountThreshold
Bin0177584151
Bin1077600141

Signal:

 COMPL_CTR_D(8)
FromToCountThreshold
Bin0184311
Bin10100311

Signal:

 COMPL_CTR_D(7)
FromToCountThreshold
Bin01176561
Bin10192561

Signal:

 COMPL_CTR_D(6)
FromToCountThreshold
Bin01380271
Bin10396271

Signal:

 COMPL_CTR_D(5)
FromToCountThreshold
Bin01757891
Bin10773891

Signal:

 COMPL_CTR_D(4)
FromToCountThreshold
Bin011454071
Bin101470071

Signal:

 COMPL_CTR_D(3)
FromToCountThreshold
Bin012939891
Bin102955891

Signal:

 COMPL_CTR_D(2)
FromToCountThreshold
Bin015656131
Bin105672131

Signal:

 COMPL_CTR_D(1)
FromToCountThreshold
Bin0111315181
Bin1011331181

Signal:

 COMPL_CTR_D(0)
FromToCountThreshold
Bin0130403581
Bin1030387591

Signal:

 COMPL_CTR_Q(8)
FromToCountThreshold
Bin012197121
Bin103565831

Signal:

 COMPL_CTR_Q(7)
FromToCountThreshold
Bin014576541
Bin105990441

Signal:

 COMPL_CTR_Q(6)
FromToCountThreshold
Bin019390381
Bin1010827611

Signal:

 COMPL_CTR_Q(5)
FromToCountThreshold
Bin0120262701
Bin1022890731

Signal:

 COMPL_CTR_Q(4)
FromToCountThreshold
Bin0110897851
Bin1011893981

Signal:

 COMPL_CTR_Q(3)
FromToCountThreshold
Bin0121847221
Bin1022865461

Signal:

 COMPL_CTR_Q(2)
FromToCountThreshold
Bin015637351
Bin105670951

Signal:

 COMPL_CTR_Q(1)
FromToCountThreshold
Bin0111277991
Bin1011311591

Signal:

 COMPL_CTR_Q(0)
FromToCountThreshold
Bin0122526821
Bin1022560421

Signal:

 COMPL_CTR_DIV_32(3)
FromToCountThreshold
Bin0172381
Bin1088381

Signal:

 COMPL_CTR_DIV_32(2)
FromToCountThreshold
Bin01150621
Bin10166621

Signal:

 COMPL_CTR_DIV_32(1)
FromToCountThreshold
Bin01308691
Bin10324691

Signal:

 COMPL_CTR_DIV_32(0)
FromToCountThreshold
Bin01682061
Bin10698061

Signal:

 COMPL_CTR_CE
FromToCountThreshold
Bin0152900121
Bin1052916111

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

178:    ctrl_ctr_d <= unsigned(ctrl_ctr_pload_val) when (ctrl_ctr_pload = '1') else 
Evaluated toCountThreshold
BinFalse274206981
BinTrue18347971

"=" expression

179:                              (ctrl_ctr_q - 1) when (rx_trigger = '1') else 
Evaluated toCountThreshold
BinFalse103331181
BinTrue170875801

"=" expression

183:    ctrl_ctr_ce <= '1' when (rx_trigger = '1' and ctrl_ctr_ena = '1') else 
Evaluated toCountThreshold
BinFalse108871271
BinTrue107751081

"=" expression

183:    ctrl_ctr_ce <= '1' when (rx_trigger = '1' and ctrl_ctr_ena = '1') else 
Evaluated toCountThreshold
BinFalse61989711
BinTrue154632641

"and" expression

183:    ctrl_ctr_ce <= '1' when (rx_trigger = '1' and ctrl_ctr_ena = '1') else 
                                 <-----LHS------>     <------RHS------->       

LHSRHSCountThreshold
BinFalseTrue78500751
BinTrueFalse31619191
BinTrueTrue76131891

"=" expression

184:                   '1' when (ctrl_ctr_pload = '1') else 
Evaluated toCountThreshold
BinFalse132321081
BinTrue8169381

"=" expression

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

"=" expression

203:            if (ctrl_ctr_ce = '1') then 
Evaluated toCountThreshold
BinFalse5185593721
BinTrue78149281

"=" expression

218:    compl_ctr_d <= (others => '0') when (ctrl_ctr_pload = '1') else 
Evaluated toCountThreshold
BinFalse53145251
BinTrue8660261

"=" expression

221:    compl_ctr_ce <= '1' when (ctrl_ctr_pload = '1') else 
Evaluated toCountThreshold
BinFalse97927001
BinTrue8767331

"=" expression

222:                    '1' when (compl_ctr_ena = '1') else 
Evaluated toCountThreshold
BinFalse52948111
BinTrue44978891

"=" expression

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

"=" expression

230:            if (compl_ctr_ce = '1') then 
Evaluated toCountThreshold
BinFalse5210080331
BinTrue53662671

"<" expression

255:        compl_ctr_div_32_plus_5 when (compl_ctr_div_32_plus_5 < 19) else 
Evaluated toCountThreshold
BinFalse34741
BinTrue1423431

"=" expression

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

"=" expression

279:            if (arbitration_lost = '1') then 
Evaluated toCountThreshold
BinFalse5263735911
BinTrue7091

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: