NVC code coverage report

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/bit_time_counters.vhd

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average

Current Instance:

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 % (20/20) 100.0 % (20/20) 100.0 % (114/114) 100.0 % (29/29) N.A. N.A. 100.0 % (183/183)

Details:

The limit of printed items was reached (5000). Total 261615 items are not displayed.

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

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

Count: 321839935
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

157:                          '0'
Count: 225114367
Threshold: 1

If statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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

Count: 1055177083
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 526374300
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 349890012
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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

Count: 237705127
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

194:                       '0'
Count: 102613825
Threshold: 1

If statement:

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

Count: 1055177083
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 526374300
Threshold: 1

Signal assignment statement:

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

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition:

155:    tq_counter_expired <= '1' when (unsigned(tq_counter_q) = unsigned(brp)
Evaluated toCountThreshold
BinTrue967255681
BinFalse2251143671

"if" / "when" / "else" condition:

166:        std_logic_vector(C_TQ_RST) when (tq_counter_expired = '1' or tq_reset = '1'
Evaluated toCountThreshold
BinTrue2362134241
BinFalse3233082391

"if" / "when" / "else" condition:

172:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24184991
BinFalse10527585841

"if" / "when" / "else" condition:

174:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263743001
BinFalse5263842841

"if" / "when" / "else" condition:

175:            if (ctrs_en = '1') then 
Evaluated toCountThreshold
BinTrue5263727001
BinFalse16001

"if" / "when" / "else" condition:

189:    segm_counter_d <= C_BT_ZEROES when (bt_reset = '1') else 
Evaluated toCountThreshold
BinTrue442044591
BinFalse3056855531

"if" / "when" / "else" condition:

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

"if" / "when" / "else" condition:

198:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24184991
BinFalse10527585841

"if" / "when" / "else" condition:

200:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5263743001
BinFalse5263842841

"if" / "when" / "else" condition:

201:            if (segm_counter_ce = '1') then 
Evaluated toCountThreshold
BinTrue3056693941
BinFalse2207049061

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 BRP(7)
FromToCountThreshold
Bin01131
Bin1016131

Port:

 BRP(6)
FromToCountThreshold
Bin01121
Bin1016121

Port:

 BRP(5)
FromToCountThreshold
Bin01131
Bin1016131

Port:

 BRP(4)
FromToCountThreshold
Bin01171
Bin1016171

Port:

 BRP(3)
FromToCountThreshold
Bin0148311
Bin1032411

Port:

 BRP(2)
FromToCountThreshold
Bin019281
Bin1025231

Port:

 BRP(1)
FromToCountThreshold
Bin0147621
Bin1031691

Port:

 BRP(0)
FromToCountThreshold
Bin0123151
Bin1039121

Port:

 TQ_RESET
FromToCountThreshold
Bin01221181201
Bin10221197201

Port:

 BT_RESET
FromToCountThreshold
Bin01221181201
Bin10221197201

Port:

 CTRS_EN
FromToCountThreshold
Bin0164821
Bin1080721

Port:

 TQ_EDGE
FromToCountThreshold
Bin01967255681
Bin10967271651

Port:

 SEGM_COUNTER(7)
FromToCountThreshold
Bin015395811
Bin105411811

Port:

 SEGM_COUNTER(6)
FromToCountThreshold
Bin018912641
Bin108928631

Port:

 SEGM_COUNTER(5)
FromToCountThreshold
Bin0130712221
Bin1030728221

Port:

 SEGM_COUNTER(4)
FromToCountThreshold
Bin0166447661
Bin1066463651

Port:

 SEGM_COUNTER(3)
FromToCountThreshold
Bin01147816501
Bin10147832481

Port:

 SEGM_COUNTER(2)
FromToCountThreshold
Bin01361140691
Bin10361156691

Port:

 SEGM_COUNTER(1)
FromToCountThreshold
Bin01759471701
Bin10759487671

Port:

 SEGM_COUNTER(0)
FromToCountThreshold
Bin011455610481
Bin101455626451

Signal:

 TQ_COUNTER_D(7)
FromToCountThreshold
Bin0121821
Bin1037821

Signal:

 TQ_COUNTER_D(6)
FromToCountThreshold
Bin0143641
Bin1059641

Signal:

 TQ_COUNTER_D(5)
FromToCountThreshold
Bin01167271
Bin10183271

Signal:

 TQ_COUNTER_D(4)
FromToCountThreshold
Bin01643841
Bin10659841

Signal:

 TQ_COUNTER_D(3)
FromToCountThreshold
Bin016573971
Bin106589971

Signal:

 TQ_COUNTER_D(2)
FromToCountThreshold
Bin01637990321
Bin10638006301

Signal:

 TQ_COUNTER_D(1)
FromToCountThreshold
Bin011038211761
Bin101038195811

Signal:

 TQ_COUNTER_D(0)
FromToCountThreshold
Bin011683660631
Bin101683676591

Signal:

 TQ_COUNTER_Q(7)
FromToCountThreshold
Bin0121821
Bin1037821

Signal:

 TQ_COUNTER_Q(6)
FromToCountThreshold
Bin0143641
Bin1059641

Signal:

 TQ_COUNTER_Q(5)
FromToCountThreshold
Bin0187281
Bin10103281

Signal:

 TQ_COUNTER_Q(4)
FromToCountThreshold
Bin01643841
Bin10659841

Signal:

 TQ_COUNTER_Q(3)
FromToCountThreshold
Bin016573771
Bin106589771

Signal:

 TQ_COUNTER_Q(2)
FromToCountThreshold
Bin01518515751
Bin10518531751

Signal:

 TQ_COUNTER_Q(1)
FromToCountThreshold
Bin011023468121
Bin101023484081

Signal:

 TQ_COUNTER_Q(0)
FromToCountThreshold
Bin011549370201
Bin101549354221

Signal:

 TQ_COUNTER_EXPIRED
FromToCountThreshold
Bin01967255681
Bin10967271651

Signal:

 TQ_EDGE_I
FromToCountThreshold
Bin01967255681
Bin10967271651

Signal:

 SEGM_COUNTER_D(7)
FromToCountThreshold
Bin015396111
Bin105412111

Signal:

 SEGM_COUNTER_D(6)
FromToCountThreshold
Bin0111585231
Bin1011601221

Signal:

 SEGM_COUNTER_D(5)
FromToCountThreshold
Bin0130789381
Bin1030805381

Signal:

 SEGM_COUNTER_D(4)
FromToCountThreshold
Bin0168349111
Bin1068365101

Signal:

 SEGM_COUNTER_D(3)
FromToCountThreshold
Bin01151215191
Bin10151231171

Signal:

 SEGM_COUNTER_D(2)
FromToCountThreshold
Bin01395720011
Bin10395736011

Signal:

 SEGM_COUNTER_D(1)
FromToCountThreshold
Bin01792565371
Bin10792581311

Signal:

 SEGM_COUNTER_D(0)
FromToCountThreshold
Bin011601176971
Bin101601161001

Signal:

 SEGM_COUNTER_Q(7)
FromToCountThreshold
Bin015395811
Bin105411811

Signal:

 SEGM_COUNTER_Q(6)
FromToCountThreshold
Bin018912641
Bin108928631

Signal:

 SEGM_COUNTER_Q(5)
FromToCountThreshold
Bin0130712221
Bin1030728221

Signal:

 SEGM_COUNTER_Q(4)
FromToCountThreshold
Bin0166447661
Bin1066463651

Signal:

 SEGM_COUNTER_Q(3)
FromToCountThreshold
Bin01147816501
Bin10147832481

Signal:

 SEGM_COUNTER_Q(2)
FromToCountThreshold
Bin01361140691
Bin10361156691

Signal:

 SEGM_COUNTER_Q(1)
FromToCountThreshold
Bin01759471701
Bin10759487671

Signal:

 SEGM_COUNTER_Q(0)
FromToCountThreshold
Bin011455610481
Bin101455626451

Signal:

 SEGM_COUNTER_CE
FromToCountThreshold
Bin011025990811
Bin101026006781

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

166:        std_logic_vector(C_TQ_RST) when (tq_counter_expired = '1' or tq_reset = '1') 
Evaluated toCountThreshold
BinFalse3375151191
BinTrue2220065441

"=" expression

166:        std_logic_vector(C_TQ_RST) when (tq_counter_expired = '1' or tq_reset = '1'
Evaluated toCountThreshold
BinFalse5251348671
BinTrue343867961

"or" expression

166:        std_logic_vector(C_TQ_RST) when (tq_counter_expired = '1' or tq_reset = '1'
                                             <---------LHS---------->    <----RHS----->  

LHSRHSCountThreshold
BinFalseFalse3233082391
BinFalseTrue142068801
BinTrueFalse2018266281

"=" expression

172:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse10527585841
BinTrue24184991

"=" expression

175:            if (ctrs_en = '1') then 
Evaluated toCountThreshold
BinFalse16001
BinTrue5263727001

"=" expression

189:    segm_counter_d <= C_BT_ZEROES when (bt_reset = '1') else 
Evaluated toCountThreshold
BinFalse3056855531
BinTrue442044591

"=" expression

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

"=" expression

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

"=" expression

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

"and" expression

192:    segm_counter_ce <= '1' when (bt_reset = '1') or (tq_edge_i = '1' and ctrs_en = '1'
                                                         <-----LHS----->     <----RHS---->  

LHSRHSCountThreshold
BinFalseTrue1124032601
BinTrueFalse73051
BinTrueTrue1252847441

"or" expression

192:    segm_counter_ce <= '1' when (bt_reset = '1') or (tq_edge_i = '1' and ctrs_en = '1') 
                                     <----LHS----->      <--------------RHS-------------->  

LHSRHSCountThreshold
BinFalseFalse1026138251
BinFalseTrue1090386501
BinTrueFalse98065581

"=" expression

198:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse10527585841
BinTrue24184991

"=" expression

201:            if (segm_counter_ce = '1') then 
Evaluated toCountThreshold
BinFalse2207049061
BinTrue3056693941

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: