NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.I_MAC_FC_TOP.I_MAC_FC_ERR_COUNTERS

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/medium_access_control/mac_fc_top.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
I_RST_REG 100.0 % (6/6) 100.0 % (6/6) 100.0 % (28/28) 100.0 % (2/2) N.A. N.A. 100.0 % (42/42)

Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_MAC_TOP.I_MAC_FC_TOP.I_MAC_FC_ERR_COUNTERS 100.0 % (83/83) 100.0 % (70/70) 100.0 % (508/508) 100.0 % (114/114) N.A. N.A. 100.0 % (775/775)

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:

If statement on lines 215 to 225:

215:        if (rst_n = '0') then 
216:            mr_ctr_pres_ptx_q   <= '0'; 
...
224:            mr_ctr_pres_efd_q   <= mr_ctr_pres_efd; 
225:        end if; 

Count: 1096781321
Threshold: 1

Signal assignment statement on line 216:

216:            mr_ctr_pres_ptx_q   <= '0'; 
Count: 2422674
Threshold: 1

Signal assignment statement on line 217:

217:            mr_ctr_pres_prx_q   <= '0'; 
Count: 2422674
Threshold: 1

Signal assignment statement on line 218:

218:            mr_ctr_pres_enorm_q <= '0'; 
Count: 2422674
Threshold: 1

Signal assignment statement on line 219:

219:            mr_ctr_pres_efd_q   <= '0'; 
Count: 2422674
Threshold: 1

Signal assignment statement on line 221:

221:            mr_ctr_pres_ptx_q   <= mr_ctr_pres_ptx; 
Count: 547174334
Threshold: 1

Signal assignment statement on line 222:

222:            mr_ctr_pres_prx_q   <= mr_ctr_pres_prx; 
Count: 547174334
Threshold: 1

Signal assignment statement on line 223:

223:            mr_ctr_pres_enorm_q <= mr_ctr_pres_enorm; 
Count: 547174334
Threshold: 1

Signal assignment statement on line 224:

224:            mr_ctr_pres_efd_q   <= mr_ctr_pres_efd; 
Count: 547174334
Threshold: 1

If statement on lines 228 to 229:

228:    modif_tx_ctr <= '1' when (inc_eight = '1' or dec_one = '1') else 
229:                    '0'; 

Count: 217894
Threshold: 1

Signal assignment statement on line 228:

228:    modif_tx_ctr <= '1' when (inc_eight = '1' or dec_one = '1') else 
Count: 107346
Threshold: 1

Signal assignment statement on line 229:

229:                    '0'
Count: 110548
Threshold: 1

If statement on lines 232 to 234:

232:    modif_rx_ctr <= '1' when (inc_one = '1' or inc_eight = '1' or dec_one = '1') 
233:                        else 
234:                    '0'; 

Count: 309748
Threshold: 1

Signal assignment statement on line 232:

232:    modif_rx_ctr <= '1' when (inc_one = '1' or inc_eight = '1' or dec_one = '1') 
Count: 153289
Threshold: 1

Signal assignment statement on line 234:

234:                    '0'
Count: 156459
Threshold: 1

If statement on lines 239 to 240:

239:    tx_err_ctr_dec <=  (tx_err_ctr_q - 1) when (tx_err_ctr_q > 0) else 
240:                       tx_err_ctr_q; 

Count: 33872
Threshold: 1

Signal assignment statement on line 239:

239:    tx_err_ctr_dec <=  (tx_err_ctr_q - 1) when (tx_err_ctr_q > 0) else 
Count: 19782
Threshold: 1

Signal assignment statement on line 240:

240:                       tx_err_ctr_q
Count: 14090
Threshold: 1

If statement on lines 244 to 247:

244:    tx_err_ctr_d <= 
245:              unsigned(mr_ctr_pres_ctpv) when (mr_ctr_pres_ptx_q = '1') else 
246:                        tx_err_ctr_q + 8 when (inc_eight = '1') else 
247:                          tx_err_ctr_dec; 

Count: 268554
Threshold: 1

Signal assignment statement on line 245:

245:              unsigned(mr_ctr_pres_ctpv) when (mr_ctr_pres_ptx_q = '1') else 
Count: 20586
Threshold: 1

Signal assignment statement on line 246:

246:                        tx_err_ctr_q + 8 when (inc_eight = '1') else 
Count: 110573
Threshold: 1

Signal assignment statement on line 247:

247:                          tx_err_ctr_dec
Count: 137395
Threshold: 1

If statement on lines 251 to 253:

251:    tx_err_ctr_ce <= '1' when (modif_tx_ctr = '1' and is_transmitter = '1') else 
252:                     '1' when (mr_ctr_pres_ptx_q = '1') else 
253:                     '0'; 

Count: 299343
Threshold: 1

Signal assignment statement on line 251:

251:    tx_err_ctr_ce <= '1' when (modif_tx_ctr = '1' and is_transmitter = '1') else 
Count: 83999
Threshold: 1

Signal assignment statement on line 252:

252:                     '1' when (mr_ctr_pres_ptx_q = '1') else 
Count: 19364
Threshold: 1

Signal assignment statement on line 253:

253:                     '0'
Count: 195980
Threshold: 1

If statement on lines 258 to 260:

258:    res_err_ctrs_d <= '0' when (rst_n = '0' or set_err_active = '1') 
259:                          else 
260:                      '1'; 

Count: 32632
Threshold: 1

Signal assignment statement on line 258:

258:    res_err_ctrs_d <= '0' when (rst_n = '0' or set_err_active = '1') 
Count: 14709
Threshold: 1

Signal assignment statement on line 260:

260:                      '1'
Count: 17923
Threshold: 1

If statement on lines 284 to 290:

284:        if (res_err_ctrs_q_scan = '0') then 
285:            tx_err_ctr_q <= (others => '0'); 
...
289:            end if; 
290:        end if; 

Count: 1096794594
Threshold: 1

Signal assignment statement on line 285:

285:            tx_err_ctr_q <= (others => '0'); 
Count: 2455551
Threshold: 1

If statement on lines 287 to 289:

287:            if (tx_err_ctr_ce = '1') then 
288:                tx_err_ctr_q <= tx_err_ctr_d; 
289:            end if; 

Count: 547161214
Threshold: 1

Signal assignment statement on line 288:

288:                tx_err_ctr_q <= tx_err_ctr_d; 
Count: 45126
Threshold: 1

If statement on lines 297 to 299:

297:    rx_err_ctr_dec <= to_unsigned(120, 9) when (rx_err_ctr_q > 127) else 
298:                       (rx_err_ctr_q - 1) when (rx_err_ctr_q > 0) else 
299:                            rx_err_ctr_q; 

Count: 27275
Threshold: 1

Signal assignment statement on line 297:

297:    rx_err_ctr_dec <= to_unsigned(120, 9) when (rx_err_ctr_q > 127) else 
Count: 8761
Threshold: 1

Signal assignment statement on line 298:

298:                       (rx_err_ctr_q - 1) when (rx_err_ctr_q > 0) else 
Count: 9004
Threshold: 1

Signal assignment statement on line 299:

299:                            rx_err_ctr_q
Count: 9510
Threshold: 1

If statement on lines 303 to 304:

303:    rx_err_ctr_inc <= rx_err_ctr_q + 1 when (inc_one = '1') else 
304:                      rx_err_ctr_q + 8; 

Count: 120762
Threshold: 1

Signal assignment statement on line 303:

303:    rx_err_ctr_inc <= rx_err_ctr_q + 1 when (inc_one = '1') else 
Count: 58075
Threshold: 1

Signal assignment statement on line 304:

304:                      rx_err_ctr_q + 8
Count: 62687
Threshold: 1

If statement on lines 307 to 308:

307:    rx_err_ctr_sat <= (others => '1') when (rx_err_ctr_inc < rx_err_ctr_q) else 
308:                      rx_err_ctr_inc; 

Count: 146436
Threshold: 1

Signal assignment statement on line 307:

307:    rx_err_ctr_sat <= (others => '1') when (rx_err_ctr_inc < rx_err_ctr_q) else 
Count: 693
Threshold: 1

Signal assignment statement on line 308:

308:                      rx_err_ctr_inc
Count: 145743
Threshold: 1

If statement on lines 314 to 316:

314:    rx_err_ctr_d <= unsigned(mr_ctr_pres_ctpv) when (mr_ctr_pres_prx_q = '1') else 
315:                                rx_err_ctr_sat when (inc_one = '1' or inc_eight = '1') else 
316:                                rx_err_ctr_dec; 

Count: 431247
Threshold: 1

Signal assignment statement on line 314:

314:    rx_err_ctr_d <= unsigned(mr_ctr_pres_ctpv) when (mr_ctr_pres_prx_q = '1') else 
Count: 22906
Threshold: 1

Signal assignment statement on line 315:

315:                                rx_err_ctr_sat when (inc_one = '1' or inc_eight = '1') else 
Count: 154419
Threshold: 1

Signal assignment statement on line 316:

316:                                rx_err_ctr_dec
Count: 253922
Threshold: 1

If statement on lines 320 to 322:

320:    rx_err_ctr_ce <= '1' when (modif_rx_ctr = '1' and is_receiver = '1') else 
321:                     '1' when (mr_ctr_pres_prx_q = '1') else 
322:                     '0'; 

Count: 412574
Threshold: 1

Signal assignment statement on line 320:

320:    rx_err_ctr_ce <= '1' when (modif_rx_ctr = '1' and is_receiver = '1') else 
Count: 69204
Threshold: 1

Signal assignment statement on line 321:

321:                     '1' when (mr_ctr_pres_prx_q = '1') else 
Count: 19759
Threshold: 1

Signal assignment statement on line 322:

322:                     '0'
Count: 323611
Threshold: 1

If statement on lines 329 to 335:

329:        if (res_err_ctrs_q_scan = '0') then 
330:            rx_err_ctr_q <= (others => '0'); 
...
334:            end if; 
335:        end if; 

Count: 1096794594
Threshold: 1

Signal assignment statement on line 330:

330:            rx_err_ctr_q <= (others => '0'); 
Count: 2455551
Threshold: 1

If statement on lines 332 to 334:

332:            if (rx_err_ctr_ce = '1') then 
333:                rx_err_ctr_q <= rx_err_ctr_d; 
334:            end if; 

Count: 547161214
Threshold: 1

Signal assignment statement on line 333:

333:                rx_err_ctr_q <= rx_err_ctr_d; 
Count: 47304
Threshold: 1

If statement on lines 346 to 347:

346:    nom_dat_sel_ctr <= nom_err_ctr_q when (sp_control = NOMINAL_SAMPLE) else 
347:                       data_err_ctr_q; 

Count: 95440
Threshold: 1

Signal assignment statement on line 346:

346:    nom_dat_sel_ctr <= nom_err_ctr_q when (sp_control = NOMINAL_SAMPLE) else 
Count: 54687
Threshold: 1

Signal assignment statement on line 347:

347:                       data_err_ctr_q
Count: 40753
Threshold: 1

Signal assignment statement on line 349:

349:    nom_dat_sel_ctr_add <= nom_dat_sel_ctr + 1
Count: 63901
Threshold: 1

If statement on lines 351 to 353:

351:    nom_err_ctr_d <= nom_dat_sel_ctr_add when (mr_ctr_pres_enorm_q = '0') 
352:                                         else 
353:                         (others => '0'); 

Count: 80319
Threshold: 1

Signal assignment statement on line 351:

351:    nom_err_ctr_d <= nom_dat_sel_ctr_add when (mr_ctr_pres_enorm_q = '0') 
Count: 70509
Threshold: 1

Signal assignment statement on line 353:

353:                         (others => '0')
Count: 9810
Threshold: 1

If statement on lines 355 to 357:

355:    data_err_ctr_d <= nom_dat_sel_ctr_add when (mr_ctr_pres_efd_q = '0') 
356:                                          else 
357:                         (others => '0'); 

Count: 80319
Threshold: 1

Signal assignment statement on line 355:

355:    data_err_ctr_d <= nom_dat_sel_ctr_add when (mr_ctr_pres_efd_q = '0') 
Count: 65703
Threshold: 1

Signal assignment statement on line 357:

357:                         (others => '0')
Count: 14616
Threshold: 1

If statement on lines 360 to 364:

360:    nom_err_ctr_ce <= '1' when (mr_ctr_pres_enorm_q = '1') or 
361:                               ((inc_one = '1' or inc_eight = '1') and 
362:                                (sp_control = NOMINAL_SAMPLE)) 
363:                          else 
364:                      '0'; 

Count: 329327
Threshold: 1

Signal assignment statement on line 360:

360:    nom_err_ctr_ce <= '1' when (mr_ctr_pres_enorm_q = '1') or 
Count: 130550
Threshold: 1

Signal assignment statement on line 364:

364:                      '0'
Count: 198777
Threshold: 1

If statement on lines 366 to 370:

366:    data_err_ctr_ce <= '1' when (mr_ctr_pres_efd_q = '1') or 
367:                                ((inc_one = '1' or inc_eight = '1') and 
368:                                 (sp_control = DATA_SAMPLE or sp_control = SECONDARY_SAMPLE)) 
369:                           else 
370:                       '0'; 

Count: 329327
Threshold: 1

Signal assignment statement on line 366:

366:    data_err_ctr_ce <= '1' when (mr_ctr_pres_efd_q = '1') or 
Count: 20317
Threshold: 1

Signal assignment statement on line 370:

370:                       '0'
Count: 309010
Threshold: 1

If statement on lines 377 to 383:

377:        if (res_err_ctrs_q_scan = '0') then 
378:            nom_err_ctr_q <= (others => '0'); 
...
382:            end if; 
383:        end if; 

Count: 1096794594
Threshold: 1

Signal assignment statement on line 378:

378:            nom_err_ctr_q <= (others => '0'); 
Count: 2455551
Threshold: 1

If statement on lines 380 to 382:

380:            if (nom_err_ctr_ce = '1') then 
381:                nom_err_ctr_q <= nom_err_ctr_d; 
382:            end if; 

Count: 547161214
Threshold: 1

Signal assignment statement on line 381:

381:                nom_err_ctr_q <= nom_err_ctr_d; 
Count: 23478
Threshold: 1

If statement on lines 388 to 394:

388:        if (res_err_ctrs_q_scan = '0') then 
389:            data_err_ctr_q <= (others => '0'); 
...
393:            end if; 
394:        end if; 

Count: 1096794594
Threshold: 1

Signal assignment statement on line 389:

389:            data_err_ctr_q <= (others => '0'); 
Count: 2455551
Threshold: 1

If statement on lines 391 to 393:

391:            if (data_err_ctr_ce = '1') then 
392:                data_err_ctr_q <= data_err_ctr_d; 
393:            end if; 

Count: 547161214
Threshold: 1

Signal assignment statement on line 392:

392:                data_err_ctr_q <= data_err_ctr_d; 
Count: 17014
Threshold: 1

Signal assignment statement on line 400:

400:    rx_err_ctr <= std_logic_vector(rx_err_ctr_q)
Count: 27275
Threshold: 1

Signal assignment statement on line 401:

401:    tx_err_ctr <= std_logic_vector(tx_err_ctr_q)
Count: 33872
Threshold: 1

Signal assignment statement on line 403:

403:    norm_err_ctr <= std_logic_vector(nom_err_ctr_q)
Count: 27615
Threshold: 1

Signal assignment statement on line 404:

404:    data_err_ctr <= std_logic_vector(data_err_ctr_q)
Count: 14578
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

"if" / "when" / "else" condition on line 215:

215:        if (rst_n = '0') then 
Evaluated toCountThreshold
BinTrue24226741
BinFalse10943586471

"if" / "when" / "else" condition on line 220:

220:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471743341
BinFalse5471843131

"if" / "when" / "else" condition on line 228:

228:    modif_tx_ctr <= '1' when (inc_eight = '1' or dec_one = '1') else 
Evaluated toCountThreshold
BinTrue1073461
BinFalse1105481

"if" / "when" / "else" condition on line 232:

232:    modif_rx_ctr <= '1' when (inc_one = '1' or inc_eight = '1' or dec_one = '1'
Evaluated toCountThreshold
BinTrue1532891
BinFalse1564591

"if" / "when" / "else" condition on line 239:

239:    tx_err_ctr_dec <=  (tx_err_ctr_q - 1) when (tx_err_ctr_q > 0) else 
Evaluated toCountThreshold
BinTrue197821
BinFalse140901

"if" / "when" / "else" condition on line 245:

245:              unsigned(mr_ctr_pres_ctpv) when (mr_ctr_pres_ptx_q = '1') else 
Evaluated toCountThreshold
BinTrue205861
BinFalse2479681

"if" / "when" / "else" condition on line 246:

246:                        tx_err_ctr_q + 8 when (inc_eight = '1') else 
Evaluated toCountThreshold
BinTrue1105731
BinFalse1373951

"if" / "when" / "else" condition on line 251:

251:    tx_err_ctr_ce <= '1' when (modif_tx_ctr = '1' and is_transmitter = '1') else 
Evaluated toCountThreshold
BinTrue839991
BinFalse2153441

"if" / "when" / "else" condition on line 252:

252:                     '1' when (mr_ctr_pres_ptx_q = '1') else 
Evaluated toCountThreshold
BinTrue193641
BinFalse1959801

"if" / "when" / "else" condition on line 258:

258:    res_err_ctrs_d <= '0' when (rst_n = '0' or set_err_active = '1'
Evaluated toCountThreshold
BinTrue147091
BinFalse179231

"if" / "when" / "else" condition on line 284:

284:        if (res_err_ctrs_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24555511
BinFalse10943390431

"if" / "when" / "else" condition on line 286:

286:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471612141
BinFalse5471778291

"if" / "when" / "else" condition on line 287:

287:            if (tx_err_ctr_ce = '1') then 
Evaluated toCountThreshold
BinTrue451261
BinFalse5471160881

"if" / "when" / "else" condition on line 297:

297:    rx_err_ctr_dec <= to_unsigned(120, 9) when (rx_err_ctr_q > 127) else 
Evaluated toCountThreshold
BinTrue87611
BinFalse185141

"if" / "when" / "else" condition on line 298:

298:                       (rx_err_ctr_q - 1) when (rx_err_ctr_q > 0) else 
Evaluated toCountThreshold
BinTrue90041
BinFalse95101

"if" / "when" / "else" condition on line 303:

303:    rx_err_ctr_inc <= rx_err_ctr_q + 1 when (inc_one = '1') else 
Evaluated toCountThreshold
BinTrue580751
BinFalse626871

"if" / "when" / "else" condition on line 307:

307:    rx_err_ctr_sat <= (others => '1') when (rx_err_ctr_inc < rx_err_ctr_q) else 
Evaluated toCountThreshold
BinTrue6931
BinFalse1457431

"if" / "when" / "else" condition on line 314:

314:    rx_err_ctr_d <= unsigned(mr_ctr_pres_ctpv) when (mr_ctr_pres_prx_q = '1') else 
Evaluated toCountThreshold
BinTrue229061
BinFalse4083411

"if" / "when" / "else" condition on line 315:

315:                                rx_err_ctr_sat when (inc_one = '1' or inc_eight = '1') else 
Evaluated toCountThreshold
BinTrue1544191
BinFalse2539221

"if" / "when" / "else" condition on line 320:

320:    rx_err_ctr_ce <= '1' when (modif_rx_ctr = '1' and is_receiver = '1') else 
Evaluated toCountThreshold
BinTrue692041
BinFalse3433701

"if" / "when" / "else" condition on line 321:

321:                     '1' when (mr_ctr_pres_prx_q = '1') else 
Evaluated toCountThreshold
BinTrue197591
BinFalse3236111

"if" / "when" / "else" condition on line 329:

329:        if (res_err_ctrs_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24555511
BinFalse10943390431

"if" / "when" / "else" condition on line 331:

331:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471612141
BinFalse5471778291

"if" / "when" / "else" condition on line 332:

332:            if (rx_err_ctr_ce = '1') then 
Evaluated toCountThreshold
BinTrue473041
BinFalse5471139101

"if" / "when" / "else" condition on line 346:

346:    nom_dat_sel_ctr <= nom_err_ctr_q when (sp_control = NOMINAL_SAMPLE) else 
Evaluated toCountThreshold
BinTrue546871
BinFalse407531

"if" / "when" / "else" condition on line 351:

351:    nom_err_ctr_d <= nom_dat_sel_ctr_add when (mr_ctr_pres_enorm_q = '0'
Evaluated toCountThreshold
BinTrue705091
BinFalse98101

"if" / "when" / "else" condition on line 355:

355:    data_err_ctr_d <= nom_dat_sel_ctr_add when (mr_ctr_pres_efd_q = '0'
Evaluated toCountThreshold
BinTrue657031
BinFalse146161

"if" / "when" / "else" condition on lines 360 to 362:

360:    nom_err_ctr_ce <= '1' when (mr_ctr_pres_enorm_q = '1') or 
361:                               ((inc_one = '1' or inc_eight = '1') and 
362:                                (sp_control = NOMINAL_SAMPLE)) 

Evaluated toCountThreshold
BinTrue1305501
BinFalse1987771

"if" / "when" / "else" condition on lines 366 to 368:

366:    data_err_ctr_ce <= '1' when (mr_ctr_pres_efd_q = '1') or 
367:                                ((inc_one = '1' or inc_eight = '1') and 
368:                                 (sp_control = DATA_SAMPLE or sp_control = SECONDARY_SAMPLE)) 

Evaluated toCountThreshold
BinTrue203171
BinFalse3090101

"if" / "when" / "else" condition on line 377:

377:        if (res_err_ctrs_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24555511
BinFalse10943390431

"if" / "when" / "else" condition on line 379:

379:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471612141
BinFalse5471778291

"if" / "when" / "else" condition on line 380:

380:            if (nom_err_ctr_ce = '1') then 
Evaluated toCountThreshold
BinTrue234781
BinFalse5471377361

"if" / "when" / "else" condition on line 388:

388:        if (res_err_ctrs_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24555511
BinFalse10943390431

"if" / "when" / "else" condition on line 390:

390:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471612141
BinFalse5471778291

"if" / "when" / "else" condition on line 391:

391:            if (data_err_ctr_ce = '1') then 
Evaluated toCountThreshold
BinTrue170141
BinFalse5471442001

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:

 SCAN_MODE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SP_CONTROL
ElementFromToCountThresholdExcluded due to
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 INC_ONE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 INC_EIGHT
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 DEC_ONE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SET_ERR_ACTIVE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 IS_TRANSMITTER
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 IS_RECEIVER
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_CTR_PRES_CTPV
ElementFromToCountThresholdExcluded due to
Bin(8)0101Exclude file
Bin(8)1001Exclude file
Bin(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
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:

 MR_CTR_PRES_PTX
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_CTR_PRES_PRX
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_CTR_PRES_ENORM
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_CTR_PRES_EFD
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Signal:

 RX_ERR_CTR_DEC
ElementFromToCountThresholdExcluded due to
Bin(8)0101Exclude file
Bin(7)0101Exclude file

Covered toggles:

Port:

 RX_ERR_CTR
ElementFromToCountThreshold
Bin(8)011301
Bin(8)1017311
Bin(7)013501
Bin(7)1019511
Bin(6)012551
Bin(6)1018541
Bin(5)013631
Bin(5)1019631
Bin(4)014971
Bin(4)1020981
Bin(3)016851
Bin(3)1022851
Bin(2)016171
Bin(2)1022181
Bin(1)0111911
Bin(1)1027921
Bin(0)01112161
Bin(0)10128091

Port:

 TX_ERR_CTR
ElementFromToCountThreshold
Bin(8)012491
Bin(8)1018501
Bin(7)015171
Bin(7)1021181
Bin(6)015011
Bin(6)1021021
Bin(5)018051
Bin(5)1024061
Bin(4)0119331
Bin(4)1035341
Bin(3)01127431
Bin(3)10143441
Bin(2)0129551
Bin(2)1045561
Bin(1)0133241
Bin(1)1049251
Bin(0)0135241
Bin(0)1051251

Port:

 NORM_ERR_CTR
ElementFromToCountThreshold
Bin(15)01691
Bin(15)1016671
Bin(14)01671
Bin(14)1016681
Bin(13)01641
Bin(13)1016611
Bin(12)01621
Bin(12)1016591
Bin(11)01641
Bin(11)1016641
Bin(10)01691
Bin(10)1016681
Bin(9)01631
Bin(9)1016621
Bin(8)01711
Bin(8)1016711
Bin(7)01751
Bin(7)1016731
Bin(6)01971
Bin(6)1016961
Bin(5)011551
Bin(5)1017521
Bin(4)012761
Bin(4)1018761
Bin(3)016081
Bin(3)1022051
Bin(2)0113611
Bin(2)1029581
Bin(1)0130821
Bin(1)1046781
Bin(0)01117271
Bin(0)10133231

Port:

 DATA_ERR_CTR
ElementFromToCountThreshold
Bin(15)01631
Bin(15)1016611
Bin(14)01681
Bin(14)1016671
Bin(13)01671
Bin(13)1016651
Bin(12)01651
Bin(12)1016651
Bin(11)01611
Bin(11)1016581
Bin(10)01641
Bin(10)1016611
Bin(9)01751
Bin(9)1016731
Bin(8)01851
Bin(8)1016821
Bin(7)01981
Bin(7)1016961
Bin(6)011331
Bin(6)1017321
Bin(5)012091
Bin(5)1018051
Bin(4)013521
Bin(4)1019521
Bin(3)016801
Bin(3)1022781
Bin(2)0112951
Bin(2)1028951
Bin(1)0125231
Bin(1)1041201
Bin(0)0155891
Bin(0)1071871

Signal:

 TX_ERR_CTR_D
ElementFromToCountThreshold
Bin(8)016471
Bin(8)1022481
Bin(7)0130651
Bin(7)1046661
Bin(6)0142311
Bin(6)1058321
Bin(5)0180831
Bin(5)1096841
Bin(4)01334861
Bin(4)10350871
Bin(3)01697421
Bin(3)10713431
Bin(2)01363281
Bin(2)10379291
Bin(1)01481591
Bin(1)10497601
Bin(0)01528161
Bin(0)10544171

Signal:

 RX_ERR_CTR_D
ElementFromToCountThreshold
Bin(8)013041
Bin(8)1019051
Bin(7)01243101
Bin(7)10259111
Bin(6)01250161
Bin(6)10266151
Bin(5)01209731
Bin(5)10225731
Bin(4)0170841
Bin(4)1086851
Bin(3)011299841
Bin(3)101315841
Bin(2)01260451
Bin(2)10276461
Bin(1)01281511
Bin(1)10297521
Bin(0)01258481
Bin(0)10274491

Signal:

 TX_ERR_CTR_Q
ElementFromToCountThreshold
Bin(8)012491
Bin(8)1018501
Bin(7)015171
Bin(7)1021181
Bin(6)015011
Bin(6)1021021
Bin(5)018051
Bin(5)1024061
Bin(4)0119331
Bin(4)1035341
Bin(3)01127431
Bin(3)10143441
Bin(2)0129551
Bin(2)1045561
Bin(1)0133241
Bin(1)1049251
Bin(0)0135241
Bin(0)1051251

Signal:

 RX_ERR_CTR_Q
ElementFromToCountThreshold
Bin(8)011301
Bin(8)1017311
Bin(7)013501
Bin(7)1019511
Bin(6)012551
Bin(6)1018541
Bin(5)013631
Bin(5)1019631
Bin(4)014971
Bin(4)1020981
Bin(3)016851
Bin(3)1022851
Bin(2)016171
Bin(2)1022181
Bin(1)0111911
Bin(1)1027921
Bin(0)01112161
Bin(0)10128091

Signal:

 RX_ERR_CTR_INC
ElementFromToCountThreshold
Bin(8)011411
Bin(8)1017421
Bin(7)014571
Bin(7)1020581
Bin(6)014371
Bin(6)1020361
Bin(5)018261
Bin(5)1024261
Bin(4)0120091
Bin(4)1036091
Bin(3)01479101
Bin(3)10463101
Bin(2)0154371
Bin(2)1070381
Bin(1)01130141
Bin(1)10146151
Bin(0)01571591
Bin(0)10587521

Signal:

 RX_ERR_CTR_SAT
ElementFromToCountThreshold
Bin(8)016391
Bin(8)1022401
Bin(7)017541
Bin(7)1023551
Bin(6)018261
Bin(6)1024251
Bin(5)0111561
Bin(5)1027561
Bin(4)0121751
Bin(4)1037751
Bin(3)01479511
Bin(3)10463511
Bin(2)0156321
Bin(2)1072331
Bin(1)01132041
Bin(1)10148051
Bin(0)01574961
Bin(0)10590891

Signal:

 TX_ERR_CTR_CE
FromToCountThreshold
Bin011033631
Bin101049641

Signal:

 RX_ERR_CTR_CE
FromToCountThreshold
Bin01889631
Bin10905641

Signal:

 MODIF_TX_CTR
FromToCountThreshold
Bin011073461
Bin101089471

Signal:

 MODIF_RX_CTR
FromToCountThreshold
Bin011532571
Bin101548581

Signal:

 TX_ERR_CTR_DEC
ElementFromToCountThreshold
Bin(8)012321
Bin(8)1018331
Bin(7)014931
Bin(7)1020941
Bin(6)015011
Bin(6)1021021
Bin(5)017511
Bin(5)1023521
Bin(4)0115551
Bin(4)1031561
Bin(3)0129071
Bin(3)1045081
Bin(2)01108641
Bin(2)10124651
Bin(1)01109201
Bin(1)10125211
Bin(0)01117771
Bin(0)10133781

Signal:

 RX_ERR_CTR_DEC
ElementFromToCountThreshold
Bin(8)1016011
Bin(7)1016011
Bin(6)014301
Bin(6)1020291
Bin(5)014761
Bin(5)1020761
Bin(4)015991
Bin(4)1022001
Bin(3)018381
Bin(3)1024381
Bin(2)015281
Bin(2)1021291
Bin(1)017501
Bin(1)1023511
Bin(0)0115971
Bin(0)1031981

Signal:

 NOM_ERR_CTR_D
ElementFromToCountThreshold
Bin(15)01691
Bin(15)1032681
Bin(14)01671
Bin(14)1032691
Bin(13)01641
Bin(13)1032621
Bin(12)01621
Bin(12)1032601
Bin(11)01641
Bin(11)1032651
Bin(10)01691
Bin(10)1032691
Bin(9)0145451
Bin(9)1077451
Bin(8)0145611
Bin(8)1077621
Bin(7)0146251
Bin(7)1078241
Bin(6)0149441
Bin(6)1081441
Bin(5)0154061
Bin(5)1086041
Bin(4)0159751
Bin(4)1091761
Bin(3)0169861
Bin(3)10101841
Bin(2)0190351
Bin(2)10122321
Bin(1)01234961
Bin(1)10266901
Bin(0)01274701
Bin(0)10274751

Signal:

 DATA_ERR_CTR_D
ElementFromToCountThreshold
Bin(15)01691
Bin(15)1032681
Bin(14)01671
Bin(14)1032691
Bin(13)01641
Bin(13)1032621
Bin(12)01621
Bin(12)1032601
Bin(11)01641
Bin(11)1032651
Bin(10)01691
Bin(10)1032691
Bin(9)0145451
Bin(9)1077451
Bin(8)0145611
Bin(8)1077621
Bin(7)0146251
Bin(7)1078241
Bin(6)0149441
Bin(6)1081441
Bin(5)0154061
Bin(5)1086041
Bin(4)0159531
Bin(4)1091541
Bin(3)0169611
Bin(3)10101591
Bin(2)0187911
Bin(2)10119881
Bin(1)01189581
Bin(1)10221521
Bin(0)01274701
Bin(0)10274751

Signal:

 NOM_ERR_CTR_Q
ElementFromToCountThreshold
Bin(15)01691
Bin(15)1016671
Bin(14)01671
Bin(14)1016681
Bin(13)01641
Bin(13)1016611
Bin(12)01621
Bin(12)1016591
Bin(11)01641
Bin(11)1016641
Bin(10)01691
Bin(10)1016681
Bin(9)01631
Bin(9)1016621
Bin(8)01711
Bin(8)1016711
Bin(7)01751
Bin(7)1016731
Bin(6)01971
Bin(6)1016961
Bin(5)011551
Bin(5)1017521
Bin(4)012761
Bin(4)1018761
Bin(3)016081
Bin(3)1022051
Bin(2)0113611
Bin(2)1029581
Bin(1)0130821
Bin(1)1046781
Bin(0)01117271
Bin(0)10133231

Signal:

 DATA_ERR_CTR_Q
ElementFromToCountThreshold
Bin(15)01631
Bin(15)1016611
Bin(14)01681
Bin(14)1016671
Bin(13)01671
Bin(13)1016651
Bin(12)01651
Bin(12)1016651
Bin(11)01611
Bin(11)1016581
Bin(10)01641
Bin(10)1016611
Bin(9)01751
Bin(9)1016731
Bin(8)01851
Bin(8)1016821
Bin(7)01981
Bin(7)1016961
Bin(6)011331
Bin(6)1017321
Bin(5)012091
Bin(5)1018051
Bin(4)013521
Bin(4)1019521
Bin(3)016801
Bin(3)1022781
Bin(2)0112951
Bin(2)1028951
Bin(1)0125231
Bin(1)1041201
Bin(0)0155891
Bin(0)1071871

Signal:

 NOM_DAT_SEL_CTR
ElementFromToCountThreshold
Bin(15)01691
Bin(15)1016671
Bin(14)01671
Bin(14)1016681
Bin(13)01641
Bin(13)1016611
Bin(12)01621
Bin(12)1016591
Bin(11)01641
Bin(11)1016641
Bin(10)01691
Bin(10)1016681
Bin(9)0145361
Bin(9)1061351
Bin(8)0145531
Bin(8)1061531
Bin(7)0146151
Bin(7)1062131
Bin(6)0149171
Bin(6)1065161
Bin(5)0153991
Bin(5)1069961
Bin(4)0158321
Bin(4)1074321
Bin(3)0169151
Bin(3)1085121
Bin(2)0184451
Bin(2)10100421
Bin(1)01117951
Bin(1)10133911
Bin(0)01237451
Bin(0)10253411

Signal:

 NOM_DAT_SEL_CTR_ADD
ElementFromToCountThreshold
Bin(15)01691
Bin(15)1016671
Bin(14)01671
Bin(14)1016681
Bin(13)01641
Bin(13)1016611
Bin(12)01621
Bin(12)1016591
Bin(11)01641
Bin(11)1016641
Bin(10)01691
Bin(10)1016681
Bin(9)0145451
Bin(9)1061441
Bin(8)0145611
Bin(8)1061611
Bin(7)0146251
Bin(7)1062231
Bin(6)0149441
Bin(6)1065431
Bin(5)0154061
Bin(5)1070031
Bin(4)0159531
Bin(4)1075531
Bin(3)0169611
Bin(3)1085581
Bin(2)0187911
Bin(2)10103871
Bin(1)01189581
Bin(1)10205511
Bin(0)01253411
Bin(0)10237451

Signal:

 NOM_ERR_CTR_CE
FromToCountThreshold
Bin011305181
Bin101321191

Signal:

 DATA_ERR_CTR_CE
FromToCountThreshold
Bin01202941
Bin10218951

Signal:

 RES_ERR_CTRS_D
FromToCountThreshold
Bin01147211
Bin10147091

Signal:

 RES_ERR_CTRS_Q_SCAN
FromToCountThreshold
Bin01147201
Bin10147091

Signal:

 MR_CTR_PRES_PTX_Q
FromToCountThreshold
Bin01193641
Bin10209651

Signal:

 MR_CTR_PRES_PRX_Q
FromToCountThreshold
Bin01197591
Bin10213601

Signal:

 MR_CTR_PRES_ENORM_Q
FromToCountThreshold
Bin0166081
Bin1082091

Signal:

 MR_CTR_PRES_EFD_Q
FromToCountThreshold
Bin0166081
Bin1082091

Uncovered expressions:

Excluded expressions:

"or" expression on lines 360 to 362:

 (mr_ctr_pres_enorm_q = '1') or ((inc_one = '1' or inc_eight = '1') and (sp_control = NOMINAL_SAMPLE)) 
  <----------LHS---------->      <-------------------------------RHS-------------------------------->  

LHSRHSCountThresholdExcluded due to
BinTrueFalse01Unreachable

"and" expression on lines 361 to 362:

 (inc_one = '1' or inc_eight = '1') and (sp_control = NOMINAL_SAMPLE) 
  <-------------LHS-------------->       <-----------RHS----------->  

LHSRHSCountThresholdExcluded due to
BinFalseTrue01Unreachable

"or" expression on lines 366 to 368:

 (mr_ctr_pres_efd_q = '1') or ((inc_one = '1' or inc_eight = '1') and (sp_control = DATA_SAMPLE or sp_control = SECONDARY_SAMPLE)) 
  <---------LHS--------->      <----------------------------------------------RHS----------------------------------------------->  

LHSRHSCountThresholdExcluded due to
BinTrueFalse01Unreachable

"and" expression on lines 367 to 368:

 (inc_one = '1' or inc_eight = '1') and (sp_control = DATA_SAMPLE or sp_control = SECONDARY_SAMPLE) 
  <-------------LHS-------------->       <--------------------------RHS-------------------------->  

LHSRHSCountThresholdExcluded due to
BinFalseTrue01Unreachable

"or" expression on line 368:

 sp_control = DATA_SAMPLE or sp_control = SECONDARY_SAMPLE 
 <---------LHS---------->    <------------RHS------------> 

LHSRHSCountThresholdExcluded due to
BinTrueFalse01Unreachable

Covered expressions:

"=" expression on line 215:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"or" expression on line 228:

 inc_eight = '1' or dec_one = '1' 
 <-----LHS----->    <----RHS----> 

LHSRHSCountThreshold
BinFalseFalse1105481
BinFalseTrue260671
BinTrueFalse812791

"=" expression on line 228:

 inc_eight = '1' 
Evaluated toCountThreshold
BinFalse1366151
BinTrue812791

"=" expression on line 228:

 dec_one = '1' 
Evaluated toCountThreshold
BinFalse1918271
BinTrue260671

"or" expression on line 232:

 inc_one = '1' or inc_eight = '1' or dec_one = '1' 
 <-------------LHS-------------->    <----RHS----> 

LHSRHSCountThreshold
BinFalseFalse1564591
BinFalseTrue260671
BinTrueFalse1272221

"or" expression on line 232:

 inc_one = '1' or inc_eight = '1' 
 <----LHS---->    <-----RHS-----> 

LHSRHSCountThreshold
BinFalseFalse1825261
BinFalseTrue812791
BinTrueFalse459431

"=" expression on line 232:

 inc_one = '1' 
Evaluated toCountThreshold
BinFalse2638051
BinTrue459431

"=" expression on line 232:

 inc_eight = '1' 
Evaluated toCountThreshold
BinFalse2284691
BinTrue812791

"=" expression on line 232:

 dec_one = '1' 
Evaluated toCountThreshold
BinFalse2836811
BinTrue260671

"=" expression on line 245:

 mr_ctr_pres_ptx_q = '1' 
Evaluated toCountThreshold
BinFalse2479681
BinTrue205861

"=" expression on line 246:

 inc_eight = '1' 
Evaluated toCountThreshold
BinFalse1373951
BinTrue1105731

"and" expression on line 251:

 modif_tx_ctr = '1' and is_transmitter = '1' 
 <------LHS------->     <-------RHS--------> 

LHSRHSCountThreshold
BinFalseTrue1047651
BinTrueFalse233471
BinTrueTrue839991

"=" expression on line 251:

 modif_tx_ctr = '1' 
Evaluated toCountThreshold
BinFalse1919971
BinTrue1073461

"=" expression on line 251:

 is_transmitter = '1' 
Evaluated toCountThreshold
BinFalse1105791
BinTrue1887641

"=" expression on line 252:

 mr_ctr_pres_ptx_q = '1' 
Evaluated toCountThreshold
BinFalse1959801
BinTrue193641

"or" expression on line 258:

 rst_n = '0' or set_err_active = '1' 
 <---LHS--->    <-------RHS--------> 

LHSRHSCountThreshold
BinFalseFalse179231
BinFalseTrue66371
BinTrueFalse80721

"=" expression on line 258:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse245601
BinTrue80721

"=" expression on line 258:

 set_err_active = '1' 
Evaluated toCountThreshold
BinFalse259951
BinTrue66371

"=" expression on line 284:

 res_err_ctrs_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10943390431
BinTrue24555511

"=" expression on line 287:

 tx_err_ctr_ce = '1' 
Evaluated toCountThreshold
BinFalse5471160881
BinTrue451261

"=" expression on line 303:

 inc_one = '1' 
Evaluated toCountThreshold
BinFalse626871
BinTrue580751

"=" expression on line 314:

 mr_ctr_pres_prx_q = '1' 
Evaluated toCountThreshold
BinFalse4083411
BinTrue229061

"or" expression on line 315:

 inc_one = '1' or inc_eight = '1' 
 <----LHS---->    <-----RHS-----> 

LHSRHSCountThreshold
BinFalseFalse2539221
BinFalseTrue821471
BinTrueFalse722721

"=" expression on line 315:

 inc_one = '1' 
Evaluated toCountThreshold
BinFalse3360691
BinTrue722721

"=" expression on line 315:

 inc_eight = '1' 
Evaluated toCountThreshold
BinFalse3261941
BinTrue821471

"and" expression on line 320:

 modif_rx_ctr = '1' and is_receiver = '1' 
 <------LHS------->     <------RHS------> 

LHSRHSCountThreshold
BinFalseTrue1000771
BinTrueFalse840531
BinTrueTrue692041

"=" expression on line 320:

 modif_rx_ctr = '1' 
Evaluated toCountThreshold
BinFalse2593171
BinTrue1532571

"=" expression on line 320:

 is_receiver = '1' 
Evaluated toCountThreshold
BinFalse2432931
BinTrue1692811

"=" expression on line 321:

 mr_ctr_pres_prx_q = '1' 
Evaluated toCountThreshold
BinFalse3236111
BinTrue197591

"=" expression on line 329:

 res_err_ctrs_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10943390431
BinTrue24555511

"=" expression on line 332:

 rx_err_ctr_ce = '1' 
Evaluated toCountThreshold
BinFalse5471139101
BinTrue473041

"=" expression on line 351:

 mr_ctr_pres_enorm_q = '0' 
Evaluated toCountThreshold
BinFalse98101
BinTrue705091

"=" expression on line 355:

 mr_ctr_pres_efd_q = '0' 
Evaluated toCountThreshold
BinFalse146161
BinTrue657031

"or" expression on lines 360 to 362:

 (mr_ctr_pres_enorm_q = '1') or ((inc_one = '1' or inc_eight = '1') and (sp_control = NOMINAL_SAMPLE)) 
  <----------LHS---------->      <-------------------------------RHS-------------------------------->  

LHSRHSCountThreshold
BinFalseFalse1987771
BinFalseTrue1239421

"=" expression on line 360:

 mr_ctr_pres_enorm_q = '1' 
Evaluated toCountThreshold
BinFalse3227191
BinTrue66081

"and" expression on lines 361 to 362:

 (inc_one = '1' or inc_eight = '1') and (sp_control = NOMINAL_SAMPLE) 
  <-------------LHS-------------->       <-----------RHS----------->  

LHSRHSCountThreshold
BinTrueFalse137091
BinTrueTrue1239421

"or" expression on line 361:

 inc_one = '1' or inc_eight = '1' 
 <----LHS---->    <-----RHS-----> 

LHSRHSCountThreshold
BinFalseFalse1850681
BinFalseTrue852421
BinTrueFalse524091

"=" expression on line 361:

 inc_one = '1' 
Evaluated toCountThreshold
BinFalse2703101
BinTrue524091

"=" expression on line 361:

 inc_eight = '1' 
Evaluated toCountThreshold
BinFalse2374771
BinTrue852421

"or" expression on lines 366 to 368:

 (mr_ctr_pres_efd_q = '1') or ((inc_one = '1' or inc_eight = '1') and (sp_control = DATA_SAMPLE or sp_control = SECONDARY_SAMPLE)) 
  <---------LHS--------->      <----------------------------------------------RHS----------------------------------------------->  

LHSRHSCountThreshold
BinFalseFalse3090101
BinFalseTrue137091

"=" expression on line 366:

 mr_ctr_pres_efd_q = '1' 
Evaluated toCountThreshold
BinFalse3227191
BinTrue66081

"and" expression on lines 367 to 368:

 (inc_one = '1' or inc_eight = '1') and (sp_control = DATA_SAMPLE or sp_control = SECONDARY_SAMPLE) 
  <-------------LHS-------------->       <--------------------------RHS-------------------------->  

LHSRHSCountThreshold
BinTrueFalse1239421
BinTrueTrue137091

"or" expression on line 367:

 inc_one = '1' or inc_eight = '1' 
 <----LHS---->    <-----RHS-----> 

LHSRHSCountThreshold
BinFalseFalse1850681
BinFalseTrue852421
BinTrueFalse524091

"=" expression on line 367:

 inc_one = '1' 
Evaluated toCountThreshold
BinFalse2703101
BinTrue524091

"=" expression on line 367:

 inc_eight = '1' 
Evaluated toCountThreshold
BinFalse2374771
BinTrue852421

"or" expression on line 368:

 sp_control = DATA_SAMPLE or sp_control = SECONDARY_SAMPLE 
 <---------LHS---------->    <------------RHS------------> 

LHSRHSCountThreshold
BinFalseFalse1239421
BinFalseTrue14221

"=" expression on line 377:

 res_err_ctrs_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10943390431
BinTrue24555511

"=" expression on line 380:

 nom_err_ctr_ce = '1' 
Evaluated toCountThreshold
BinFalse5471377361
BinTrue234781

"=" expression on line 388:

 res_err_ctrs_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10943390431
BinTrue24555511

"=" expression on line 391:

 data_err_ctr_ce = '1' 
Evaluated toCountThreshold
BinFalse5471442001
BinTrue170141

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: