NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.CAN_CRC_INST.CRC_CALC_21_RX_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/can_core/crc_calc.vhd

Sub-instances:

Instance Statement Branch Toggle Expression FSM state Functional Average

Current Instance:

Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.CAN_CRC_INST.CRC_CALC_21_RX_INST 100.0 % (14/14) 100.0 % (14/14) 100.0 % (144/144) 100.0 % (21/21) N.A. N.A. 100.0 % (193/193)

Details:

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

Uncovered statements:

Excluded statements:

Covered statements:

Signal assignment statement:

150:    crc_nxt         <= data_in xor crc_q(G_CRC_WIDTH - 1)
Count: 6253281
Threshold: 1

If statement:

154:        if (load_init_vect = '1') then 
155:            crc_d <= (others => '0'); 
...
161:            crc_d <= (crc_q(G_CRC_WIDTH - 2 downto 0) & '0'); 
162:        end if; 

Count: 13400672
Threshold: 1

Signal assignment statement:

155:            crc_d <= (others => '0'); 
Count: 207890
Threshold: 1

Signal assignment statement:

156:            crc_d(G_CRC_WIDTH - 1) <= init_vect_msb; 
Count: 207890
Threshold: 1

Signal assignment statement:

158:            crc_d <= (crc_q(G_CRC_WIDTH - 2 downto 0) & '0') xor 
159:                      G_POLYNOMIAL(G_CRC_WIDTH - 1 downto 0); 

Count: 6567241
Threshold: 1

Signal assignment statement:

161:            crc_d <= (crc_q(G_CRC_WIDTH - 2 downto 0) & '0'); 
Count: 6625541
Threshold: 1

If statement:

165:    crc_ce <= '1' when (load_init_vect = '1') else 
166:              '1' when (enable = '1' and trig = '1') else 
167:              '0'; 

Count: 22330801
Threshold: 1

Signal assignment statement:

165:    crc_ce <= '1' when (load_init_vect = '1') else 
Count: 112514
Threshold: 1

Signal assignment statement:

166:              '1' when (enable = '1' and trig = '1') else 
Count: 6895167
Threshold: 1

Signal assignment statement:

167:              '0'
Count: 15323120
Threshold: 1

If statement:

174:        if (res_n = '0') then 
175:            crc_q             <= (others => '0'); 
...
179:            end if; 
180:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

175:            crc_q             <= (others => '0'); 
Count: 2418499
Threshold: 1

If statement:

177:            if (crc_ce = '1') then 
178:                crc_q <= crc_d; 
179:            end if; 

Count: 526374300
Threshold: 1

Signal assignment statement:

178:                crc_q <= crc_d; 
Count: 6966803
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition:

154:        if (load_init_vect = '1') then 
Evaluated toCountThreshold
BinTrue2078901
BinFalse131927821

"if" / "when" / "else" condition:

157:        elsif (crc_nxt = '1') then 
Evaluated toCountThreshold
BinTrue65672411
BinFalse66255411

"if" / "when" / "else" condition:

165:    crc_ce <= '1' when (load_init_vect = '1') else 
Evaluated toCountThreshold
BinTrue1125141
BinFalse222182871

"if" / "when" / "else" condition:

166:              '1' when (enable = '1' and trig = '1') else 
Evaluated toCountThreshold
BinTrue68951671
BinFalse153231201

"if" / "when" / "else" condition:

174:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24184991
BinFalse10527585841

"if" / "when" / "else" condition:

176:        elsif rising_edge(clk_sys) then 
Evaluated toCountThreshold
BinTrue5263743001
BinFalse5263842841

"if" / "when" / "else" condition:

177:            if (crc_ce = '1') then 
Evaluated toCountThreshold
BinTrue69668031
BinFalse5194074971

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 DATA_IN
FromToCountThreshold
Bin0113874961
Bin1013858961

Port:

 TRIG
FromToCountThreshold
Bin01110431481
Bin10110447481

Port:

 ENABLE
FromToCountThreshold
Bin01612721
Bin10628721

Port:

 INIT_VECT_MSB
FromToCountThreshold
Bin0117301
Bin1017301

Port:

 LOAD_INIT_VECT
FromToCountThreshold
Bin011125141
Bin101141141

Port:

 CRC(20)
FromToCountThreshold
Bin0117383481
Bin1017399411

Port:

 CRC(19)
FromToCountThreshold
Bin0116944921
Bin1016960891

Port:

 CRC(18)
FromToCountThreshold
Bin0117091821
Bin1017107801

Port:

 CRC(17)
FromToCountThreshold
Bin0117236681
Bin1017252661

Port:

 CRC(16)
FromToCountThreshold
Bin0117364281
Bin1017380271

Port:

 CRC(15)
FromToCountThreshold
Bin0117495371
Bin1017511351

Port:

 CRC(14)
FromToCountThreshold
Bin0117625071
Bin1017641051

Port:

 CRC(13)
FromToCountThreshold
Bin0117774461
Bin1017790441

Port:

 CRC(12)
FromToCountThreshold
Bin0117181461
Bin1017197431

Port:

 CRC(11)
FromToCountThreshold
Bin0117332931
Bin1017348921

Port:

 CRC(10)
FromToCountThreshold
Bin0117239641
Bin1017255601

Port:

 CRC(9)
FromToCountThreshold
Bin0117376631
Bin1017392611

Port:

 CRC(8)
FromToCountThreshold
Bin0117533501
Bin1017549451

Port:

 CRC(7)
FromToCountThreshold
Bin0117685681
Bin1017701681

Port:

 CRC(6)
FromToCountThreshold
Bin0117103051
Bin1017119021

Port:

 CRC(5)
FromToCountThreshold
Bin0117240001
Bin1017255971

Port:

 CRC(4)
FromToCountThreshold
Bin0117371311
Bin1017387291

Port:

 CRC(3)
FromToCountThreshold
Bin0117532391
Bin1017548371

Port:

 CRC(2)
FromToCountThreshold
Bin0117522041
Bin1017538001

Port:

 CRC(1)
FromToCountThreshold
Bin0117648511
Bin1017664491

Port:

 CRC(0)
FromToCountThreshold
Bin0117778381
Bin1017794341

Signal:

 CRC_Q(20)
FromToCountThreshold
Bin0135223401
Bin1033998861

Signal:

 CRC_Q(19)
FromToCountThreshold
Bin0116944921
Bin1017037011

Signal:

 CRC_Q(18)
FromToCountThreshold
Bin0117091821
Bin1017181201

Signal:

 CRC_Q(17)
FromToCountThreshold
Bin0117236681
Bin1017340741

Signal:

 CRC_Q(16)
FromToCountThreshold
Bin0117364281
Bin1017467181

Signal:

 CRC_Q(15)
FromToCountThreshold
Bin0117495371
Bin1017595171

Signal:

 CRC_Q(14)
FromToCountThreshold
Bin0117625071
Bin1017725361

Signal:

 CRC_Q(13)
FromToCountThreshold
Bin0117774461
Bin1017878101

Signal:

 CRC_Q(12)
FromToCountThreshold
Bin0117181461
Bin1017282521

Signal:

 CRC_Q(11)
FromToCountThreshold
Bin0117332931
Bin1017424731

Signal:

 CRC_Q(10)
FromToCountThreshold
Bin0117239641
Bin1017344761

Signal:

 CRC_Q(9)
FromToCountThreshold
Bin0117376631
Bin1017467891

Signal:

 CRC_Q(8)
FromToCountThreshold
Bin0117533501
Bin1017626521

Signal:

 CRC_Q(7)
FromToCountThreshold
Bin0117685681
Bin1017785411

Signal:

 CRC_Q(6)
FromToCountThreshold
Bin0117103051
Bin1017194691

Signal:

 CRC_Q(5)
FromToCountThreshold
Bin0117240001
Bin1017339691

Signal:

 CRC_Q(4)
FromToCountThreshold
Bin0117371311
Bin1017458941

Signal:

 CRC_Q(3)
FromToCountThreshold
Bin0117532391
Bin1017622001

Signal:

 CRC_Q(2)
FromToCountThreshold
Bin0117522041
Bin1017614521

Signal:

 CRC_Q(1)
FromToCountThreshold
Bin0117648511
Bin1017739341

Signal:

 CRC_Q(0)
FromToCountThreshold
Bin0117778381
Bin1017866171

Signal:

 CRC_NXT
FromToCountThreshold
Bin0131258371
Bin1031242441

Signal:

 CRC_D(20)
FromToCountThreshold
Bin0167210451
Bin1065747481

Signal:

 CRC_D(19)
FromToCountThreshold
Bin0117091831
Bin1017869191

Signal:

 CRC_D(18)
FromToCountThreshold
Bin0117236711
Bin1018051801

Signal:

 CRC_D(17)
FromToCountThreshold
Bin0117364331
Bin1018132451

Signal:

 CRC_D(16)
FromToCountThreshold
Bin0117495421
Bin1018302641

Signal:

 CRC_D(15)
FromToCountThreshold
Bin0117625121
Bin1018376431

Signal:

 CRC_D(14)
FromToCountThreshold
Bin0117774501
Bin1018588701

Signal:

 CRC_D(13)
FromToCountThreshold
Bin0148313801
Bin1049121331

Signal:

 CRC_D(12)
FromToCountThreshold
Bin0117332941
Bin1018145981

Signal:

 CRC_D(11)
FromToCountThreshold
Bin0148367871
Bin1049248841

Signal:

 CRC_D(10)
FromToCountThreshold
Bin0117376661
Bin1018113621

Signal:

 CRC_D(9)
FromToCountThreshold
Bin0117533561
Bin1018333351

Signal:

 CRC_D(8)
FromToCountThreshold
Bin0117685691
Bin1018525981

Signal:

 CRC_D(7)
FromToCountThreshold
Bin0148241821
Bin1049118611

Signal:

 CRC_D(6)
FromToCountThreshold
Bin0117240021
Bin1017998451

Signal:

 CRC_D(5)
FromToCountThreshold
Bin0117371341
Bin1018080391

Signal:

 CRC_D(4)
FromToCountThreshold
Bin0148669491
Bin1049544371

Signal:

 CRC_D(3)
FromToCountThreshold
Bin0148641131
Bin1049456101

Signal:

 CRC_D(2)
FromToCountThreshold
Bin0117648531
Bin1018422571

Signal:

 CRC_D(1)
FromToCountThreshold
Bin0117778391
Bin1018549461

Signal:

 CRC_D(0)
FromToCountThreshold
Bin0131267001
Bin1032112331

Signal:

 CRC_CE
FromToCountThreshold
Bin0170076811
Bin1070092811

Uncovered expressions:

Excluded expressions:

Covered expressions:

"xor" expression

150:    crc_nxt         <= data_in xor crc_q(G_CRC_WIDTH - 1)
                           <-LHS->     <--------RHS--------->  

LHSRHSCountThreshold
Bin'0''0'15364741
Bin'0''1'15476041
Bin'1''0'15782331
Bin'1''1'15877701

"=" expression

154:        if (load_init_vect = '1') then 
Evaluated toCountThreshold
BinFalse131927821
BinTrue2078901

"=" expression

157:        elsif (crc_nxt = '1') then 
Evaluated toCountThreshold
BinFalse66255411
BinTrue65672411

"=" expression

165:    crc_ce <= '1' when (load_init_vect = '1') else 
Evaluated toCountThreshold
BinFalse222182871
BinTrue1125141

"=" expression

166:              '1' when (enable = '1' and trig = '1') else 
Evaluated toCountThreshold
BinFalse84248361
BinTrue137934511

"=" expression

166:              '1' when (enable = '1' and trig = '1') else 
Evaluated toCountThreshold
BinFalse111709481
BinTrue110473391

"and" expression

166:              '1' when (enable = '1' and trig = '1') else 
                            <---LHS---->     <--RHS--->       

LHSRHSCountThreshold
BinFalseTrue41521721
BinTrueFalse68982841
BinTrueTrue68951671

"=" expression

174:        if (res_n = '0') then 
Evaluated toCountThreshold
BinFalse10527585841
BinTrue24184991

"=" expression

177:            if (crc_ce = '1') then 
Evaluated toCountThreshold
BinFalse5194074971
BinTrue69668031

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: