NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.BUS_SAMPLING_INST.SSP_GENERATOR_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/bus_sampling/ssp_generator.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.BUS_SAMPLING_INST.SSP_GENERATOR_INST 100.0 % (55/55) 100.0 % (56/56) 100.0 % (262/262) 100.0 % (65/65) N.A. N.A. 100.0 % (438/438)

Details:

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

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

172:    btmc_meas_running_d <= '0' when (btmc_reset = '1') else 
173:                           '1' when (dbt_measure_start = '1' and tx_trigger = '1') else 
174:                           '0' when (tx_trigger = '1') else 
175:                           btmc_meas_running_q; 

Count: 22157630
Threshold: 1

Signal assignment statement:

172:    btmc_meas_running_d <= '0' when (btmc_reset = '1') else 
Count: 84387
Threshold: 1

Signal assignment statement:

173:                           '1' when (dbt_measure_start = '1' and tx_trigger = '1') else 
Count: 4646
Threshold: 1

Signal assignment statement:

174:                           '0' when (tx_trigger = '1') else 
Count: 11015873
Threshold: 1

Signal assignment statement:

175:                           btmc_meas_running_q
Count: 11052724
Threshold: 1

If statement:

179:        if (res_n = '0') then 
180:            btmc_meas_running_q <= '0'; 
181:        elsif (rising_edge(clk_sys)) then 
182:            btmc_meas_running_q <= btmc_meas_running_d; 
183:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

180:            btmc_meas_running_q <= '0'; 
Count: 2418499
Threshold: 1

Signal assignment statement:

182:            btmc_meas_running_q <= btmc_meas_running_d; 
Count: 526374300
Threshold: 1

If statement:

192:    btmc_d <= (others => '0') when (btmc_reset = '1') else 
193:                     btmc_add when (btmc_meas_running_q = '1') else 
194:                       btmc_q; 

Count: 503013
Threshold: 1

Signal assignment statement:

192:    btmc_d <= (others => '0') when (btmc_reset = '1') else 
Count: 31755
Threshold: 1

Signal assignment statement:

193:                     btmc_add when (btmc_meas_running_q = '1') else 
Count: 431065
Threshold: 1

Signal assignment statement:

194:                       btmc_q
Count: 40193
Threshold: 1

Signal assignment statement:

196:    btmc_add <= std_logic_vector(unsigned(btmc_q) + 1)
Count: 222216
Threshold: 1

If statement:

198:    btmc_ce <= '1' when (btmc_d /= btmc_q) else 
199:               '0'; 

Count: 442832
Threshold: 1

Signal assignment statement:

198:    btmc_ce <= '1' when (btmc_d /= btmc_q) else 
Count: 220616
Threshold: 1

Signal assignment statement:

199:               '0'
Count: 222216
Threshold: 1

If statement:

203:        if (res_n = '0') then 
204:            btmc_q <= (others => '0'); 
...
208:            end if; 
209:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

204:            btmc_q <= (others => '0'); 
Count: 2418499
Threshold: 1

If statement:

206:            if (btmc_ce = '1') then 
207:                btmc_q <= btmc_d; 
208:            end if; 

Count: 526374300
Threshold: 1

Signal assignment statement:

207:                btmc_q <= btmc_d; 
Count: 218506
Threshold: 1

If statement:

217:    first_ssp_d <= '1' when (gen_first_ssp = '1'and tx_trigger = '1') else 
218:                   '0' when (sspc_expired = '1') else 
219:                   first_ssp_q; 

Count: 22485587
Threshold: 1

Signal assignment statement:

217:    first_ssp_d <= '1' when (gen_first_ssp = '1'and tx_trigger = '1') else 
Count: 6969
Threshold: 1

Signal assignment statement:

218:                   '0' when (sspc_expired = '1') else 
Count: 21738706
Threshold: 1

Signal assignment statement:

219:                   first_ssp_q
Count: 739912
Threshold: 1

If statement:

223:        if (res_n = '0') then 
224:            first_ssp_q <= '0'; 
225:        elsif (rising_edge(clk_sys)) then 
226:            first_ssp_q <= first_ssp_d; 
227:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

224:            first_ssp_q <= '0'; 
Count: 2418499
Threshold: 1

Signal assignment statement:

226:            first_ssp_q <= first_ssp_d; 
Count: 526374300
Threshold: 1

If statement:

236:    sspc_ena_d <= '1' when (gen_first_ssp = '1' and tx_trigger = '1') else 
237:                  '0' when (ssp_enable = '0') else 
238:                  sspc_ena_q; 

Count: 22112109
Threshold: 1

Signal assignment statement:

236:    sspc_ena_d <= '1' when (gen_first_ssp = '1' and tx_trigger = '1') else 
Count: 4646
Threshold: 1

Signal assignment statement:

237:                  '0' when (ssp_enable = '0') else 
Count: 21720194
Threshold: 1

Signal assignment statement:

238:                  sspc_ena_q
Count: 387269
Threshold: 1

If statement:

242:        if (res_n = '0') then 
243:            sspc_ena_q <= '0'; 
244:        elsif (rising_edge(clk_sys)) then 
245:            sspc_ena_q <= sspc_ena_d; 
246:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

243:            sspc_ena_q <= '0'; 
Count: 2418499
Threshold: 1

Signal assignment statement:

245:            sspc_ena_q <= sspc_ena_d; 
Count: 526374300
Threshold: 1

If statement:

260:    sspc_threshold <= resize(unsigned(ssp_delay), G_SSP_CTRS_WIDTH) when (first_ssp_q = '1') 
261:                                                                    else 
262:                      unsigned(btmc_q); 

Count: 226103
Threshold: 1

Signal assignment statement:

260:    sspc_threshold <= resize(unsigned(ssp_delay), G_SSP_CTRS_WIDTH) when (first_ssp_q = '1') 
Count: 25636
Threshold: 1

Signal assignment statement:

262:                      unsigned(btmc_q)
Count: 200467
Threshold: 1

If statement:

264:    sspc_expired <= '1' when (sspc_q >= sspc_threshold) else 
265:                    '0'; 

Count: 8976142
Threshold: 1

Signal assignment statement:

264:    sspc_expired <= '1' when (sspc_q >= sspc_threshold) else 
Count: 193249
Threshold: 1

Signal assignment statement:

265:                    '0'
Count: 8782893
Threshold: 1

Signal assignment statement:

267:    sspc_add <= sspc_q + 1
Count: 8778647
Threshold: 1

If statement:

274:    sspc_d <= C_SSPC_RST_VAL when (btmc_reset = '1' or sspc_expired = '1') else 
275:                    sspc_add when (sspc_ena_q = '1') else 
276:                      sspc_q; 

Count: 17623721
Threshold: 1

Signal assignment statement:

274:    sspc_d <= C_SSPC_RST_VAL when (btmc_reset = '1' or sspc_expired = '1') else 
Count: 442612
Threshold: 1

Signal assignment statement:

275:                    sspc_add when (sspc_ena_q = '1') else 
Count: 17168194
Threshold: 1

Signal assignment statement:

276:                      sspc_q
Count: 12915
Threshold: 1

If statement:

278:    sspc_ce <= '1' when (sspc_d /= sspc_q) else 
279:               '0'; 

Count: 17555694
Threshold: 1

Signal assignment statement:

278:    sspc_ce <= '1' when (sspc_d /= sspc_q) else 
Count: 8778647
Threshold: 1

Signal assignment statement:

279:               '0'
Count: 8777047
Threshold: 1

If statement:

283:        if (res_n = '0') then 
284:            sspc_q <= C_SSPC_RST_VAL; 
...
288:            end if; 
289:        end if; 

Count: 1055177083
Threshold: 1

Signal assignment statement:

284:            sspc_q <= C_SSPC_RST_VAL; 
Count: 2418499
Threshold: 1

If statement:

286:            if (sspc_ce = '1') then 
287:                sspc_q <= sspc_d; 
288:            end if; 

Count: 526374300
Threshold: 1

Signal assignment statement:

287:                sspc_q <= sspc_d; 
Count: 8776864
Threshold: 1

If statement:

295:    sample_sec <= '1' when (sspc_expired = '1' and sspc_ena_q = '1') else 
296:                  '0'; 

Count: 394344
Threshold: 1

Signal assignment statement:

295:    sample_sec <= '1' when (sspc_expired = '1' and sspc_ena_q = '1') else 
Count: 190334
Threshold: 1

Signal assignment statement:

296:                  '0'
Count: 204010
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

172:    btmc_meas_running_d <= '0' when (btmc_reset = '1') else 
Evaluated toCountThreshold
BinTrue843871
BinFalse220732431

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

173:                           '1' when (dbt_measure_start = '1' and tx_trigger = '1') else 
Evaluated toCountThreshold
BinTrue46461
BinFalse220685971

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

174:                           '0' when (tx_trigger = '1') else 
Evaluated toCountThreshold
BinTrue110158731
BinFalse110527241

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

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

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

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

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

192:    btmc_d <= (others => '0') when (btmc_reset = '1') else 
Evaluated toCountThreshold
BinTrue317551
BinFalse4712581

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

193:                     btmc_add when (btmc_meas_running_q = '1') else 
Evaluated toCountThreshold
BinTrue4310651
BinFalse401931

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

198:    btmc_ce <= '1' when (btmc_d /= btmc_q) else 
Evaluated toCountThreshold
BinTrue2206161
BinFalse2222161

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

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

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

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

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

206:            if (btmc_ce = '1') then 
Evaluated toCountThreshold
BinTrue2185061
BinFalse5261557941

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

217:    first_ssp_d <= '1' when (gen_first_ssp = '1'and tx_trigger = '1') else 
Evaluated toCountThreshold
BinTrue69691
BinFalse224786181

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

218:                   '0' when (sspc_expired = '1') else 
Evaluated toCountThreshold
BinTrue217387061
BinFalse7399121

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

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

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

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

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

236:    sspc_ena_d <= '1' when (gen_first_ssp = '1' and tx_trigger = '1') else 
Evaluated toCountThreshold
BinTrue46461
BinFalse221074631

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

237:                  '0' when (ssp_enable = '0') else 
Evaluated toCountThreshold
BinTrue217201941
BinFalse3872691

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

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

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

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

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

260:    sspc_threshold <= resize(unsigned(ssp_delay), G_SSP_CTRS_WIDTH) when (first_ssp_q = '1'
Evaluated toCountThreshold
BinTrue256361
BinFalse2004671

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

264:    sspc_expired <= '1' when (sspc_q >= sspc_threshold) else 
Evaluated toCountThreshold
BinTrue1932491
BinFalse87828931

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

274:    sspc_d <= C_SSPC_RST_VAL when (btmc_reset = '1' or sspc_expired = '1') else 
Evaluated toCountThreshold
BinTrue4426121
BinFalse171811091

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

275:                    sspc_add when (sspc_ena_q = '1') else 
Evaluated toCountThreshold
BinTrue171681941
BinFalse129151

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

278:    sspc_ce <= '1' when (sspc_d /= sspc_q) else 
Evaluated toCountThreshold
BinTrue87786471
BinFalse87770471

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

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

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

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

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

286:            if (sspc_ce = '1') then 
Evaluated toCountThreshold
BinTrue87768641
BinFalse5175974361

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

295:    sample_sec <= '1' when (sspc_expired = '1' and sspc_ena_q = '1') else 
Evaluated toCountThreshold
BinTrue1903341
BinFalse2040101

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 BTMC_RESET
FromToCountThreshold
Bin01281291
Bin10297291

Port:

 DBT_MEASURE_START
FromToCountThreshold
Bin0123231
Bin1039231

Port:

 GEN_FIRST_SSP
FromToCountThreshold
Bin0123231
Bin1039231

Port:

 SSP_DELAY(8)
FromToCountThreshold
Bin01111
Bin1016111

Port:

 SSP_DELAY(7)
FromToCountThreshold
Bin01321
Bin1016321

Port:

 SSP_DELAY(6)
FromToCountThreshold
Bin01421
Bin1016421

Port:

 SSP_DELAY(5)
FromToCountThreshold
Bin01661
Bin1016661

Port:

 SSP_DELAY(4)
FromToCountThreshold
Bin01571
Bin1016571

Port:

 SSP_DELAY(3)
FromToCountThreshold
Bin012681
Bin1018681

Port:

 SSP_DELAY(2)
FromToCountThreshold
Bin019311
Bin1025311

Port:

 SSP_DELAY(1)
FromToCountThreshold
Bin012391
Bin1018391

Port:

 SSP_DELAY(0)
FromToCountThreshold
Bin019081
Bin1025081

Port:

 SSP_ENABLE
FromToCountThreshold
Bin0142061
Bin1058061

Port:

 TX_TRIGGER
FromToCountThreshold
Bin01110440031
Bin10110456021

Port:

 SAMPLE_SEC
FromToCountThreshold
Bin011903341
Bin101919341

Signal:

 BTMC_D(14)
FromToCountThreshold
Bin0151
Bin1016051

Signal:

 BTMC_D(13)
FromToCountThreshold
Bin01101
Bin1016101

Signal:

 BTMC_D(12)
FromToCountThreshold
Bin01201
Bin1016201

Signal:

 BTMC_D(11)
FromToCountThreshold
Bin01401
Bin1016401

Signal:

 BTMC_D(10)
FromToCountThreshold
Bin01851
Bin1016851

Signal:

 BTMC_D(9)
FromToCountThreshold
Bin011631
Bin1017631

Signal:

 BTMC_D(8)
FromToCountThreshold
Bin013391
Bin1019391

Signal:

 BTMC_D(7)
FromToCountThreshold
Bin016861
Bin1022861

Signal:

 BTMC_D(6)
FromToCountThreshold
Bin0113861
Bin1029861

Signal:

 BTMC_D(5)
FromToCountThreshold
Bin0135351
Bin1051351

Signal:

 BTMC_D(4)
FromToCountThreshold
Bin0164001
Bin1080001

Signal:

 BTMC_D(3)
FromToCountThreshold
Bin01134521
Bin10150521

Signal:

 BTMC_D(2)
FromToCountThreshold
Bin01276541
Bin10292541

Signal:

 BTMC_D(1)
FromToCountThreshold
Bin01538351
Bin10554351

Signal:

 BTMC_D(0)
FromToCountThreshold
Bin011090841
Bin101106841

Signal:

 BTMC_Q(14)
FromToCountThreshold
Bin0151
Bin1016051

Signal:

 BTMC_Q(13)
FromToCountThreshold
Bin01101
Bin1016101

Signal:

 BTMC_Q(12)
FromToCountThreshold
Bin01201
Bin1016201

Signal:

 BTMC_Q(11)
FromToCountThreshold
Bin01401
Bin1016401

Signal:

 BTMC_Q(10)
FromToCountThreshold
Bin01851
Bin1016851

Signal:

 BTMC_Q(9)
FromToCountThreshold
Bin011631
Bin1017631

Signal:

 BTMC_Q(8)
FromToCountThreshold
Bin013391
Bin1019391

Signal:

 BTMC_Q(7)
FromToCountThreshold
Bin016861
Bin1022861

Signal:

 BTMC_Q(6)
FromToCountThreshold
Bin0113861
Bin1029861

Signal:

 BTMC_Q(5)
FromToCountThreshold
Bin0135351
Bin1051351

Signal:

 BTMC_Q(4)
FromToCountThreshold
Bin0164001
Bin1080001

Signal:

 BTMC_Q(3)
FromToCountThreshold
Bin01134521
Bin10150521

Signal:

 BTMC_Q(2)
FromToCountThreshold
Bin01276541
Bin10292541

Signal:

 BTMC_Q(1)
FromToCountThreshold
Bin01538351
Bin10554351

Signal:

 BTMC_Q(0)
FromToCountThreshold
Bin011090831
Bin101106831

Signal:

 BTMC_ADD(14)
FromToCountThreshold
Bin0151
Bin1016051

Signal:

 BTMC_ADD(13)
FromToCountThreshold
Bin01101
Bin1016101

Signal:

 BTMC_ADD(12)
FromToCountThreshold
Bin01201
Bin1016201

Signal:

 BTMC_ADD(11)
FromToCountThreshold
Bin01401
Bin1016401

Signal:

 BTMC_ADD(10)
FromToCountThreshold
Bin01851
Bin1016851

Signal:

 BTMC_ADD(9)
FromToCountThreshold
Bin011631
Bin1017631

Signal:

 BTMC_ADD(8)
FromToCountThreshold
Bin013391
Bin1019391

Signal:

 BTMC_ADD(7)
FromToCountThreshold
Bin016861
Bin1022861

Signal:

 BTMC_ADD(6)
FromToCountThreshold
Bin0113861
Bin1029861

Signal:

 BTMC_ADD(5)
FromToCountThreshold
Bin0135351
Bin1051351

Signal:

 BTMC_ADD(4)
FromToCountThreshold
Bin0164081
Bin1080081

Signal:

 BTMC_ADD(3)
FromToCountThreshold
Bin01134571
Bin10150571

Signal:

 BTMC_ADD(2)
FromToCountThreshold
Bin01276611
Bin10292611

Signal:

 BTMC_ADD(1)
FromToCountThreshold
Bin01552881
Bin10568881

Signal:

 BTMC_ADD(0)
FromToCountThreshold
Bin011106831
Bin101090831

Signal:

 BTMC_CE
FromToCountThreshold
Bin012206161
Bin102222161

Signal:

 BTMC_MEAS_RUNNING_D
FromToCountThreshold
Bin0123231
Bin1039231

Signal:

 BTMC_MEAS_RUNNING_Q
FromToCountThreshold
Bin0123231
Bin1039231

Signal:

 SSPC_D(14)
FromToCountThreshold
Bin011651
Bin1017651

Signal:

 SSPC_D(13)
FromToCountThreshold
Bin013251
Bin1019251

Signal:

 SSPC_D(12)
FromToCountThreshold
Bin016551
Bin1022551

Signal:

 SSPC_D(11)
FromToCountThreshold
Bin0113101
Bin1029101

Signal:

 SSPC_D(10)
FromToCountThreshold
Bin0127801
Bin1043801

Signal:

 SSPC_D(9)
FromToCountThreshold
Bin0153651
Bin1069651

Signal:

 SSPC_D(8)
FromToCountThreshold
Bin01111181
Bin10127181

Signal:

 SSPC_D(7)
FromToCountThreshold
Bin01224101
Bin10240101

Signal:

 SSPC_D(6)
FromToCountThreshold
Bin01454981
Bin10470981

Signal:

 SSPC_D(5)
FromToCountThreshold
Bin011462021
Bin101478021

Signal:

 SSPC_D(4)
FromToCountThreshold
Bin012419771
Bin102435771

Signal:

 SSPC_D(3)
FromToCountThreshold
Bin015352371
Bin105368371

Signal:

 SSPC_D(2)
FromToCountThreshold
Bin0111467171
Bin1011483171

Signal:

 SSPC_D(1)
FromToCountThreshold
Bin0121624231
Bin1021640231

Signal:

 SSPC_D(0)
FromToCountThreshold
Bin0143237821
Bin1043221821

Signal:

 SSPC_Q(14)
FromToCountThreshold
Bin011651
Bin1017651

Signal:

 SSPC_Q(13)
FromToCountThreshold
Bin013251
Bin1019251

Signal:

 SSPC_Q(12)
FromToCountThreshold
Bin016551
Bin1022551

Signal:

 SSPC_Q(11)
FromToCountThreshold
Bin0113101
Bin1029101

Signal:

 SSPC_Q(10)
FromToCountThreshold
Bin0127801
Bin1043801

Signal:

 SSPC_Q(9)
FromToCountThreshold
Bin0153651
Bin1069651

Signal:

 SSPC_Q(8)
FromToCountThreshold
Bin01111181
Bin10127181

Signal:

 SSPC_Q(7)
FromToCountThreshold
Bin01224101
Bin10240101

Signal:

 SSPC_Q(6)
FromToCountThreshold
Bin01454981
Bin10470981

Signal:

 SSPC_Q(5)
FromToCountThreshold
Bin011462021
Bin101478021

Signal:

 SSPC_Q(4)
FromToCountThreshold
Bin012419771
Bin102435771

Signal:

 SSPC_Q(3)
FromToCountThreshold
Bin015352371
Bin105368371

Signal:

 SSPC_Q(2)
FromToCountThreshold
Bin0111467171
Bin1011483171

Signal:

 SSPC_Q(1)
FromToCountThreshold
Bin0121624231
Bin1021640231

Signal:

 SSPC_Q(0)
FromToCountThreshold
Bin0143237821
Bin1043221821

Signal:

 SSPC_CE
FromToCountThreshold
Bin0187770471
Bin1087770471

Signal:

 SSPC_EXPIRED
FromToCountThreshold
Bin011932491
Bin101932491

Signal:

 SSPC_THRESHOLD(14)
FromToCountThreshold
Bin0151
Bin1016051

Signal:

 SSPC_THRESHOLD(13)
FromToCountThreshold
Bin01101
Bin1016101

Signal:

 SSPC_THRESHOLD(12)
FromToCountThreshold
Bin01201
Bin1016201

Signal:

 SSPC_THRESHOLD(11)
FromToCountThreshold
Bin01401
Bin1016401

Signal:

 SSPC_THRESHOLD(10)
FromToCountThreshold
Bin01851
Bin1016851

Signal:

 SSPC_THRESHOLD(9)
FromToCountThreshold
Bin011631
Bin1017631

Signal:

 SSPC_THRESHOLD(8)
FromToCountThreshold
Bin013491
Bin1019491

Signal:

 SSPC_THRESHOLD(7)
FromToCountThreshold
Bin017051
Bin1023051

Signal:

 SSPC_THRESHOLD(6)
FromToCountThreshold
Bin0113831
Bin1029831

Signal:

 SSPC_THRESHOLD(5)
FromToCountThreshold
Bin0135041
Bin1051041

Signal:

 SSPC_THRESHOLD(4)
FromToCountThreshold
Bin0162301
Bin1078301

Signal:

 SSPC_THRESHOLD(3)
FromToCountThreshold
Bin01130311
Bin10146311

Signal:

 SSPC_THRESHOLD(2)
FromToCountThreshold
Bin01259911
Bin10275911

Signal:

 SSPC_THRESHOLD(1)
FromToCountThreshold
Bin01482211
Bin10498211

Signal:

 SSPC_THRESHOLD(0)
FromToCountThreshold
Bin01973311
Bin10989311

Signal:

 SSPC_ADD(14)
FromToCountThreshold
Bin011651
Bin1017651

Signal:

 SSPC_ADD(13)
FromToCountThreshold
Bin013251
Bin1019251

Signal:

 SSPC_ADD(12)
FromToCountThreshold
Bin016551
Bin1022551

Signal:

 SSPC_ADD(11)
FromToCountThreshold
Bin0113101
Bin1029101

Signal:

 SSPC_ADD(10)
FromToCountThreshold
Bin0127801
Bin1043801

Signal:

 SSPC_ADD(9)
FromToCountThreshold
Bin0153651
Bin1069651

Signal:

 SSPC_ADD(8)
FromToCountThreshold
Bin01111181
Bin10127181

Signal:

 SSPC_ADD(7)
FromToCountThreshold
Bin01224111
Bin10240111

Signal:

 SSPC_ADD(6)
FromToCountThreshold
Bin01454981
Bin10470981

Signal:

 SSPC_ADD(5)
FromToCountThreshold
Bin011462071
Bin101478071

Signal:

 SSPC_ADD(4)
FromToCountThreshold
Bin012427491
Bin102443491

Signal:

 SSPC_ADD(3)
FromToCountThreshold
Bin015354661
Bin105370661

Signal:

 SSPC_ADD(2)
FromToCountThreshold
Bin0111472251
Bin1011488251

Signal:

 SSPC_ADD(1)
FromToCountThreshold
Bin0121628741
Bin1021612741

Signal:

 SSPC_ADD(0)
FromToCountThreshold
Bin0143221821
Bin1043237821

Signal:

 FIRST_SSP_D
FromToCountThreshold
Bin0123231
Bin1039231

Signal:

 FIRST_SSP_Q
FromToCountThreshold
Bin0123231
Bin1039231

Signal:

 SSPC_ENA_D
FromToCountThreshold
Bin0141811
Bin1057811

Signal:

 SSPC_ENA_Q
FromToCountThreshold
Bin0123231
Bin1039231

Uncovered expressions:

Excluded expressions:

Covered expressions:

"=" expression

172:    btmc_meas_running_d <= '0' when (btmc_reset = '1') else 
Evaluated toCountThreshold
BinFalse220732431
BinTrue843871

"=" expression

173:                           '1' when (dbt_measure_start = '1' and tx_trigger = '1') else 
Evaluated toCountThreshold
BinFalse220639511
BinTrue92921

"=" expression

173:                           '1' when (dbt_measure_start = '1' and tx_trigger = '1') else 
Evaluated toCountThreshold
BinFalse110527241
BinTrue110205191

"and" expression

173:                           '1' when (dbt_measure_start = '1' and tx_trigger = '1') else 
                                         <---------LHS--------->     <-----RHS------>       

LHSRHSCountThreshold
BinFalseTrue110158731
BinTrueFalse46461
BinTrueTrue46461

"=" expression

174:                           '0' when (tx_trigger = '1') else 
Evaluated toCountThreshold
BinFalse110527241
BinTrue110158731

"=" expression

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

"=" expression

192:    btmc_d <= (others => '0') when (btmc_reset = '1') else 
Evaluated toCountThreshold
BinFalse4712581
BinTrue317551

"=" expression

193:                     btmc_add when (btmc_meas_running_q = '1') else 
Evaluated toCountThreshold
BinFalse401931
BinTrue4310651

"=" expression

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

"=" expression

206:            if (btmc_ce = '1') then 
Evaluated toCountThreshold
BinFalse5261557941
BinTrue2185061

"=" expression

217:    first_ssp_d <= '1' when (gen_first_ssp = '1'and tx_trigger = '1') else 
Evaluated toCountThreshold
BinFalse224715391
BinTrue140481

"=" expression

217:    first_ssp_d <= '1' when (gen_first_ssp = '1'and tx_trigger = '1') else 
Evaluated toCountThreshold
BinFalse113103161
BinTrue111752711

"and" expression

217:    first_ssp_d <= '1' when (gen_first_ssp = '1'and tx_trigger = '1') else 
                                 <-------LHS------->    <-----RHS------>       

LHSRHSCountThreshold
BinFalseTrue111683021
BinTrueFalse70791
BinTrueTrue69691

"=" expression

218:                   '0' when (sspc_expired = '1') else 
Evaluated toCountThreshold
BinFalse7399121
BinTrue217387061

"=" expression

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

"=" expression

236:    sspc_ena_d <= '1' when (gen_first_ssp = '1' and tx_trigger = '1') else 
Evaluated toCountThreshold
BinFalse221028171
BinTrue92921

"=" expression

236:    sspc_ena_d <= '1' when (gen_first_ssp = '1' and tx_trigger = '1') else 
Evaluated toCountThreshold
BinFalse110657831
BinTrue110463261

"and" expression

236:    sspc_ena_d <= '1' when (gen_first_ssp = '1' and tx_trigger = '1') else 
                                <-------LHS------->     <-----RHS------>       

LHSRHSCountThreshold
BinFalseTrue110416801
BinTrueFalse46461
BinTrueTrue46461

"=" expression

237:                  '0' when (ssp_enable = '0') else 
Evaluated toCountThreshold
BinFalse3872691
BinTrue217201941

"=" expression

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

"=" expression

260:    sspc_threshold <= resize(unsigned(ssp_delay), G_SSP_CTRS_WIDTH) when (first_ssp_q = '1'
Evaluated toCountThreshold
BinFalse2004671
BinTrue256361

"=" expression

274:    sspc_d <= C_SSPC_RST_VAL when (btmc_reset = '1' or sspc_expired = '1') else 
Evaluated toCountThreshold
BinFalse175923231
BinTrue313981

"=" expression

274:    sspc_d <= C_SSPC_RST_VAL when (btmc_reset = '1' or sspc_expired = '1') else 
Evaluated toCountThreshold
BinFalse171843781
BinTrue4393431

"or" expression

274:    sspc_d <= C_SSPC_RST_VAL when (btmc_reset = '1' or sspc_expired = '1') else 
                                       <-----LHS------>    <------RHS------->       

LHSRHSCountThreshold
BinFalseFalse171811091
BinFalseTrue4112141
BinTrueFalse32691

"=" expression

275:                    sspc_add when (sspc_ena_q = '1') else 
Evaluated toCountThreshold
BinFalse129151
BinTrue171681941

"=" expression

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

"=" expression

286:            if (sspc_ce = '1') then 
Evaluated toCountThreshold
BinFalse5175974361
BinTrue87768641

"=" expression

295:    sample_sec <= '1' when (sspc_expired = '1' and sspc_ena_q = '1') else 
Evaluated toCountThreshold
BinFalse1986751
BinTrue1956691

"=" expression

295:    sample_sec <= '1' when (sspc_expired = '1' and sspc_ena_q = '1') else 
Evaluated toCountThreshold
BinFalse137731
BinTrue3805711

"and" expression

295:    sample_sec <= '1' when (sspc_expired = '1' and sspc_ena_q = '1') else 
                                <------LHS------->     <-----RHS------>       

LHSRHSCountThreshold
BinFalseTrue1902371
BinTrueFalse53351
BinTrueTrue1903341

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: