NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.CAN_CORE_INST.CAN_CRC_INST.CRC_CALC_17_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_17_RX_INST 100.0 % (14/14) 100.0 % (14/14) 100.0 % (120/120) 100.0 % (21/21) N.A. N.A. 100.0 % (169/169)

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: 6244664
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: 13392042
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

156:            crc_d(G_CRC_WIDTH - 1) <= init_vect_msb; 
Count: 205223
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: 6633708
Threshold: 1

Signal assignment statement:

161:            crc_d <= (crc_q(G_CRC_WIDTH - 2 downto 0) & '0'); 
Count: 6553111
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
BinTrue2052231
BinFalse131868191

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

157:        elsif (crc_nxt = '1') then 
Evaluated toCountThreshold
BinTrue66337081
BinFalse65531111

"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(16)
FromToCountThreshold
Bin0117340391
Bin1017356331

Port:

 CRC(15)
FromToCountThreshold
Bin0117445081
Bin1017461061

Port:

 CRC(14)
FromToCountThreshold
Bin0117590541
Bin1017606511

Port:

 CRC(13)
FromToCountThreshold
Bin0117571561
Bin1017587531

Port:

 CRC(12)
FromToCountThreshold
Bin0116959081
Bin1016975061

Port:

 CRC(11)
FromToCountThreshold
Bin0117105171
Bin1017121151

Port:

 CRC(10)
FromToCountThreshold
Bin0116577181
Bin1016593171

Port:

 CRC(9)
FromToCountThreshold
Bin0116713621
Bin1016729591

Port:

 CRC(8)
FromToCountThreshold
Bin0116859821
Bin1016875811

Port:

 CRC(7)
FromToCountThreshold
Bin0116994371
Bin1017010361

Port:

 CRC(6)
FromToCountThreshold
Bin0117136171
Bin1017152171

Port:

 CRC(5)
FromToCountThreshold
Bin0117133821
Bin1017149781

Port:

 CRC(4)
FromToCountThreshold
Bin0117255401
Bin1017271381

Port:

 CRC(3)
FromToCountThreshold
Bin0117440701
Bin1017456681

Port:

 CRC(2)
FromToCountThreshold
Bin0117139851
Bin1017155841

Port:

 CRC(1)
FromToCountThreshold
Bin0117292861
Bin1017308851

Port:

 CRC(0)
FromToCountThreshold
Bin0117577191
Bin1017593171

Signal:

 CRC_Q(16)
FromToCountThreshold
Bin0135422321
Bin1033799811

Signal:

 CRC_Q(15)
FromToCountThreshold
Bin0117445081
Bin1017533201

Signal:

 CRC_Q(14)
FromToCountThreshold
Bin0117590541
Bin1017694131

Signal:

 CRC_Q(13)
FromToCountThreshold
Bin0117571561
Bin1017670921

Signal:

 CRC_Q(12)
FromToCountThreshold
Bin0116959081
Bin1017059721

Signal:

 CRC_Q(11)
FromToCountThreshold
Bin0117105171
Bin1017197511

Signal:

 CRC_Q(10)
FromToCountThreshold
Bin0116577181
Bin1016666441

Signal:

 CRC_Q(9)
FromToCountThreshold
Bin0116713621
Bin1016803401

Signal:

 CRC_Q(8)
FromToCountThreshold
Bin0116859821
Bin1016962821

Signal:

 CRC_Q(7)
FromToCountThreshold
Bin0116994371
Bin1017098261

Signal:

 CRC_Q(6)
FromToCountThreshold
Bin0117136171
Bin1017235471

Signal:

 CRC_Q(5)
FromToCountThreshold
Bin0117133821
Bin1017237311

Signal:

 CRC_Q(4)
FromToCountThreshold
Bin0117255401
Bin1017346411

Signal:

 CRC_Q(3)
FromToCountThreshold
Bin0117440701
Bin1017542241

Signal:

 CRC_Q(2)
FromToCountThreshold
Bin0117139851
Bin1017232981

Signal:

 CRC_Q(1)
FromToCountThreshold
Bin0117292861
Bin1017381061

Signal:

 CRC_Q(0)
FromToCountThreshold
Bin0117577191
Bin1017680211

Signal:

 CRC_NXT
FromToCountThreshold
Bin0131215291
Bin1031199351

Signal:

 CRC_D(16)
FromToCountThreshold
Bin0167233091
Bin1065665121

Signal:

 CRC_D(15)
FromToCountThreshold
Bin0117590561
Bin1018379921

Signal:

 CRC_D(14)
FromToCountThreshold
Bin0148678131
Bin1049586221

Signal:

 CRC_D(13)
FromToCountThreshold
Bin0148061771
Bin1048952301

Signal:

 CRC_D(12)
FromToCountThreshold
Bin0117105171
Bin1017873591

Signal:

 CRC_D(11)
FromToCountThreshold
Bin0147680631
Bin1048549611

Signal:

 CRC_D(10)
FromToCountThreshold
Bin0116713651
Bin1017452381

Signal:

 CRC_D(9)
FromToCountThreshold
Bin0116859841
Bin1017656291

Signal:

 CRC_D(8)
FromToCountThreshold
Bin0116994411
Bin1017789351

Signal:

 CRC_D(7)
FromToCountThreshold
Bin0117136211
Bin1017956581

Signal:

 CRC_D(6)
FromToCountThreshold
Bin0148234001
Bin1049138341

Signal:

 CRC_D(5)
FromToCountThreshold
Bin0117255441
Bin1017947291

Signal:

 CRC_D(4)
FromToCountThreshold
Bin0148538931
Bin1049431831

Signal:

 CRC_D(3)
FromToCountThreshold
Bin0148237981
Bin1049019231

Signal:

 CRC_D(2)
FromToCountThreshold
Bin0117292901
Bin1018088561

Signal:

 CRC_D(1)
FromToCountThreshold
Bin0148679541
Bin1049627331

Signal:

 CRC_D(0)
FromToCountThreshold
Bin0131222031
Bin1031980091

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'15312631
Bin'0''1'16063371
Bin'1''0'15151921
Bin'1''1'15886721

"=" expression

154:        if (load_init_vect = '1') then 
Evaluated toCountThreshold
BinFalse131868191
BinTrue2052231

"=" expression

157:        elsif (crc_nxt = '1') then 
Evaluated toCountThreshold
BinFalse65531111
BinTrue66337081

"=" 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: