NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MR_TOP.G_TEST_REGISTERS_TRUE.I_TEST_REGISTERS_REG_MAP.I_TST_DEST_TST_MTGT_REG

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/memory_registers/generated/test_registers_reg_map.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
G_BIT(0) 100.0 % (4/4) 100.0 % (6/6) N.A. 100.0 % (4/4) N.A. N.A. 100.0 % (14/14)
G_BIT(1) 100.0 % (4/4) 100.0 % (6/6) N.A. 100.0 % (4/4) N.A. N.A. 100.0 % (14/14)
G_BIT(2) 100.0 % (4/4) 100.0 % (6/6) N.A. 100.0 % (4/4) N.A. N.A. 100.0 % (14/14)
G_BIT(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 Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MR_TOP.G_TEST_REGISTERS_TRUE.I_TEST_REGISTERS_REG_MAP.I_TST_DEST_TST_MTGT_REG 100.0 % (2/2) N.A. 100.0 % (36/36) 100.0 % (6/6) N.A. N.A. 100.0 % (44/44)

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

Signal assignment statement on line 168:

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

Uncovered branches:

Excluded branches:

Covered branches:

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RST_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 DATA_IN
ElementFromToCountThresholdExcluded due to
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(3)012361
Bin(3)1018371
Bin(2)013751
Bin(2)1019761
Bin(1)015171
Bin(1)1021181
Bin(0)019791
Bin(0)1025801

Signal:

 REG_VALUE_R
ElementFromToCountThreshold
Bin(3)014711
Bin(3)1033501
Bin(2)0110871
Bin(2)1027341
Bin(1)0110911
Bin(1)1027301
Bin(0)0110791
Bin(0)1027421

Signal:

 WR_EN
FromToCountThreshold
Bin01908781
Bin10924791

Uncovered expressions:

Excluded expressions:

Covered expressions:

"and" expression on line 145:

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

LHSRHSCountThreshold
Bin'0''1'4055791
Bin'1''0'442201
Bin'1''1'908781

"and" expression on line 145:

 write and cs 
 <LHS>    RHS 

LHSRHSCountThreshold
Bin'0''1'1351081
Bin'1''0'2193071
Bin'1''1'1350981

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: