NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BTL_TOP.I_BTL_SEGMENT_END_DETECTOR.G_SEGM_END_REQ_CAPTURE(1)

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/bit_timing_logic/btl_segment_end_detector.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BTL_TOP.I_BTL_SEGMENT_END_DETECTOR.G_SEGM_END_REQ_CAPTURE(1) 100.0 % (10/10) 100.0 % (10/10) N.A. 100.0 % (13/13) N.A. N.A. 100.0 % (33/33)

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 198 to 199:

198:        segm_end_req_capt_d(i) <= '0' when (segm_end_req_capt_clr(i) = '1') else 
199:                                  req_input(i); 

Count: 78758464
Threshold: 1

Signal assignment statement on line 198:

198:        segm_end_req_capt_d(i) <= '0' when (segm_end_req_capt_clr(i) = '1') else 
Count: 42723527
Threshold: 1

Signal assignment statement on line 199:

199:                                  req_input(i)
Count: 36034937
Threshold: 1

If statement on lines 201 to 203:

201:        segm_end_req_capt_ce(i) <= 
202:            '1' when (segm_end_req_capt_clr(i) = '1' or req_input(i) = '1') else 
203:            '0'; 

Count: 78758464
Threshold: 1

Signal assignment statement on line 202:

202:            '1' when (segm_end_req_capt_clr(i) = '1' or req_input(i) = '1') else 
Count: 55876619
Threshold: 1

Signal assignment statement on line 203:

203:            '0'
Count: 22881845
Threshold: 1

If statement on lines 207 to 213:

207:            if (rst_n = '0') then 
208:                segm_end_req_capt_q(i) <= '0'; 
...
212:                end if; 
213:            end if; 

Count: 1096781321
Threshold: 1

Signal assignment statement on line 208:

208:                segm_end_req_capt_q(i) <= '0'; 
Count: 2422674
Threshold: 1

If statement on lines 210 to 212:

210:                if (segm_end_req_capt_ce(i) = '1') then 
211:                    segm_end_req_capt_q(i) <= segm_end_req_capt_d(i); 
212:                end if; 

Count: 547174334
Threshold: 1

Signal assignment statement on line 211:

211:                    segm_end_req_capt_q(i) <= segm_end_req_capt_d(i); 
Count: 40854150
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

198:        segm_end_req_capt_d(i) <= '0' when (segm_end_req_capt_clr(i) = '1') else 
Evaluated toCountThreshold
BinTrue427235271
BinFalse360349371

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

202:            '1' when (segm_end_req_capt_clr(i) = '1' or req_input(i) = '1') else 
Evaluated toCountThreshold
BinTrue558766191
BinFalse228818451

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

207:            if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue24226741
BinFalse10943586471

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

209:            elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471743341
BinFalse5471843131

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

210:                if (segm_end_req_capt_ce(i) = '1') then 
Evaluated toCountThreshold
BinTrue408541501
BinFalse5063201841

Uncovered toggles:

Excluded toggles:

Covered toggles:

Uncovered expressions:

Excluded expressions:

"or" expression on line 202:

 segm_end_req_capt_clr(i) = '1' or req_input(i) = '1' 
 <------------LHS------------->    <------RHS-------> 

LHSRHSCountThresholdExcluded due to
BinTrueFalse01Unreachable

Covered expressions:

"=" expression on line 198:

 segm_end_req_capt_clr(i) = '1' 
Evaluated toCountThreshold
BinFalse360349371
BinTrue427235271

"or" expression on line 202:

 segm_end_req_capt_clr(i) = '1' or req_input(i) = '1' 
 <------------LHS------------->    <------RHS-------> 

LHSRHSCountThreshold
BinFalseFalse228818451
BinFalseTrue131530921

"=" expression on line 202:

 segm_end_req_capt_clr(i) = '1' 
Evaluated toCountThreshold
BinFalse360349371
BinTrue427235271

"=" expression on line 202:

 req_input(i) = '1' 
Evaluated toCountThreshold
BinFalse228818451
BinTrue131530921

"=" expression on line 207:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 210:

 segm_end_req_capt_ce(i) = '1' 
Evaluated toCountThreshold
BinFalse5063201841
BinTrue408541501

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: