NVC code coverage report

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

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

Sub-instances:

Instance 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)
BIT_GEN(5) 100.0 % (4/4) 100.0 % (6/6) N.A. 100.0 % (4/4) N.A. N.A. 100.0 % (14/14)
BIT_GEN(6) 100.0 % (4/4) 100.0 % (6/6) N.A. 100.0 % (4/4) N.A. N.A. 100.0 % (14/14)

Current Instance:

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_PROP_REG_COMP 100.0 % (1/1) N.A. 100.0 % (54/54) 100.0 % (6/6) N.A. N.A. 100.0 % (61/61)

Details:

The limit of printed items was reached (5000). Total 261615 items are not displayed.

Uncovered statements:

Excluded statements:

Covered statements:

Signal assignment statement:

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

Uncovered branches:

Excluded branches:

Covered branches:

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin01310287601
Bin10310303601

Port:

 RES_N
FromToCountThreshold
Bin0196421
Bin1080421

Port:

 DATA_IN(6)
FromToCountThreshold
Bin011095501
Bin109802951

Port:

 DATA_IN(5)
FromToCountThreshold
Bin011039291
Bin109859161

Port:

 DATA_IN(4)
FromToCountThreshold
Bin011623581
Bin109274871

Port:

 DATA_IN(3)
FromToCountThreshold
Bin011358731
Bin109539721

Port:

 DATA_IN(2)
FromToCountThreshold
Bin011599441
Bin109299011

Port:

 DATA_IN(1)
FromToCountThreshold
Bin012361231
Bin108537221

Port:

 DATA_IN(0)
FromToCountThreshold
Bin011984011
Bin108914441

Port:

 WRITE
FromToCountThreshold
Bin011444971
Bin101460971

Port:

 CS
FromToCountThreshold
Bin0166231
Bin1082231

Port:

 LOCK
FromToCountThreshold
Bin0164821
Bin1080721

Port:

 REG_VALUE(6)
FromToCountThreshold
Bin012021
Bin1018001

Port:

 REG_VALUE(5)
FromToCountThreshold
Bin013121
Bin1019091

Port:

 REG_VALUE(4)
FromToCountThreshold
Bin012231
Bin1018201

Port:

 REG_VALUE(3)
FromToCountThreshold
Bin012731
Bin1018701

Port:

 REG_VALUE(2)
FromToCountThreshold
Bin0138201
Bin1022211

Port:

 REG_VALUE(1)
FromToCountThreshold
Bin012611
Bin1018581

Port:

 REG_VALUE(0)
FromToCountThreshold
Bin0117931
Bin101941

Signal:

 REG_VALUE_R(6)
FromToCountThreshold
Bin012021
Bin1064451

Signal:

 REG_VALUE_R(5)
FromToCountThreshold
Bin013451
Bin1063021

Signal:

 REG_VALUE_R(4)
FromToCountThreshold
Bin012591
Bin1063881

Signal:

 REG_VALUE_R(3)
FromToCountThreshold
Bin013171
Bin1063301

Signal:

 REG_VALUE_R(2)
FromToCountThreshold
Bin0143441
Bin1023031

Signal:

 REG_VALUE_R(1)
FromToCountThreshold
Bin012881
Bin1063591

Signal:

 REG_VALUE_R(0)
FromToCountThreshold
Bin0164531
Bin101941

Signal:

 WR_EN
FromToCountThreshold
Bin0163061
Bin1079061

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression

145:    wr_en <= write and cs and (not lock); 
                 <LHS>    RHS                 

LHSRHSCountThreshold
Bin'0''1'66231
Bin'1''0'1542801
Bin'1''1'63111

"and" expression

145:    wr_en <= write and cs and (not lock)
                 <---LHS---->      <-RHS-->   

LHSRHSCountThreshold
Bin'0''1'555371
Bin'1''0'51
Bin'1''1'63061

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: