NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.MEMORY_REGISTERS_INST.CONTROL_REGISTERS_REG_MAP_COMP.BTR_SJW_REG_COMP

File:  /__w/ctu-can-regression/ctu-can-regression/src/memory_registers/generated/control_registers_reg_map.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
BIT_GEN(0) 100.0 % (4/4) 100.0 % (6/6) N.A. 100.0 % (4/4) N.A. N.A. 100.0 % (14/14)
BIT_GEN(1) 100.0 % (4/4) 100.0 % (6/6) N.A. 100.0 % (4/4) N.A. N.A. 100.0 % (14/14)
BIT_GEN(2) 100.0 % (4/4) 100.0 % (6/6) N.A. 100.0 % (4/4) N.A. N.A. 100.0 % (14/14)
BIT_GEN(3) 100.0 % (4/4) 100.0 % (6/6) N.A. 100.0 % (4/4) N.A. N.A. 100.0 % (14/14)
BIT_GEN(4) 100.0 % (4/4) 100.0 % (6/6) N.A. 100.0 % (4/4) N.A. N.A. 100.0 % (14/14)

Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.MEMORY_REGISTERS_INST.CONTROL_REGISTERS_REG_MAP_COMP.BTR_SJW_REG_COMP 100.0 % (2/2) N.A. 100.0 % (42/42) 100.0 % (6/6) N.A. N.A. 100.0 % (50/50)

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:

Signal assignment statement on line 145:

145:    wr_en <= write and cs and (not lock)
Count: 285010
Threshold: 1

Signal assignment statement on line 168:

168:    reg_value <= reg_value_r
Count: 10049
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RES_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 DATA_IN
ElementFromToCountThresholdExcluded due to
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 WRITE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 CS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 LOCK
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 REG_VALUE
ElementFromToCountThreshold
Bin(4)012041
Bin(4)1018021
Bin(3)012711
Bin(3)1018691
Bin(2)019711
Bin(2)1025681
Bin(1)0126241
Bin(1)1010321
Bin(0)0131161
Bin(0)1047131

Signal:

 REG_VALUE_R
ElementFromToCountThreshold
Bin(4)013241
Bin(4)1081241
Bin(3)013831
Bin(3)1080651
Bin(2)0110801
Bin(2)1073681
Bin(1)0173431
Bin(1)1011051
Bin(0)0132231
Bin(0)1052251

Signal:

 WR_EN
FromToCountThreshold
Bin0163071
Bin1079081

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 145:

 write and cs and (not lock) 
 <---LHS---->      <-RHS-->  

LHSRHSCountThreshold
Bin'0''1'653681
Bin'1''0'51
Bin'1''1'63071

"and" expression on line 145:

 write and cs 
 <LHS>    RHS 

LHSRHSCountThreshold
Bin'0''1'66221
Bin'1''0'1359271
Bin'1''1'63121

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: