NVC code coverage report

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/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_DBT_INST 100.0 % (20/20) 100.0 % (20/20) 100.0 % (108/108) 100.0 % (29/29) N.A. N.A. 100.0 % (177/177)

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

Signal assignment statement:

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

Signal assignment statement:

157:                          '0'
Count: 44913956
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: 194418437
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

168:        std_logic_vector(unsigned(tq_counter_q) + 1)
Count: 81147539
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: 138063946
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: 137448518
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

190:                      std_logic_vector(unsigned(segm_counter_q) + 1)
Count: 105291210
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: 114556919
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

194:                       '0'
Count: 47311501
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: 105279971
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
BinTrue350912991
BinFalse449139561

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

166:        std_logic_vector(C_TQ_RST) when (tq_counter_expired = '1' or tq_reset = '1'
Evaluated toCountThreshold
BinTrue1132708981
BinFalse811475391

"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
BinTrue1380639461
BinFalse3883103541

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

189:    segm_counter_d <= C_BT_ZEROES when (bt_reset = '1') else 
Evaluated toCountThreshold
BinTrue321573081
BinFalse1052912101

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

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

"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
BinTrue1052799711
BinFalse4210943291

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 BRP(7)
FromToCountThreshold
Bin01191
Bin1016191

Port:

 BRP(6)
FromToCountThreshold
Bin01271
Bin1016271

Port:

 BRP(5)
FromToCountThreshold
Bin01181
Bin1016181

Port:

 BRP(4)
FromToCountThreshold
Bin01281
Bin1016281

Port:

 BRP(3)
FromToCountThreshold
Bin01251
Bin1016251

Port:

 BRP(2)
FromToCountThreshold
Bin0148431
Bin1032531

Port:

 BRP(1)
FromToCountThreshold
Bin017581
Bin1023561

Port:

 BRP(0)
FromToCountThreshold
Bin0126001
Bin1041921

Port:

 TQ_RESET
FromToCountThreshold
Bin01221181201
Bin10221197201

Port:

 BT_RESET
FromToCountThreshold
Bin01221181201
Bin10221197201

Port:

 CTRS_EN
FromToCountThreshold
Bin01666451
Bin10682451

Port:

 TQ_EDGE
FromToCountThreshold
Bin01350912991
Bin10350928901

Port:

 SEGM_COUNTER(6)
FromToCountThreshold
Bin011425541
Bin101441541

Port:

 SEGM_COUNTER(5)
FromToCountThreshold
Bin012467451
Bin102483451

Port:

 SEGM_COUNTER(4)
FromToCountThreshold
Bin017948951
Bin107964951

Port:

 SEGM_COUNTER(3)
FromToCountThreshold
Bin0145198401
Bin1045214401

Port:

 SEGM_COUNTER(2)
FromToCountThreshold
Bin01120023191
Bin10120039191

Port:

 SEGM_COUNTER(1)
FromToCountThreshold
Bin01228765951
Bin10228781951

Port:

 SEGM_COUNTER(0)
FromToCountThreshold
Bin01425735901
Bin10425751901

Signal:

 TQ_COUNTER_D(7)
FromToCountThreshold
Bin01217151
Bin10233151

Signal:

 TQ_COUNTER_D(6)
FromToCountThreshold
Bin01434301
Bin10450301

Signal:

 TQ_COUNTER_D(5)
FromToCountThreshold
Bin01868601
Bin10884601

Signal:

 TQ_COUNTER_D(4)
FromToCountThreshold
Bin011760241
Bin101776241

Signal:

 TQ_COUNTER_D(3)
FromToCountThreshold
Bin013683301
Bin103699301

Signal:

 TQ_COUNTER_D(2)
FromToCountThreshold
Bin0147537501
Bin1047553501

Signal:

 TQ_COUNTER_D(1)
FromToCountThreshold
Bin01376226791
Bin10376210881

Signal:

 TQ_COUNTER_D(0)
FromToCountThreshold
Bin01430699171
Bin10430715081

Signal:

 TQ_COUNTER_Q(7)
FromToCountThreshold
Bin01217151
Bin10233151

Signal:

 TQ_COUNTER_Q(6)
FromToCountThreshold
Bin01434301
Bin10450301

Signal:

 TQ_COUNTER_Q(5)
FromToCountThreshold
Bin01868601
Bin10884601

Signal:

 TQ_COUNTER_Q(4)
FromToCountThreshold
Bin011760241
Bin101776241

Signal:

 TQ_COUNTER_Q(3)
FromToCountThreshold
Bin013642801
Bin103658801

Signal:

 TQ_COUNTER_Q(2)
FromToCountThreshold
Bin018611951
Bin108627951

Signal:

 TQ_COUNTER_Q(1)
FromToCountThreshold
Bin01364941461
Bin10364957451

Signal:

 TQ_COUNTER_Q(0)
FromToCountThreshold
Bin01380492491
Bin10380476501

Signal:

 TQ_COUNTER_EXPIRED
FromToCountThreshold
Bin01350912991
Bin10350928901

Signal:

 TQ_EDGE_I
FromToCountThreshold
Bin01350912991
Bin10350928901

Signal:

 SEGM_COUNTER_D(6)
FromToCountThreshold
Bin011679491
Bin101695491

Signal:

 SEGM_COUNTER_D(5)
FromToCountThreshold
Bin012530651
Bin102546651

Signal:

 SEGM_COUNTER_D(4)
FromToCountThreshold
Bin018005851
Bin108021851

Signal:

 SEGM_COUNTER_D(3)
FromToCountThreshold
Bin0145361191
Bin1045377191

Signal:

 SEGM_COUNTER_D(2)
FromToCountThreshold
Bin01120355731
Bin10120371731

Signal:

 SEGM_COUNTER_D(1)
FromToCountThreshold
Bin01247704171
Bin10247720171

Signal:

 SEGM_COUNTER_D(0)
FromToCountThreshold
Bin01627144181
Bin10627128181

Signal:

 SEGM_COUNTER_Q(6)
FromToCountThreshold
Bin011425541
Bin101441541

Signal:

 SEGM_COUNTER_Q(5)
FromToCountThreshold
Bin012467451
Bin102483451

Signal:

 SEGM_COUNTER_Q(4)
FromToCountThreshold
Bin017948951
Bin107964951

Signal:

 SEGM_COUNTER_Q(3)
FromToCountThreshold
Bin0145198401
Bin1045214401

Signal:

 SEGM_COUNTER_Q(2)
FromToCountThreshold
Bin01120023191
Bin10120039191

Signal:

 SEGM_COUNTER_Q(1)
FromToCountThreshold
Bin01228765951
Bin10228781951

Signal:

 SEGM_COUNTER_Q(0)
FromToCountThreshold
Bin01425735901
Bin10425751901

Signal:

 SEGM_COUNTER_CE
FromToCountThreshold
Bin01472724151
Bin10472740151

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
BinFalse854570291
BinTrue1089614081

"=" expression

166:        std_logic_vector(C_TQ_RST) when (tq_counter_expired = '1' or tq_reset = '1'
Evaluated toCountThreshold
BinFalse1659750431
BinTrue284433941

"or" expression

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

LHSRHSCountThreshold
BinFalseFalse811475391
BinFalseTrue43094901
BinTrueFalse848275041

"=" expression

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

"=" expression

175:            if (ctrs_en = '1') then 
Evaluated toCountThreshold
BinFalse3883103541
BinTrue1380639461

"=" expression

189:    segm_counter_d <= C_BT_ZEROES when (bt_reset = '1') else 
Evaluated toCountThreshold
BinFalse1052912101
BinTrue321573081

"=" expression

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

"=" expression

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

"=" expression

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

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue382690351
BinTrueFalse220391601
BinTrueTrue519518631

"or" expression

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

LHSRHSCountThreshold
BinFalseFalse473115011
BinFalseTrue419653671
BinTrueFalse152935551

"=" expression

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

"=" expression

201:            if (segm_counter_ce = '1') then 
Evaluated toCountThreshold
BinFalse4210943291
BinTrue1052799711

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: