NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.BUS_TRAFFIC_CTRS_GEN.BUS_TRAFFIC_COUNTERS_INST

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

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
TX_CTR_REG_RST_INST 100.0 % (6/6) 100.0 % (6/6) 100.0 % (28/28) 100.0 % (2/2) N.A. N.A. 100.0 % (42/42)
RX_CTR_REG_RST_INST 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.DUT.CAN_CORE_INST.BUS_TRAFFIC_CTRS_GEN.BUS_TRAFFIC_COUNTERS_INST 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 (res_n = '0') then 
157:            tran_valid_q <= '0'; 
...
161:            rec_valid_q <= rec_valid; 
162:        end if; 

Count: 165318284
Threshold: 1

Signal assignment statement on line 157:

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

Signal assignment statement on line 158:

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

Signal assignment statement on line 160:

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

Signal assignment statement on line 161:

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

Signal assignment statement on line 165:

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

Signal assignment statement on line 166:

166:    rx_frame_ctr <= rx_frame_ctr_i
Count: 13539
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: 3820
Threshold: 1

Signal assignment statement on line 171:

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

Signal assignment statement on line 174:

174:    inc_value <= sel_value + 1
Count: 19963
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: 4122
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: 3998
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: 4122
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: 3998
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: 165318532
Threshold: 1

Signal assignment statement on line 230:

230:            tx_frame_ctr_i <= (others => '0'); 
Count: 1742422
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: 81786241
Threshold: 1

Signal assignment statement on line 233:

233:                tx_frame_ctr_i <= std_logic_vector(inc_value); 
Count: 3820
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: 165318532
Threshold: 1

Signal assignment statement on line 244:

244:            rx_frame_ctr_i <= (others => '0'); 
Count: 1742422
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: 81786241
Threshold: 1

Signal assignment statement on line 247:

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

Uncovered branches:

Excluded branches:

Covered branches:

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

156:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue17376821
BinFalse1635806021

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

159:        elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue817885491
BinFalse817920531

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

169:    sel_value <= unsigned(tx_frame_ctr_i) when (tran_valid_q = '1'
Evaluated toCountThreshold
BinTrue38201
BinFalse188031

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

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

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

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

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

229:        if (tx_ctr_rst_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue17424221
BinFalse1635761101

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

231:        elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue817862411
BinFalse817898691

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

232:            if (tran_valid_q = '1') then 
Evaluated toCountThreshold
BinTrue38201
BinFalse817824211

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

243:        if (rx_ctr_rst_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue17424221
BinFalse1635761101

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

245:        elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue817862411
BinFalse817898691

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

246:            if (rec_valid_q = '1') then 
Evaluated toCountThreshold
BinTrue115021
BinFalse817747391

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:

 SCAN_ENABLE
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)011011
Bin(31)107611
Bin(30)011061
Bin(30)107661
Bin(29)011101
Bin(29)107701
Bin(28)01981
Bin(28)107581
Bin(27)011051
Bin(27)107651
Bin(26)011011
Bin(26)107611
Bin(25)01991
Bin(25)107591
Bin(24)01971
Bin(24)107571
Bin(23)011021
Bin(23)107621
Bin(22)011001
Bin(22)107601
Bin(21)011051
Bin(21)107651
Bin(20)011081
Bin(20)107681
Bin(19)01971
Bin(19)107571
Bin(18)01981
Bin(18)107581
Bin(17)011051
Bin(17)107651
Bin(16)011111
Bin(16)107711
Bin(15)011021
Bin(15)107621
Bin(14)011051
Bin(14)107651
Bin(13)01911
Bin(13)107511
Bin(12)01991
Bin(12)107591
Bin(11)01981
Bin(11)107581
Bin(10)01961
Bin(10)107561
Bin(9)011061
Bin(9)107661
Bin(8)011041
Bin(8)107641
Bin(7)011031
Bin(7)107631
Bin(6)011081
Bin(6)107681
Bin(5)011091
Bin(5)107691
Bin(4)011521
Bin(4)108121
Bin(3)012581
Bin(3)109181
Bin(2)016191
Bin(2)1012791
Bin(1)0110521
Bin(1)1017121
Bin(0)0122031
Bin(0)1028631

Port:

 RX_FRAME_CTR
ElementFromToCountThreshold
Bin(31)01531
Bin(31)107111
Bin(30)01561
Bin(30)107151
Bin(29)01511
Bin(29)107091
Bin(28)01501
Bin(28)107071
Bin(27)01531
Bin(27)107111
Bin(26)01491
Bin(26)107091
Bin(25)01491
Bin(25)107061
Bin(24)01571
Bin(24)107151
Bin(23)01491
Bin(23)107091
Bin(22)01491
Bin(22)107091
Bin(21)01541
Bin(21)107121
Bin(20)01571
Bin(20)107151
Bin(19)01531
Bin(19)107101
Bin(18)01531
Bin(18)107111
Bin(17)01551
Bin(17)107131
Bin(16)01541
Bin(16)107121
Bin(15)01541
Bin(15)107101
Bin(14)01471
Bin(14)107061
Bin(13)01571
Bin(13)107151
Bin(12)01611
Bin(12)107191
Bin(11)01501
Bin(11)107071
Bin(10)01541
Bin(10)107111
Bin(9)01531
Bin(9)107101
Bin(8)01661
Bin(8)107241
Bin(7)01871
Bin(7)107451
Bin(6)011131
Bin(6)107711
Bin(5)012151
Bin(5)108731
Bin(4)013531
Bin(4)1010121
Bin(3)017471
Bin(3)1014041
Bin(2)0114931
Bin(2)1021511
Bin(1)0129631
Bin(1)1036201
Bin(0)0159211
Bin(0)1065801

Signal:

 TX_FRAME_CTR_I
ElementFromToCountThreshold
Bin(31)011011
Bin(31)107611
Bin(30)011061
Bin(30)107661
Bin(29)011101
Bin(29)107701
Bin(28)01981
Bin(28)107581
Bin(27)011051
Bin(27)107651
Bin(26)011011
Bin(26)107611
Bin(25)01991
Bin(25)107591
Bin(24)01971
Bin(24)107571
Bin(23)011021
Bin(23)107621
Bin(22)011001
Bin(22)107601
Bin(21)011051
Bin(21)107651
Bin(20)011081
Bin(20)107681
Bin(19)01971
Bin(19)107571
Bin(18)01981
Bin(18)107581
Bin(17)011051
Bin(17)107651
Bin(16)011111
Bin(16)107711
Bin(15)011021
Bin(15)107621
Bin(14)011051
Bin(14)107651
Bin(13)01911
Bin(13)107511
Bin(12)01991
Bin(12)107591
Bin(11)01981
Bin(11)107581
Bin(10)01961
Bin(10)107561
Bin(9)011061
Bin(9)107661
Bin(8)011041
Bin(8)107641
Bin(7)011031
Bin(7)107631
Bin(6)011081
Bin(6)107681
Bin(5)011091
Bin(5)107691
Bin(4)011521
Bin(4)108121
Bin(3)012581
Bin(3)109181
Bin(2)016191
Bin(2)1012791
Bin(1)0110521
Bin(1)1017121
Bin(0)0122031
Bin(0)1028631

Signal:

 RX_FRAME_CTR_I
ElementFromToCountThreshold
Bin(31)01531
Bin(31)107111
Bin(30)01561
Bin(30)107151
Bin(29)01511
Bin(29)107091
Bin(28)01501
Bin(28)107071
Bin(27)01531
Bin(27)107111
Bin(26)01491
Bin(26)107091
Bin(25)01491
Bin(25)107061
Bin(24)01571
Bin(24)107151
Bin(23)01491
Bin(23)107091
Bin(22)01491
Bin(22)107091
Bin(21)01541
Bin(21)107121
Bin(20)01571
Bin(20)107151
Bin(19)01531
Bin(19)107101
Bin(18)01531
Bin(18)107111
Bin(17)01551
Bin(17)107131
Bin(16)01541
Bin(16)107121
Bin(15)01541
Bin(15)107101
Bin(14)01471
Bin(14)107061
Bin(13)01571
Bin(13)107151
Bin(12)01611
Bin(12)107191
Bin(11)01501
Bin(11)107071
Bin(10)01541
Bin(10)107111
Bin(9)01531
Bin(9)107101
Bin(8)01661
Bin(8)107241
Bin(7)01871
Bin(7)107451
Bin(6)011131
Bin(6)107711
Bin(5)012151
Bin(5)108731
Bin(4)013531
Bin(4)1010121
Bin(3)017471
Bin(3)1014041
Bin(2)0114931
Bin(2)1021511
Bin(1)0129631
Bin(1)1036201
Bin(0)0159211
Bin(0)1065801

Signal:

 SEL_VALUE
ElementFromToCountThreshold
Bin(31)01531
Bin(31)107111
Bin(30)01561
Bin(30)107151
Bin(29)01511
Bin(29)107091
Bin(28)01501
Bin(28)107071
Bin(27)01531
Bin(27)107111
Bin(26)01491
Bin(26)107091
Bin(25)01491
Bin(25)107061
Bin(24)01571
Bin(24)107151
Bin(23)01491
Bin(23)107091
Bin(22)01491
Bin(22)107091
Bin(21)01541
Bin(21)107121
Bin(20)01571
Bin(20)107151
Bin(19)01531
Bin(19)107101
Bin(18)01531
Bin(18)107111
Bin(17)01551
Bin(17)107131
Bin(16)01541
Bin(16)107121
Bin(15)01541
Bin(15)107101
Bin(14)01471
Bin(14)107061
Bin(13)01571
Bin(13)107151
Bin(12)01611
Bin(12)107191
Bin(11)01501
Bin(11)107071
Bin(10)01541
Bin(10)107111
Bin(9)01531
Bin(9)107101
Bin(8)011301
Bin(8)107881
Bin(7)012421
Bin(7)109001
Bin(6)014631
Bin(6)1011211
Bin(5)016531
Bin(5)1013111
Bin(4)019581
Bin(4)1016171
Bin(3)0115951
Bin(3)1022521
Bin(2)0126211
Bin(2)1032791
Bin(1)0145561
Bin(1)1052131
Bin(0)0178431
Bin(0)1085021

Signal:

 INC_VALUE
ElementFromToCountThreshold
Bin(31)01531
Bin(31)107111
Bin(30)01561
Bin(30)107151
Bin(29)01511
Bin(29)107091
Bin(28)01501
Bin(28)107071
Bin(27)01531
Bin(27)107111
Bin(26)01491
Bin(26)107091
Bin(25)01491
Bin(25)107061
Bin(24)01571
Bin(24)107151
Bin(23)01491
Bin(23)107091
Bin(22)01491
Bin(22)107091
Bin(21)01541
Bin(21)107121
Bin(20)01571
Bin(20)107151
Bin(19)01531
Bin(19)107101
Bin(18)01531
Bin(18)107111
Bin(17)01551
Bin(17)107131
Bin(16)01541
Bin(16)107121
Bin(15)01541
Bin(15)107101
Bin(14)01471
Bin(14)107061
Bin(13)01571
Bin(13)107151
Bin(12)01611
Bin(12)107191
Bin(11)01501
Bin(11)107071
Bin(10)01541
Bin(10)107111
Bin(9)01531
Bin(9)107101
Bin(8)011311
Bin(8)107891
Bin(7)012451
Bin(7)109031
Bin(6)014631
Bin(6)1011211
Bin(5)016621
Bin(5)1013201
Bin(4)019831
Bin(4)1016411
Bin(3)0116471
Bin(3)1023051
Bin(2)0129261
Bin(2)1035851
Bin(1)0150271
Bin(1)1056851
Bin(0)0185021
Bin(0)1078431

Signal:

 TX_CTR_RST_N_D
FromToCountThreshold
Bin017841
Bin101241

Signal:

 TX_CTR_RST_N_Q_SCAN
FromToCountThreshold
Bin0129681
Bin1029671

Signal:

 RX_CTR_RST_N_D
FromToCountThreshold
Bin017841
Bin101241

Signal:

 RX_CTR_RST_N_Q_SCAN
FromToCountThreshold
Bin0129681
Bin1029671

Signal:

 TRAN_VALID_Q
FromToCountThreshold
Bin0138201
Bin1044801

Signal:

 REC_VALID_Q
FromToCountThreshold
Bin01115021
Bin10121621

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression on line 156:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse1635806021
BinTrue17376821

"=" expression on line 169:

 tran_valid_q = '1' 
Evaluated toCountThreshold
BinFalse188031
BinTrue38201

"=" expression on line 179:

 mr_command_txfcrst = '1' 
Evaluated toCountThreshold
BinFalse39981
BinTrue1241

"=" expression on line 183:

 mr_command_rxfcrst = '1' 
Evaluated toCountThreshold
BinFalse39981
BinTrue1241

"=" expression on line 229:

 tx_ctr_rst_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse1635761101
BinTrue17424221

"=" expression on line 232:

 tran_valid_q = '1' 
Evaluated toCountThreshold
BinFalse817824211
BinTrue38201

"=" expression on line 243:

 rx_ctr_rst_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse1635761101
BinTrue17424221

"=" expression on line 246:

 rec_valid_q = '1' 
Evaluated toCountThreshold
BinFalse817747391
BinTrue115021

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: