NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.MEMORY_REGISTERS_INST.TEST_REGISTERS_GEN_TRUE.TEST_REGISTERS_REG_MAP_COMP.TST_DEST_TST_MTGT_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)

Current Instance:

Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.MEMORY_REGISTERS_INST.TEST_REGISTERS_GEN_TRUE.TEST_REGISTERS_REG_MAP_COMP.TST_DEST_TST_MTGT_REG_COMP 100.0 % (1/1) N.A. 100.0 % (36/36) 100.0 % (6/6) N.A. N.A. 100.0 % (43/43)

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

Uncovered branches:

Excluded branches:

Covered branches:

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin01132674591
Bin10132690591

Port:

 RES_N
FromToCountThreshold
Bin0196421
Bin1080421

Port:

 DATA_IN(3)
FromToCountThreshold
Bin011100091
Bin109798361

Port:

 DATA_IN(2)
FromToCountThreshold
Bin011315581
Bin109582871

Port:

 DATA_IN(1)
FromToCountThreshold
Bin011239511
Bin109658941

Port:

 DATA_IN(0)
FromToCountThreshold
Bin011935131
Bin108963321

Port:

 WRITE
FromToCountThreshold
Bin012192471
Bin102208471

Port:

 CS
FromToCountThreshold
Bin011350781
Bin101366781

Port:

 LOCK
FromToCountThreshold
Bin0126261
Bin1010271

Port:

 REG_VALUE(3)
FromToCountThreshold
Bin012351
Bin1018351

Port:

 REG_VALUE(2)
FromToCountThreshold
Bin013741
Bin1019741

Port:

 REG_VALUE(1)
FromToCountThreshold
Bin015141
Bin1021141

Port:

 REG_VALUE(0)
FromToCountThreshold
Bin019791
Bin1025791

Signal:

 REG_VALUE_R(3)
FromToCountThreshold
Bin014691
Bin1033511

Signal:

 REG_VALUE_R(2)
FromToCountThreshold
Bin0110951
Bin1027251

Signal:

 REG_VALUE_R(1)
FromToCountThreshold
Bin0110911
Bin1027291

Signal:

 REG_VALUE_R(0)
FromToCountThreshold
Bin0110791
Bin1027411

Signal:

 WR_EN
FromToCountThreshold
Bin01908481
Bin10924481

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression

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

LHSRHSCountThreshold
Bin'0''1'1350781
Bin'1''0'2192471
Bin'1''1'1350681

"and" expression

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

LHSRHSCountThreshold
Bin'0''1'4054291
Bin'1''0'442201
Bin'1''1'908481

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: