NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.G_BUS_TRAFFIC_CTRS.I_MAC_BUS_TRAFFIC_COUNTERS

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

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
I_TX_CTR_REG_RST 100.0 % (6/6) 100.0 % (6/6) 100.0 % (28/28) 100.0 % (2/2) N.A. N.A. 100.0 % (42/42)
I_RX_CTR_REG_RST 100.0 % (6/6) 100.0 % (6/6) 100.0 % (28/28) 100.0 % (2/2) N.A. N.A. 100.0 % (42/42)

Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.G_BUS_TRAFFIC_CTRS.I_MAC_BUS_TRAFFIC_COUNTERS 100.0 % (25/25) 100.0 % (22/22) 100.0 % (410/410) 100.0 % (16/16) N.A. N.A. 100.0 % (473/473)

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 156 to 162:

156:        if (rst_n = '0') then 
157:            tran_valid_q <= '0'; 
...
161:            rec_valid_q <= rec_valid; 
162:        end if; 

Count: 165249974
Threshold: 1

Signal assignment statement on line 157:

157:            tran_valid_q <= '0'; 
Count: 1737636
Threshold: 1

Signal assignment statement on line 158:

158:            rec_valid_q <= '0'; 
Count: 1737636
Threshold: 1

Signal assignment statement on line 160:

160:            tran_valid_q <= tran_valid; 
Count: 81754417
Threshold: 1

Signal assignment statement on line 161:

161:            rec_valid_q <= rec_valid; 
Count: 81754417
Threshold: 1

Signal assignment statement on line 165:

165:    tx_frame_ctr <= tx_frame_ctr_i
Count: 6273
Threshold: 1

Signal assignment statement on line 166:

166:    rx_frame_ctr <= rx_frame_ctr_i
Count: 13512
Threshold: 1

If statement on lines 169 to 171:

169:    sel_value <= unsigned(tx_frame_ctr_i) when (tran_valid_q = '1') 
170:                                          else 
171:                 unsigned(rx_frame_ctr_i); 

Count: 22623
Threshold: 1

Signal assignment statement on line 169:

169:    sel_value <= unsigned(tx_frame_ctr_i) when (tran_valid_q = '1') 
Count: 3834
Threshold: 1

Signal assignment statement on line 171:

171:                 unsigned(rx_frame_ctr_i)
Count: 18789
Threshold: 1

Signal assignment statement on line 174:

174:    inc_value <= sel_value + 1
Count: 19966
Threshold: 1

If statement on lines 179 to 181:

179:    tx_ctr_rst_n_d <= '0' when (mr_command_txfcrst = '1') 
180:                          else 
181:                      '1'; 

Count: 4116
Threshold: 1

Signal assignment statement on line 179:

179:    tx_ctr_rst_n_d <= '0' when (mr_command_txfcrst = '1') 
Count: 124
Threshold: 1

Signal assignment statement on line 181:

181:                      '1'
Count: 3992
Threshold: 1

If statement on lines 183 to 185:

183:    rx_ctr_rst_n_d <= '0' when (mr_command_rxfcrst = '1') 
184:                          else 
185:                      '1'; 

Count: 4116
Threshold: 1

Signal assignment statement on line 183:

183:    rx_ctr_rst_n_d <= '0' when (mr_command_rxfcrst = '1') 
Count: 124
Threshold: 1

Signal assignment statement on line 185:

185:                      '1'
Count: 3992
Threshold: 1

If statement on lines 229 to 235:

229:        if (tx_ctr_rst_n_q_scan = '0') then 
230:            tx_frame_ctr_i <= (others => '0'); 
...
234:            end if; 
235:        end if; 

Count: 165250222
Threshold: 1

Signal assignment statement on line 230:

230:            tx_frame_ctr_i <= (others => '0'); 
Count: 1742376
Threshold: 1

If statement on lines 232 to 234:

232:            if (tran_valid_q = '1') then 
233:                tx_frame_ctr_i <= std_logic_vector(inc_value); 
234:            end if; 

Count: 81752109
Threshold: 1

Signal assignment statement on line 233:

233:                tx_frame_ctr_i <= std_logic_vector(inc_value); 
Count: 3834
Threshold: 1

If statement on lines 243 to 249:

243:        if (rx_ctr_rst_n_q_scan = '0') then 
244:            rx_frame_ctr_i <= (others => '0'); 
...
248:            end if; 
249:        end if; 

Count: 165250222
Threshold: 1

Signal assignment statement on line 244:

244:            rx_frame_ctr_i <= (others => '0'); 
Count: 1742376
Threshold: 1

If statement on lines 246 to 248:

246:            if (rec_valid_q = '1') then 
247:                rx_frame_ctr_i <= std_logic_vector(inc_value); 
248:            end if; 

Count: 81752109
Threshold: 1

Signal assignment statement on line 247:

247:                rx_frame_ctr_i <= std_logic_vector(inc_value); 
Count: 11475
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

156:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue17376361
BinFalse1635123381

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

159:        elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue817544171
BinFalse817579211

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

169:    sel_value <= unsigned(tx_frame_ctr_i) when (tran_valid_q = '1'
Evaluated toCountThreshold
BinTrue38341
BinFalse187891

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

179:    tx_ctr_rst_n_d <= '0' when (mr_command_txfcrst = '1'
Evaluated toCountThreshold
BinTrue1241
BinFalse39921

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

183:    rx_ctr_rst_n_d <= '0' when (mr_command_rxfcrst = '1'
Evaluated toCountThreshold
BinTrue1241
BinFalse39921

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

229:        if (tx_ctr_rst_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue17423761
BinFalse1635078461

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

231:        elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue817521091
BinFalse817557371

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

232:            if (tran_valid_q = '1') then 
Evaluated toCountThreshold
BinTrue38341
BinFalse817482751

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

243:        if (rx_ctr_rst_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue17423761
BinFalse1635078461

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

245:        elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue817521091
BinFalse817557371

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

246:            if (rec_valid_q = '1') then 
Evaluated toCountThreshold
BinTrue114751
BinFalse817406341

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:

 SCAN_MODE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TRAN_VALID
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_VALID
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_COMMAND_RXFCRST
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_COMMAND_TXFCRST
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 TX_FRAME_CTR
ElementFromToCountThreshold
Bin(31)01921
Bin(31)107521
Bin(30)011021
Bin(30)107621
Bin(29)011081
Bin(29)107681
Bin(28)011021
Bin(28)107621
Bin(27)01991
Bin(27)107591
Bin(26)011111
Bin(26)107711
Bin(25)011061
Bin(25)107661
Bin(24)011081
Bin(24)107681
Bin(23)011001
Bin(23)107601
Bin(22)01991
Bin(22)107591
Bin(21)011041
Bin(21)107641
Bin(20)011041
Bin(20)107641
Bin(19)011041
Bin(19)107641
Bin(18)01951
Bin(18)107551
Bin(17)011011
Bin(17)107611
Bin(16)01951
Bin(16)107551
Bin(15)011061
Bin(15)107661
Bin(14)011051
Bin(14)107651
Bin(13)011091
Bin(13)107691
Bin(12)011101
Bin(12)107701
Bin(11)01981
Bin(11)107581
Bin(10)011051
Bin(10)107651
Bin(9)011021
Bin(9)107621
Bin(8)011051
Bin(8)107651
Bin(7)011121
Bin(7)107721
Bin(6)011101
Bin(6)107701
Bin(5)011261
Bin(5)107861
Bin(4)011541
Bin(4)108141
Bin(3)012611
Bin(3)109211
Bin(2)016031
Bin(2)1012631
Bin(1)0110751
Bin(1)1017351
Bin(0)0122171
Bin(0)1028771

Port:

 RX_FRAME_CTR
ElementFromToCountThreshold
Bin(31)01501
Bin(31)107081
Bin(30)01561
Bin(30)107131
Bin(29)01511
Bin(29)107071
Bin(28)01531
Bin(28)107111
Bin(27)01471
Bin(27)107051
Bin(26)01531
Bin(26)107121
Bin(25)01511
Bin(25)107081
Bin(24)01471
Bin(24)107051
Bin(23)01531
Bin(23)107101
Bin(22)01561
Bin(22)107141
Bin(21)01501
Bin(21)107091
Bin(20)01521
Bin(20)107101
Bin(19)01501
Bin(19)107081
Bin(18)01511
Bin(18)107101
Bin(17)01521
Bin(17)107111
Bin(16)01601
Bin(16)107171
Bin(15)01501
Bin(15)107081
Bin(14)01511
Bin(14)107101
Bin(13)01461
Bin(13)107061
Bin(12)01481
Bin(12)107071
Bin(11)01531
Bin(11)107101
Bin(10)01621
Bin(10)107181
Bin(9)01551
Bin(9)107131
Bin(8)01651
Bin(8)107241
Bin(7)01791
Bin(7)107371
Bin(6)011111
Bin(6)107691
Bin(5)012201
Bin(5)108791
Bin(4)013541
Bin(4)1010111
Bin(3)017511
Bin(3)1014101
Bin(2)0114981
Bin(2)1021541
Bin(1)0129601
Bin(1)1036181
Bin(0)0159001
Bin(0)1065591

Signal:

 TX_FRAME_CTR_I
ElementFromToCountThreshold
Bin(31)01921
Bin(31)107521
Bin(30)011021
Bin(30)107621
Bin(29)011081
Bin(29)107681
Bin(28)011021
Bin(28)107621
Bin(27)01991
Bin(27)107591
Bin(26)011111
Bin(26)107711
Bin(25)011061
Bin(25)107661
Bin(24)011081
Bin(24)107681
Bin(23)011001
Bin(23)107601
Bin(22)01991
Bin(22)107591
Bin(21)011041
Bin(21)107641
Bin(20)011041
Bin(20)107641
Bin(19)011041
Bin(19)107641
Bin(18)01951
Bin(18)107551
Bin(17)011011
Bin(17)107611
Bin(16)01951
Bin(16)107551
Bin(15)011061
Bin(15)107661
Bin(14)011051
Bin(14)107651
Bin(13)011091
Bin(13)107691
Bin(12)011101
Bin(12)107701
Bin(11)01981
Bin(11)107581
Bin(10)011051
Bin(10)107651
Bin(9)011021
Bin(9)107621
Bin(8)011051
Bin(8)107651
Bin(7)011121
Bin(7)107721
Bin(6)011101
Bin(6)107701
Bin(5)011261
Bin(5)107861
Bin(4)011541
Bin(4)108141
Bin(3)012611
Bin(3)109211
Bin(2)016031
Bin(2)1012631
Bin(1)0110751
Bin(1)1017351
Bin(0)0122171
Bin(0)1028771

Signal:

 RX_FRAME_CTR_I
ElementFromToCountThreshold
Bin(31)01501
Bin(31)107081
Bin(30)01561
Bin(30)107131
Bin(29)01511
Bin(29)107071
Bin(28)01531
Bin(28)107111
Bin(27)01471
Bin(27)107051
Bin(26)01531
Bin(26)107121
Bin(25)01511
Bin(25)107081
Bin(24)01471
Bin(24)107051
Bin(23)01531
Bin(23)107101
Bin(22)01561
Bin(22)107141
Bin(21)01501
Bin(21)107091
Bin(20)01521
Bin(20)107101
Bin(19)01501
Bin(19)107081
Bin(18)01511
Bin(18)107101
Bin(17)01521
Bin(17)107111
Bin(16)01601
Bin(16)107171
Bin(15)01501
Bin(15)107081
Bin(14)01511
Bin(14)107101
Bin(13)01461
Bin(13)107061
Bin(12)01481
Bin(12)107071
Bin(11)01531
Bin(11)107101
Bin(10)01621
Bin(10)107181
Bin(9)01551
Bin(9)107131
Bin(8)01651
Bin(8)107241
Bin(7)01791
Bin(7)107371
Bin(6)011111
Bin(6)107691
Bin(5)012201
Bin(5)108791
Bin(4)013541
Bin(4)1010111
Bin(3)017511
Bin(3)1014101
Bin(2)0114981
Bin(2)1021541
Bin(1)0129601
Bin(1)1036181
Bin(0)0159001
Bin(0)1065591

Signal:

 SEL_VALUE
ElementFromToCountThreshold
Bin(31)01501
Bin(31)107081
Bin(30)01561
Bin(30)107131
Bin(29)01511
Bin(29)107071
Bin(28)01531
Bin(28)107111
Bin(27)01471
Bin(27)107051
Bin(26)01531
Bin(26)107121
Bin(25)01511
Bin(25)107081
Bin(24)01471
Bin(24)107051
Bin(23)01531
Bin(23)107101
Bin(22)01561
Bin(22)107141
Bin(21)01501
Bin(21)107091
Bin(20)01521
Bin(20)107101
Bin(19)01501
Bin(19)107081
Bin(18)01511
Bin(18)107101
Bin(17)01521
Bin(17)107111
Bin(16)01601
Bin(16)107171
Bin(15)01501
Bin(15)107081
Bin(14)01511
Bin(14)107101
Bin(13)01461
Bin(13)107061
Bin(12)01481
Bin(12)107071
Bin(11)01531
Bin(11)107101
Bin(10)01621
Bin(10)107181
Bin(9)01551
Bin(9)107131
Bin(8)011291
Bin(8)107881
Bin(7)012361
Bin(7)108941
Bin(6)014671
Bin(6)1011251
Bin(5)016691
Bin(5)1013281
Bin(4)019571
Bin(4)1016141
Bin(3)0116131
Bin(3)1022721
Bin(2)0126521
Bin(2)1033081
Bin(1)0145531
Bin(1)1052111
Bin(0)0178281
Bin(0)1084871

Signal:

 INC_VALUE
ElementFromToCountThreshold
Bin(31)01501
Bin(31)107081
Bin(30)01561
Bin(30)107131
Bin(29)01511
Bin(29)107071
Bin(28)01531
Bin(28)107111
Bin(27)01471
Bin(27)107051
Bin(26)01531
Bin(26)107121
Bin(25)01511
Bin(25)107081
Bin(24)01471
Bin(24)107051
Bin(23)01531
Bin(23)107101
Bin(22)01561
Bin(22)107141
Bin(21)01501
Bin(21)107091
Bin(20)01521
Bin(20)107101
Bin(19)01501
Bin(19)107081
Bin(18)01511
Bin(18)107101
Bin(17)01521
Bin(17)107111
Bin(16)01601
Bin(16)107171
Bin(15)01501
Bin(15)107081
Bin(14)01511
Bin(14)107101
Bin(13)01461
Bin(13)107061
Bin(12)01481
Bin(12)107071
Bin(11)01531
Bin(11)107101
Bin(10)01611
Bin(10)107171
Bin(9)01561
Bin(9)107141
Bin(8)011291
Bin(8)107881
Bin(7)012391
Bin(7)108971
Bin(6)014701
Bin(6)1011281
Bin(5)016731
Bin(5)1013321
Bin(4)019781
Bin(4)1016351
Bin(3)0116671
Bin(3)1023261
Bin(2)0129401
Bin(2)1035961
Bin(1)0150401
Bin(1)1056971
Bin(0)0184871
Bin(0)1078281

Signal:

 TX_CTR_RST_N_D
FromToCountThreshold
Bin017841
Bin101241

Signal:

 TX_CTR_RST_N_Q_SCAN
FromToCountThreshold
Bin0129681
Bin1029681

Signal:

 RX_CTR_RST_N_D
FromToCountThreshold
Bin017841
Bin101241

Signal:

 RX_CTR_RST_N_Q_SCAN
FromToCountThreshold
Bin0129681
Bin1029681

Signal:

 TRAN_VALID_Q
FromToCountThreshold
Bin0138341
Bin1044941

Signal:

 REC_VALID_Q
FromToCountThreshold
Bin01114751
Bin10121351

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 156:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse1635123381
BinTrue17376361

"=" expression on line 169:

 tran_valid_q = '1' 
Evaluated toCountThreshold
BinFalse187891
BinTrue38341

"=" expression on line 179:

 mr_command_txfcrst = '1' 
Evaluated toCountThreshold
BinFalse39921
BinTrue1241

"=" expression on line 183:

 mr_command_rxfcrst = '1' 
Evaluated toCountThreshold
BinFalse39921
BinTrue1241

"=" expression on line 229:

 tx_ctr_rst_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse1635078461
BinTrue17423761

"=" expression on line 232:

 tran_valid_q = '1' 
Evaluated toCountThreshold
BinFalse817482751
BinTrue38341

"=" expression on line 243:

 rx_ctr_rst_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse1635078461
BinTrue17423761

"=" expression on line 246:

 rec_valid_q = '1' 
Evaluated toCountThreshold
BinFalse817406341
BinTrue114751

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: