NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.PRESCALER_INST.BIT_TIME_COUNTERS_DBT_INST

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


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.PRESCALER_INST.BIT_TIME_COUNTERS_DBT_INST 100.0 % (23/23) 100.0 % (20/20) 100.0 % (108/108) 100.0 % (29/29) N.A. N.A. 100.0 % (180/180)

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 155 to 157:

155:    tq_counter_expired <= '1' when (unsigned(tq_counter_q) = unsigned(brp)) 
156:                              else 
157:                          '0'; 

Count: 79039344
Threshold: 1

Signal assignment statement on line 155:

155:    tq_counter_expired <= '1' when (unsigned(tq_counter_q) = unsigned(brp)) 
Count: 34598889
Threshold: 1

Signal assignment statement on line 157:

157:                          '0'
Count: 44440455
Threshold: 1

If statement on lines 165 to 168:

165:    tq_counter_d <= 
166:        std_logic_vector(C_TQ_RST) when (tq_counter_expired = '1' or tq_reset = '1') 
167:                                   else 
168:        std_logic_vector(unsigned(tq_counter_q) + 1); 

Count: 193857450
Threshold: 1

Signal assignment statement on line 166:

166:        std_logic_vector(C_TQ_RST) when (tq_counter_expired = '1' or tq_reset = '1') 
Count: 113593817
Threshold: 1

Signal assignment statement on line 168:

168:        std_logic_vector(unsigned(tq_counter_q) + 1)
Count: 80263633
Threshold: 1

If statement on lines 172 to 178:

172:        if (res_n = '0') then 
173:            tq_counter_q <= std_logic_vector(C_TQ_RST); 
...
177:            end if; 
178:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 173:

173:            tq_counter_q <= std_logic_vector(C_TQ_RST); 
Count: 2424883
Threshold: 1

If statement on lines 175 to 177:

175:            if (ctrs_en = '1') then 
176:                tq_counter_q <= tq_counter_d; 
177:            end if; 

Count: 543791678
Threshold: 1

Signal assignment statement on line 176:

176:                tq_counter_q <= tq_counter_d; 
Count: 137105515
Threshold: 1

Signal assignment statement on line 184:

184:    tq_edge_i <= tq_counter_expired
Count: 69200970
Threshold: 1

If statement on lines 189 to 190:

189:    segm_counter_d <= C_BT_ZEROES when (bt_reset = '1') else 
190:                      std_logic_vector(unsigned(segm_counter_q) + 1); 

Count: 138353934
Threshold: 1

Signal assignment statement on line 189:

189:    segm_counter_d <= C_BT_ZEROES when (bt_reset = '1') else 
Count: 32799616
Threshold: 1

Signal assignment statement on line 190:

190:                      std_logic_vector(unsigned(segm_counter_q) + 1)
Count: 105554318
Threshold: 1

If statement on lines 192 to 194:

192:    segm_counter_ce <= '1' when (bt_reset = '1') or (tq_edge_i = '1' and ctrs_en = '1') 
193:                           else 
194:                       '0'; 

Count: 114963765
Threshold: 1

Signal assignment statement on line 192:

192:    segm_counter_ce <= '1' when (bt_reset = '1') or (tq_edge_i = '1' and ctrs_en = '1') 
Count: 67395407
Threshold: 1

Signal assignment statement on line 194:

194:                       '0'
Count: 47568358
Threshold: 1

If statement on lines 198 to 204:

198:        if (res_n = '0') then 
199:            segm_counter_q <= (others => '0'); 
...
203:            end if; 
204:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 199:

199:            segm_counter_q <= (others => '0'); 
Count: 2424883
Threshold: 1

If statement on lines 201 to 203:

201:            if (segm_counter_ce = '1') then 
202:                segm_counter_q <= segm_counter_d; 
203:            end if; 

Count: 543791678
Threshold: 1

Signal assignment statement on line 202:

202:                segm_counter_q <= segm_counter_d; 
Count: 105543140
Threshold: 1

Signal assignment statement on line 210:

210:    segm_counter <= segm_counter_q
Count: 92726333
Threshold: 1

Signal assignment statement on line 211:

211:    tq_edge <= tq_edge_i
Count: 69200970
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

155:    tq_counter_expired <= '1' when (unsigned(tq_counter_q) = unsigned(brp)
Evaluated toCountThreshold
BinTrue345988891
BinFalse444404551

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

166:        std_logic_vector(C_TQ_RST) when (tq_counter_expired = '1' or tq_reset = '1'
Evaluated toCountThreshold
BinTrue1135938171
BinFalse802636331

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

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

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

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

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

175:            if (ctrs_en = '1') then 
Evaluated toCountThreshold
BinTrue1371055151
BinFalse4066861631

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

189:    segm_counter_d <= C_BT_ZEROES when (bt_reset = '1') else 
Evaluated toCountThreshold
BinTrue327996161
BinFalse1055543181

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

192:    segm_counter_ce <= '1' when (bt_reset = '1') or (tq_edge_i = '1' and ctrs_en = '1') 
Evaluated toCountThreshold
BinTrue673954071
BinFalse475683581

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

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

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

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

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

201:            if (segm_counter_ce = '1') then 
Evaluated toCountThreshold
BinTrue1055431401
BinFalse4382485381

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:

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

 TQ_RESET
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 BT_RESET
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 CTRS_EN
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 TQ_EDGE
FromToCountThreshold
Bin01345988891
Bin10346004801

Port:

 SEGM_COUNTER
ElementFromToCountThreshold
Bin(6)011416761
Bin(6)101432771
Bin(5)012464191
Bin(5)102480201
Bin(4)017881531
Bin(4)107897541
Bin(3)0144906441
Bin(3)1044922451
Bin(2)01119460101
Bin(2)10119476111
Bin(1)01227671941
Bin(1)10227687951
Bin(0)01423446571
Bin(0)10423462571

Signal:

 TQ_COUNTER_D
ElementFromToCountThreshold
Bin(7)01217151
Bin(7)10233161
Bin(6)01434301
Bin(6)10450311
Bin(5)01868601
Bin(5)10884611
Bin(4)011737351
Bin(4)101753361
Bin(3)013714541
Bin(3)103730551
Bin(2)0146592381
Bin(2)1046608391
Bin(1)01372110701
Bin(1)10372094791
Bin(0)01425639761
Bin(0)10425655671

Signal:

 TQ_COUNTER_Q
ElementFromToCountThreshold
Bin(7)01217151
Bin(7)10233161
Bin(6)01434301
Bin(6)10450311
Bin(5)01868601
Bin(5)10884611
Bin(4)011737351
Bin(4)101753361
Bin(3)013714491
Bin(3)103730501
Bin(2)019541681
Bin(2)109557691
Bin(1)01360176641
Bin(1)10360192641
Bin(0)01376706211
Bin(0)10376690211

Signal:

 TQ_COUNTER_EXPIRED
FromToCountThreshold
Bin01345988891
Bin10346004801

Signal:

 TQ_EDGE_I
FromToCountThreshold
Bin01345988891
Bin10346004801

Signal:

 SEGM_COUNTER_D
ElementFromToCountThreshold
Bin(6)011656781
Bin(6)101672791
Bin(5)012529711
Bin(5)102545721
Bin(4)017952231
Bin(4)107968241
Bin(3)0145084331
Bin(3)1045100341
Bin(2)01119802691
Bin(2)10119818701
Bin(1)01246323671
Bin(1)10246339671
Bin(0)01632064571
Bin(0)10632048571

Signal:

 SEGM_COUNTER_Q
ElementFromToCountThreshold
Bin(6)011416761
Bin(6)101432771
Bin(5)012464191
Bin(5)102480201
Bin(4)017881531
Bin(4)107897541
Bin(3)0144906441
Bin(3)1044922451
Bin(2)01119460101
Bin(2)10119476111
Bin(1)01227671941
Bin(1)10227687951
Bin(0)01423446571
Bin(0)10423462571

Signal:

 SEGM_COUNTER_CE
FromToCountThreshold
Bin01475287211
Bin10475303221

Uncovered expressions:

Excluded expressions:

Covered expressions:

"or" expression on line 166:

 tq_counter_expired = '1' or tq_reset = '1' 
 <---------LHS---------->    <----RHS-----> 

LHSRHSCountThreshold
BinFalseFalse802636331
BinFalseTrue43665701
BinTrueFalse845053741

"=" expression on line 166:

 tq_counter_expired = '1' 
Evaluated toCountThreshold
BinFalse846302031
BinTrue1092272471

"=" expression on line 166:

 tq_reset = '1' 
Evaluated toCountThreshold
BinFalse1647690071
BinTrue290884431

"=" expression on line 172:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 175:

 ctrs_en = '1' 
Evaluated toCountThreshold
BinFalse4066861631
BinTrue1371055151

"=" expression on line 189:

 bt_reset = '1' 
Evaluated toCountThreshold
BinFalse1055543181
BinTrue327996161

"or" expression on line 192:

 (bt_reset = '1') or (tq_edge_i = '1' and ctrs_en = '1') 
  <----LHS----->      <--------------RHS-------------->  

LHSRHSCountThreshold
BinFalseFalse475683581
BinFalseTrue414453881
BinTrueFalse160166791

"=" expression on line 192:

 bt_reset = '1' 
Evaluated toCountThreshold
BinFalse890137461
BinTrue259500191

"and" expression on line 192:

 tq_edge_i = '1' and ctrs_en = '1' 
 <-----LHS----->     <----RHS----> 

LHSRHSCountThreshold
BinFalseTrue377521981
BinTrueFalse233720491
BinTrueTrue513787281

"=" expression on line 192:

 tq_edge_i = '1' 
Evaluated toCountThreshold
BinFalse402129881
BinTrue747507771

"=" expression on line 192:

 ctrs_en = '1' 
Evaluated toCountThreshold
BinFalse258328391
BinTrue891309261

"=" expression on line 198:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 201:

 segm_counter_ce = '1' 
Evaluated toCountThreshold
BinFalse4382485381
BinTrue1055431401

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: