NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.MEMORY_REGISTERS_INST.CONTROL_REGISTERS_REG_MAP_COMP.BTR_FD_BRP_FD_SLICE_1_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)

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_FD_BRP_FD_SLICE_1_REG_COMP 100.0 % (1/1) N.A. 100.0 % (42/42) 100.0 % (6/6) N.A. N.A. 100.0 % (49/49)

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: 284294
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(4)
FromToCountThreshold
Bin01709311
Bin1010189141

Port:

 DATA_IN(3)
FromToCountThreshold
Bin011081381
Bin109817071

Port:

 DATA_IN(2)
FromToCountThreshold
Bin01748671
Bin1010149781

Port:

 DATA_IN(1)
FromToCountThreshold
Bin01804681
Bin1010093771

Port:

 DATA_IN(0)
FromToCountThreshold
Bin011100091
Bin109798361

Port:

 WRITE
FromToCountThreshold
Bin011257571
Bin101273571

Port:

 CS
FromToCountThreshold
Bin0167131
Bin1083131

Port:

 LOCK
FromToCountThreshold
Bin0164821
Bin1080721

Port:

 REG_VALUE(4)
FromToCountThreshold
Bin01281
Bin1016281

Port:

 REG_VALUE(3)
FromToCountThreshold
Bin01251
Bin1016251

Port:

 REG_VALUE(2)
FromToCountThreshold
Bin0148431
Bin1032531

Port:

 REG_VALUE(1)
FromToCountThreshold
Bin017581
Bin1023561

Port:

 REG_VALUE(0)
FromToCountThreshold
Bin0126001
Bin1041921

Signal:

 REG_VALUE_R(4)
FromToCountThreshold
Bin01281
Bin1081481

Signal:

 REG_VALUE_R(3)
FromToCountThreshold
Bin01251
Bin1081511

Signal:

 REG_VALUE_R(2)
FromToCountThreshold
Bin0148671
Bin1033091

Signal:

 REG_VALUE_R(1)
FromToCountThreshold
Bin017641
Bin1074121

Signal:

 REG_VALUE_R(0)
FromToCountThreshold
Bin0126311
Bin1055451

Signal:

 WR_EN
FromToCountThreshold
Bin0163461
Bin1079461

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression

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

LHSRHSCountThreshold
Bin'0''1'67131
Bin'1''0'1354791
Bin'1''1'63511

"and" expression

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

LHSRHSCountThreshold
Bin'0''1'655201
Bin'1''0'51
Bin'1''1'63461

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: