NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.PRESCALER_INST.SEGMENT_END_DETECTOR_INST.SEGM_END_REQ_CAPTURE(1)

File:  /__w/ctu-can-regression/ctu-can-regression/src/prescaler/segment_end_detector.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.SEGMENT_END_DETECTOR_INST.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 261615 items are not displayed.

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

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

Count: 75694457
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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

Signal assignment statement:

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

Signal assignment statement:

203:            '0'
Count: 22105589
Threshold: 1

If statement:

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

Count: 1055177083
Threshold: 1

Signal assignment statement:

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

If statement:

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

Signal assignment statement:

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

Uncovered branches:

Excluded branches:

Covered branches:

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

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

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

202:            '1' when (segm_end_req_capt_clr(i) = '1' or req_input(i) = '1') else 
Evaluated toCountThreshold
BinTrue535888681
BinFalse221055891

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

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

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

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

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

210:                if (segm_end_req_capt_ce(i) = '1') then 
Evaluated toCountThreshold
BinTrue394291581
BinFalse4869451421

Uncovered toggles:

Excluded toggles:

Covered toggles:

Uncovered expressions:

Excluded expressions:

"or" expression

202:            '1' when (segm_end_req_capt_clr(i) = '1' or req_input(i) = '1') else 
                          <------------LHS------------->    <------RHS------->       

LHSRHSCountThresholdExcluded due to
BinTrueFalse01Unreachable

Covered expressions:

"=" expression

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

"=" expression

202:            '1' when (segm_end_req_capt_clr(i) = '1' or req_input(i) = '1') else 
Evaluated toCountThreshold
BinFalse344856661
BinTrue412087911

"=" expression

202:            '1' when (segm_end_req_capt_clr(i) = '1' or req_input(i) = '1') else 
Evaluated toCountThreshold
BinFalse221055891
BinTrue123800771

"or" expression

202:            '1' when (segm_end_req_capt_clr(i) = '1' or req_input(i) = '1') else 
                          <------------LHS------------->    <------RHS------->       

LHSRHSCountThreshold
BinFalseFalse221055891
BinFalseTrue123800771

"=" expression

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

"=" expression

210:                if (segm_end_req_capt_ce(i) = '1') then 
Evaluated toCountThreshold
BinFalse4869451421
BinTrue394291581

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: