NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.PRESCALER_INST.BIT_TIME_COUNTERS_NBT_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_NBT_INST 100.0 % (23/23) 100.0 % (20/20) 100.0 % (114/114) 100.0 % (29/29) N.A. N.A. 100.0 % (186/186)

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

Signal assignment statement on line 155:

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

Signal assignment statement on line 157:

157:                          '0'
Count: 230618698
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: 573020659
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: 242003696
Threshold: 1

Signal assignment statement on line 168:

168:        std_logic_vector(unsigned(tq_counter_q) + 1)
Count: 331016963
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: 543790077
Threshold: 1

Signal assignment statement on line 184:

184:    tq_edge_i <= tq_counter_expired
Count: 197857615
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: 363175134
Threshold: 1

Signal assignment statement on line 189:

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

Signal assignment statement on line 190:

190:                      std_logic_vector(unsigned(segm_counter_q) + 1)
Count: 317581325
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: 243498170
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: 138697177
Threshold: 1

Signal assignment statement on line 194:

194:                       '0'
Count: 104800993
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: 317565218
Threshold: 1

Signal assignment statement on line 210:

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

Signal assignment statement on line 211:

211:    tq_edge <= tq_edge_i
Count: 197857615
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
BinTrue989272081
BinFalse2306186981

"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
BinTrue2420036961
BinFalse3310169631

"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
BinTrue5437900771
BinFalse16011

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

189:    segm_counter_d <= C_BT_ZEROES when (bt_reset = '1') else 
Evaluated toCountThreshold
BinTrue455938091
BinFalse3175813251

"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
BinTrue1386971771
BinFalse1048009931

"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
BinTrue3175652181
BinFalse2262264601

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
Bin01989272081
Bin10989288061

Port:

 SEGM_COUNTER
ElementFromToCountThreshold
Bin(7)015677621
Bin(7)105693631
Bin(6)019162301
Bin(6)109178301
Bin(5)0132110031
Bin(5)1032126041
Bin(4)0169240961
Bin(4)1069256971
Bin(3)01153959311
Bin(3)10153975301
Bin(2)01376541001
Bin(2)10376557001
Bin(1)01789395011
Bin(1)10789410991
Bin(0)011511430991
Bin(0)101511446951

Signal:

 TQ_COUNTER_D
ElementFromToCountThreshold
Bin(7)0121891
Bin(7)1037901
Bin(6)0143781
Bin(6)1059791
Bin(5)01197241
Bin(5)10213251
Bin(4)01549631
Bin(4)10565641
Bin(3)018208071
Bin(3)108224081
Bin(2)01650682371
Bin(2)10650698351
Bin(1)011062909231
Bin(1)101062893281
Bin(0)011722620361
Bin(0)101722636331

Signal:

 TQ_COUNTER_Q
ElementFromToCountThreshold
Bin(7)0121891
Bin(7)1037901
Bin(6)0143781
Bin(6)1059791
Bin(5)0187561
Bin(5)10103571
Bin(4)01549631
Bin(4)10565641
Bin(3)018207881
Bin(3)108223891
Bin(2)01530560951
Bin(2)10530576961
Bin(1)011048009991
Bin(1)101048025951
Bin(0)011587497671
Bin(0)101587481681

Signal:

 TQ_COUNTER_EXPIRED
FromToCountThreshold
Bin01989272081
Bin10989288061

Signal:

 TQ_EDGE_I
FromToCountThreshold
Bin01989272081
Bin10989288061

Signal:

 SEGM_COUNTER_D
ElementFromToCountThreshold
Bin(7)015677881
Bin(7)105693891
Bin(6)0111933361
Bin(6)1011949361
Bin(5)0132191251
Bin(5)1032207261
Bin(4)0171128941
Bin(4)1071144951
Bin(3)01157286811
Bin(3)10157302801
Bin(2)01410884591
Bin(2)10410900591
Bin(1)01822341871
Bin(1)10822357801
Bin(0)011664314801
Bin(0)101664298841

Signal:

 SEGM_COUNTER_Q
ElementFromToCountThreshold
Bin(7)015677621
Bin(7)105693631
Bin(6)019162301
Bin(6)109178301
Bin(5)0132110031
Bin(5)1032126041
Bin(4)0169240961
Bin(4)1069256971
Bin(3)01153959311
Bin(3)10153975301
Bin(2)01376541001
Bin(2)10376557001
Bin(1)01789395011
Bin(1)10789410991
Bin(0)011511430991
Bin(0)101511446951

Signal:

 SEGM_COUNTER_CE
FromToCountThreshold
Bin011047862361
Bin101047878341

Uncovered expressions:

Excluded expressions:

Covered expressions:

"or" expression on line 166:

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

LHSRHSCountThreshold
BinFalseFalse3310169631
BinFalseTrue143296171
BinTrueFalse2066303401

"=" expression on line 166:

 tq_counter_expired = '1' 
Evaluated toCountThreshold
BinFalse3453465801
BinTrue2276740791

"=" expression on line 166:

 tq_reset = '1' 
Evaluated toCountThreshold
BinFalse5376473031
BinTrue353733561

"=" expression on line 172:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 175:

 ctrs_en = '1' 
Evaluated toCountThreshold
BinFalse16011
BinTrue5437900771

"=" expression on line 189:

 bt_reset = '1' 
Evaluated toCountThreshold
BinFalse3175813251
BinTrue455938091

"or" expression on line 192:

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

LHSRHSCountThreshold
BinFalseFalse1048009931
BinFalseTrue1117951781
BinTrueFalse99465401

"=" expression on line 192:

 bt_reset = '1' 
Evaluated toCountThreshold
BinFalse2165961711
BinTrue269019991

"and" expression on line 192:

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

LHSRHSCountThreshold
BinFalseTrue1147303631
BinTrueFalse73601
BinTrueTrue1287506371

"=" expression on line 192:

 tq_edge_i = '1' 
Evaluated toCountThreshold
BinFalse1147401731
BinTrue1287579971

"=" expression on line 192:

 ctrs_en = '1' 
Evaluated toCountThreshold
BinFalse171701
BinTrue2434810001

"=" expression on line 198:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 201:

 segm_counter_ce = '1' 
Evaluated toCountThreshold
BinFalse2262264601
BinTrue3175652181

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: