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(2)

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(2) 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: 64233816
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

199:                                  req_input(i)
Count: 32114571
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: 64233816
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

203:            '0'
Count: 22084123
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: 28691701
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
BinTrue321192451
BinFalse321145711

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

202:            '1' when (segm_end_req_capt_clr(i) = '1' or req_input(i) = '1') else 
Evaluated toCountThreshold
BinTrue421496931
BinFalse220841231

"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
BinTrue286917011
BinFalse4976825991

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
BinFalse321145711
BinTrue321192451

"=" expression

202:            '1' when (segm_end_req_capt_clr(i) = '1' or req_input(i) = '1') else 
Evaluated toCountThreshold
BinFalse321145711
BinTrue321192451

"=" expression

202:            '1' when (segm_end_req_capt_clr(i) = '1' or req_input(i) = '1') else 
Evaluated toCountThreshold
BinFalse220841231
BinTrue100304481

"or" expression

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

LHSRHSCountThreshold
BinFalseFalse220841231
BinFalseTrue100304481

"=" expression

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

"=" expression

210:                if (segm_end_req_capt_ce(i) = '1') then 
Evaluated toCountThreshold
BinFalse4976825991
BinTrue286917011

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: