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_CONTROL_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_CONTROL_COUNTER 100.0 % (45/45) 100.0 % (40/40) 100.0 % (158/158) 100.0 % (33/33) N.A. N.A. 100.0 % (276/276)

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 178 to 180:

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

Signal assignment statement on line 178:

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

Signal assignment statement on line 179:

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

Signal assignment statement on line 180:

180:                                   ctrl_ctr_q
Count: 10719542
Threshold: 1

If statement on lines 183 to 185:

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

Signal assignment statement on line 183:

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

Signal assignment statement on line 184:

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

Signal assignment statement on line 185:

185:                   '0'
Count: 13965184
Threshold: 1

If statement on lines 187 to 189:

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

Count: 7411238
Threshold: 1

Signal assignment statement on line 187:

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

Signal assignment statement on line 189:

189:                     '0'
Count: 7054328
Threshold: 1

If statement on lines 191 to 193:

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

Count: 7411238
Threshold: 1

Signal assignment statement on line 191:

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

Signal assignment statement on line 193:

193:                    '0'
Count: 7058423
Threshold: 1

If statement on lines 200 to 206:

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

Count: 1096781321
Threshold: 1

Signal assignment statement on line 201:

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

If statement on lines 203 to 205:

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

Count: 547174334
Threshold: 1

Signal assignment statement on line 204:

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

If statement on lines 218 to 219:

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

Count: 6177552
Threshold: 1

Signal assignment statement on line 218:

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

Signal assignment statement on line 219:

219:                   compl_ctr_q + 1
Count: 5298291
Threshold: 1

If statement on lines 221 to 223:

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

Count: 10636686
Threshold: 1

Signal assignment statement on line 221:

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

Signal assignment statement on line 222:

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

Signal assignment statement on line 223:

223:                    '0'
Count: 5277968
Threshold: 1

If statement on lines 227 to 233:

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

Count: 1096781321
Threshold: 1

Signal assignment statement on line 228:

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

If statement on lines 230 to 232:

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

Count: 547174334
Threshold: 1

Signal assignment statement on line 231:

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

If statement on lines 240 to 242:

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

Count: 4488738
Threshold: 1

Signal assignment statement on line 240:

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

Signal assignment statement on line 242:

242:                         '0'
Count: 3936986
Threshold: 1

Signal assignment statement on line 245:

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

Signal assignment statement on line 248:

248:    compl_ctr_div_32 <= compl_ctr_q(G_CTRL_CTR_WIDTH - 1 downto 5)
Count: 144911
Threshold: 1

Signal assignment statement on line 251:

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

If statement on lines 254 to 256:

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

Signal assignment statement on line 255:

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

Signal assignment statement on line 256:

256:        19
Count: 3414
Threshold: 1

Signal assignment statement on line 267:

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

If statement on lines 275 to 283:

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

Count: 1096781321
Threshold: 1

Signal assignment statement on line 276:

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

Signal assignment statement on line 277:

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

If statement on lines 279 to 282:

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

Signal assignment statement on line 280:

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

Signal assignment statement on line 281:

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

Uncovered branches:

Excluded branches:

Covered branches:

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

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

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

179:                              (ctrl_ctr_q - 1) when (rx_trigger = '1') else 
Evaluated toCountThreshold
BinTrue175182871
BinFalse107195421

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

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

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

184:                   '1' when (ctrl_ctr_pload = '1') else 
Evaluated toCountThreshold
BinTrue8292011
BinFalse139651841

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

187:    ctrl_ctr_zero <= '1' when (ctrl_ctr_q = 0
Evaluated toCountThreshold
BinTrue3569101
BinFalse70543281

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

191:    ctrl_ctr_one <= '1' when (ctrl_ctr_q = 1
Evaluated toCountThreshold
BinTrue3528151
BinFalse70584231

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

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

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

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

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

203:            if (ctrl_ctr_ce = '1') then 
Evaluated toCountThreshold
BinTrue78655561
BinFalse5393087781

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

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

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

221:    compl_ctr_ce <= '1' when (ctrl_ctr_pload = '1') else 
Evaluated toCountThreshold
BinTrue8896661
BinFalse97470201

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

222:                    '1' when (compl_ctr_ena = '1') else 
Evaluated toCountThreshold
BinTrue44690521
BinFalse52779681

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

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

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

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

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

230:            if (compl_ctr_ce = '1') then 
Evaluated toCountThreshold
BinTrue53463691
BinFalse5418279651

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

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

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

255:        compl_ctr_div_32_plus_5 when (compl_ctr_div_32_plus_5 < 19) else 
Evaluated toCountThreshold
BinTrue1414971
BinFalse34141

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

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

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

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

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

279:            if (arbitration_lost = '1') then 
Evaluated toCountThreshold
BinTrue7131
BinFalse5471736211

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:

 RX_TRIGGER
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 CTRL_CTR_ENA
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 CTRL_CTR_PLOAD
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 CTRL_CTR_PLOAD_VAL
ElementFromToCountThresholdExcluded due to
Bin(8)0101Exclude file
Bin(8)1001Exclude file
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
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

Port:

 COMPL_CTR_ENA
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 ARBITRATION_LOST
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 ARBITRATION_PART
ElementFromToCountThresholdExcluded due to
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:

 CTRL_CTR_ZERO
FromToCountThreshold
Bin013569101
Bin103569181

Port:

 CTRL_CTR_ONE
FromToCountThreshold
Bin013528151
Bin103544161

Port:

 CTRL_COUNTED_BYTE
FromToCountThreshold
Bin015517521
Bin105533531

Port:

 CTRL_COUNTED_BYTE_INDEX
ElementFromToCountThreshold
Bin(1)011367131
Bin(1)101383141
Bin(0)012744381
Bin(0)102760391

Port:

 CTRL_CTR_MEM_INDEX
ElementFromToCountThreshold
Bin(4)0147301
Bin(4)1063311
Bin(3)01127251
Bin(3)10143261
Bin(2)01190561
Bin(2)10190561
Bin(1)01408771
Bin(1)10424781
Bin(0)01680951
Bin(0)10680951

Port:

 ALC_ALC_BIT
ElementFromToCountThreshold
Bin(4)01691
Bin(4)1016681
Bin(3)01901
Bin(3)1016891
Bin(2)011031
Bin(2)1017021
Bin(1)011731
Bin(1)1017721
Bin(0)012991
Bin(0)1018981

Port:

 ALC_ALC_ID_FIELD
ElementFromToCountThreshold
Bin(2)01331
Bin(2)1016341
Bin(1)01421
Bin(1)1016411
Bin(0)01951
Bin(0)1016961

Signal:

 CTRL_CTR_D
ElementFromToCountThreshold
Bin(8)018642751
Bin(8)108658761
Bin(7)018892381
Bin(7)108908391
Bin(6)019355811
Bin(6)109371821
Bin(5)0110515791
Bin(5)1010531801
Bin(4)0113136531
Bin(4)1013152541
Bin(3)0120835441
Bin(3)1020851441
Bin(2)0134493101
Bin(2)1034509051
Bin(1)0160256951
Bin(1)1060272901
Bin(0)01141562271
Bin(0)10141578201

Signal:

 CTRL_CTR_Q
ElementFromToCountThreshold
Bin(8)011269861
Bin(8)101285871
Bin(7)011352101
Bin(7)101368111
Bin(6)011505381
Bin(6)101521391
Bin(5)011892221
Bin(5)101908231
Bin(4)012709691
Bin(4)102725701
Bin(3)015201411
Bin(3)105217421
Bin(2)019632771
Bin(2)109648721
Bin(1)0118699241
Bin(1)1018715191
Bin(0)0135942591
Bin(0)1035958531

Signal:

 CTRL_CTR_CE
FromToCountThreshold
Bin0178127001
Bin1078143001

Signal:

 COMPL_CTR_D
ElementFromToCountThreshold
Bin(8)0180481
Bin(8)1096491
Bin(7)01174811
Bin(7)10190821
Bin(6)01373171
Bin(6)10389181
Bin(5)01754441
Bin(5)10770451
Bin(4)011447821
Bin(4)101463831
Bin(3)012923391
Bin(3)102939401
Bin(2)015621191
Bin(2)105637201
Bin(1)0111245461
Bin(1)1011261471
Bin(0)0130383801
Bin(0)1030367801

Signal:

 COMPL_CTR_Q
ElementFromToCountThreshold
Bin(8)012131841
Bin(8)103506601
Bin(7)014587651
Bin(7)106013131
Bin(6)019242331
Bin(6)1010703191
Bin(5)0120053711
Bin(5)1022847241
Bin(4)0110806701
Bin(4)1011818361
Bin(3)0121690761
Bin(3)1022727951
Bin(2)015601771
Bin(2)105636161
Bin(1)0111206621
Bin(1)1011241011
Bin(0)0122384171
Bin(0)1022418561

Signal:

 COMPL_CTR_DIV_32
ElementFromToCountThreshold
Bin(3)0170341
Bin(3)1086351
Bin(2)01151141
Bin(2)10167151
Bin(1)01304291
Bin(1)10320301
Bin(0)01678171
Bin(0)10694181

Signal:

 COMPL_CTR_CE
FromToCountThreshold
Bin0152731661
Bin1052747661

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 178:

 ctrl_ctr_pload = '1' 
Evaluated toCountThreshold
BinFalse282378291
BinTrue18634091

"=" expression on line 179:

 rx_trigger = '1' 
Evaluated toCountThreshold
BinFalse107195421
BinTrue175182871

"and" expression on line 183:

 rx_trigger = '1' and ctrl_ctr_ena = '1' 
 <-----LHS------>     <------RHS-------> 

LHSRHSCountThreshold
BinFalseTrue79002511
BinTrueFalse35126931
BinTrueTrue76653541

"=" expression on line 183:

 rx_trigger = '1' 
Evaluated toCountThreshold
BinFalse112816921
BinTrue111780471

"=" expression on line 183:

 ctrl_ctr_ena = '1' 
Evaluated toCountThreshold
BinFalse68941341
BinTrue155656051

"=" expression on line 184:

 ctrl_ctr_pload = '1' 
Evaluated toCountThreshold
BinFalse139651841
BinTrue8292011

"=" expression on line 200:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 203:

 ctrl_ctr_ce = '1' 
Evaluated toCountThreshold
BinFalse5393087781
BinTrue78655561

"=" expression on line 218:

 ctrl_ctr_pload = '1' 
Evaluated toCountThreshold
BinFalse52982911
BinTrue8792611

"=" expression on line 221:

 ctrl_ctr_pload = '1' 
Evaluated toCountThreshold
BinFalse97470201
BinTrue8896661

"=" expression on line 222:

 compl_ctr_ena = '1' 
Evaluated toCountThreshold
BinFalse52779681
BinTrue44690521

"=" expression on line 227:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 230:

 compl_ctr_ce = '1' 
Evaluated toCountThreshold
BinFalse5418279651
BinTrue53463691

"<" expression on line 255:

 compl_ctr_div_32_plus_5 < 19 
Evaluated toCountThreshold
BinFalse34141
BinTrue1414971

"=" expression on line 275:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 279:

 arbitration_lost = '1' 
Evaluated toCountThreshold
BinFalse5471736211
BinTrue7131

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: