NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.PRESCALER_INST.BIT_SEGMENT_METER_DBT_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/prescaler/prescaler.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.PRESCALER_INST.BIT_SEGMENT_METER_DBT_INST 100.0 % (66/66) 100.0 % (48/48) 100.0 % (90/90) 100.0 % (161/161) N.A. N.A. 100.0 % (365/365)

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 273 to 277:

273:        if (a > b) then 
274:            return a; 
275:        else 
276:            return b; 
277:        end if; 

Count: 8005
Threshold: 1

Sequential statement on line 274:

274:            return a; 
Count: 6404
Threshold: 1

Sequential statement on line 276:

276:            return b; 
Count: 1601
Threshold: 1

If statement on lines 351 to 354:

351:    sel_tseg1 <= '1' when (h_sync_valid = '1' or start_edge = '1' or shorten_tseg1_after_tseg2 = '1') or 
352:                          (segm_end = '1' and is_tseg2 = '1') or 
353:                          (segm_end = '0' and is_tseg1 = '1') else 
354:                 '0'; 

Count: 68464685
Threshold: 1

Signal assignment statement on line 351:

351:    sel_tseg1 <= '1' when (h_sync_valid = '1' or start_edge = '1' or shorten_tseg1_after_tseg2 = '1') or 
Count: 34297804
Threshold: 1

Signal assignment statement on line 354:

354:                 '0'
Count: 34166881
Threshold: 1

If statement on lines 356 to 358:

356:    basic_segm_length <= 
357:        resize(unsigned(tseg_1), C_BS_WIDTH) when (sel_tseg1 = '1') else 
358:        resize(unsigned(tseg_2), C_BS_WIDTH); 

Count: 68345965
Threshold: 1

Signal assignment statement on line 357:

357:        resize(unsigned(tseg_1), C_BS_WIDTH) when (sel_tseg1 = '1') else 
Count: 34164945
Threshold: 1

Signal assignment statement on line 358:

358:        resize(unsigned(tseg_2), C_BS_WIDTH)
Count: 34181020
Threshold: 1

If statement on lines 360 to 364:

360:    segm_extension <= 
361:               to_unsigned(1, C_EXT_WIDTH) when (h_sync_valid = '1' or 
362:                                                 shorten_tseg1_after_tseg2 = '1') else 
363:        resize(unsigned(sjw), C_EXT_WIDTH) when (phase_err_mt_sjw = '1') else 
364:        resize(unsigned(segm_counter), C_EXT_WIDTH); 

Count: 103450928
Threshold: 1

Signal assignment statement on line 361:

361:               to_unsigned(1, C_EXT_WIDTH) when (h_sync_valid = '1' or 
Count: 71427
Threshold: 1

Signal assignment statement on line 363:

363:        resize(unsigned(sjw), C_EXT_WIDTH) when (phase_err_mt_sjw = '1') else 
Count: 59392976
Threshold: 1

Signal assignment statement on line 364:

364:        resize(unsigned(segm_counter), C_EXT_WIDTH)
Count: 43986525
Threshold: 1

Signal assignment statement on lines 366 to 367:

366:    segm_ext_add <= resize(basic_segm_length, C_EXP_WIDTH) + 
367:                    resize(segm_extension, C_EXP_WIDTH); 

Count: 114994021
Threshold: 1

Signal assignment statement on lines 369 to 370:

369:    segm_ext_sub <= resize(basic_segm_length, C_EXP_WIDTH) - 
370:                    resize(segm_extension, C_EXP_WIDTH); 

Count: 114994021
Threshold: 1

If statement on lines 372 to 375:

372:    sync_segm_length <= segm_ext_sub when (is_tseg2 = '1' or h_sync_valid = '1' or 
373:                                           exit_ph2_immediate = '1') 
374:                                     else 
375:                        segm_ext_add; 

Count: 137883336
Threshold: 1

Signal assignment statement on line 372:

372:    sync_segm_length <= segm_ext_sub when (is_tseg2 = '1' or h_sync_valid = '1' or 
Count: 63672896
Threshold: 1

Signal assignment statement on line 375:

375:                        segm_ext_add
Count: 74210440
Threshold: 1

If statement on lines 384 to 388:

384:    use_basic_segm_length <= '1' when (start_edge = '1') or 
385:                                      (segm_end = '1' and h_sync_valid = '0' and 
386:                                       shorten_tseg1_after_tseg2 = '0') 
387:                                 else 
388:                             '0'; 

Count: 45693948
Threshold: 1

Signal assignment statement on line 384:

384:    use_basic_segm_length <= '1' when (start_edge = '1') or 
Count: 22779884
Threshold: 1

Signal assignment statement on line 388:

388:                             '0'
Count: 22914064
Threshold: 1

If statement on lines 395 to 398:

395:    exp_seg_length_d <= 
396:        resize(basic_segm_length, C_EXP_WIDTH) when (use_basic_segm_length = '1') 
397:                                               else 
398:        resize(sync_segm_length, C_EXP_WIDTH); 

Count: 237367568
Threshold: 1

Signal assignment statement on line 396:

396:        resize(basic_segm_length, C_EXP_WIDTH) when (use_basic_segm_length = '1') 
Count: 130546808
Threshold: 1

Signal assignment statement on line 398:

398:        resize(sync_segm_length, C_EXP_WIDTH)
Count: 106820760
Threshold: 1

If statement on lines 400 to 403:

400:    exp_seg_length_ce <= '1' when (segm_end = '1' or resync_edge_valid = '1' or 
401:                                   h_sync_valid = '1' or start_edge = '1') 
402:                             else 
403:                         '0'; 

Count: 47278920
Threshold: 1

Signal assignment statement on line 400:

400:    exp_seg_length_ce <= '1' when (segm_end = '1' or resync_edge_valid = '1' or 
Count: 24152305
Threshold: 1

Signal assignment statement on line 403:

403:                         '0'
Count: 23126615
Threshold: 1

If statement on lines 407 to 413:

407:        if (res_n = '0') then 
408:            exp_seg_length_q <= (others => '1'); 
...
412:            end if; 
413:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 408:

408:            exp_seg_length_q <= (others => '1'); 
Count: 2424883
Threshold: 1

If statement on lines 410 to 412:

410:            if (exp_seg_length_ce = '1') then 
411:                exp_seg_length_q <= exp_seg_length_d; 
412:            end if; 

Count: 543791678
Threshold: 1

Signal assignment statement on line 411:

411:                exp_seg_length_q <= exp_seg_length_d; 
Count: 23517458
Threshold: 1

Signal assignment statement on lines 425 to 426:

425:    neg_phase_err  <= resize(unsigned(tseg_2), C_E_WIDTH) - 
426:                      resize(unsigned(segm_counter), C_E_WIDTH); 

Count: 92734825
Threshold: 1

If statement on lines 428 to 429:

428:    phase_err <= resize(neg_phase_err, C_E_WIDTH) when (is_tseg2 = '1') else 
429:                 resize(unsigned(segm_counter), C_E_WIDTH); 

Count: 198237384
Threshold: 1

Signal assignment statement on line 428:

428:    phase_err <= resize(neg_phase_err, C_E_WIDTH) when (is_tseg2 = '1') else 
Count: 68202743
Threshold: 1

Signal assignment statement on line 429:

429:                 resize(unsigned(segm_counter), C_E_WIDTH)
Count: 130034641
Threshold: 1

If statement on lines 431 to 434:

431:    phase_err_mt_sjw <= '1' when (resize(phase_err, C_E_SJW_WIDTH) > 
432:                                  resize(unsigned(sjw), C_E_SJW_WIDTH)) 
433:                            else 
434:                        '0'; 

Count: 110441032
Threshold: 1

Signal assignment statement on line 431:

431:    phase_err_mt_sjw <= '1' when (resize(phase_err, C_E_SJW_WIDTH) > 
Count: 59311623
Threshold: 1

Signal assignment statement on line 434:

434:                        '0'
Count: 51129409
Threshold: 1

If statement on lines 436 to 439:

436:    phase_err_eq_sjw <= '1' when (resize(phase_err, C_E_SJW_WIDTH) = 
437:                                  resize(unsigned(sjw), C_E_SJW_WIDTH)) 
438:                            else 
439:                        '0'; 

Count: 110441032
Threshold: 1

Signal assignment statement on line 436:

436:    phase_err_eq_sjw <= '1' when (resize(phase_err, C_E_SJW_WIDTH) = 
Count: 13488135
Threshold: 1

Signal assignment statement on line 439:

439:                        '0'
Count: 96952897
Threshold: 1

If statement on lines 441 to 445:

441:    phase_err_sjw_by_one <= '1' when (resize(phase_err, C_E_SJW_WIDTH) = 
442:                                      (resize(unsigned(sjw), C_E_SJW_WIDTH) + 
443:                                       to_unsigned(1, C_E_SJW_WIDTH))) 
444:                                else 
445:                            '0'; 

Count: 110441032
Threshold: 1

Signal assignment statement on line 441:

441:    phase_err_sjw_by_one <= '1' when (resize(phase_err, C_E_SJW_WIDTH) = 
Count: 6281443
Threshold: 1

Signal assignment statement on line 445:

445:                            '0'
Count: 104159589
Threshold: 1

If statement on lines 447 to 448:

447:    sjw_mt_zero <= '1' when (unsigned(sjw) > 0) else 
448:                   '0'; 

Count: 5738
Threshold: 1

Signal assignment statement on line 447:

447:    sjw_mt_zero <= '1' when (unsigned(sjw) > 0) else 
Count: 3900
Threshold: 1

Signal assignment statement on line 448:

448:                   '0'
Count: 1838
Threshold: 1

If statement on lines 458 to 461:

458:    exit_ph2_immediate <= '1' when ((phase_err_mt_sjw = '0' or phase_err_sjw_by_one = '1') and 
459:                                    is_tseg2 = '1' and resync_edge_valid = '1') 
460:                              else 
461:                          '0'; 

Count: 41069810
Threshold: 1

Signal assignment statement on line 458:

458:    exit_ph2_immediate <= '1' when ((phase_err_mt_sjw = '0' or phase_err_sjw_by_one = '1') and 
Count: 8215
Threshold: 1

Signal assignment statement on line 461:

461:                          '0'
Count: 41061595
Threshold: 1

If statement on lines 468 to 470:

468:    shorten_tseg1_after_tseg2 <= '1' when (exit_ph2_immediate = '1' and phase_err_sjw_by_one = '0') 
469:                                     else 
470:                                 '0'; 

Count: 12582490
Threshold: 1

Signal assignment statement on line 468:

468:    shorten_tseg1_after_tseg2 <= '1' when (exit_ph2_immediate = '1' and phase_err_sjw_by_one = '0') 
Count: 8014
Threshold: 1

Signal assignment statement on line 470:

470:                                 '0'
Count: 12574476
Threshold: 1

If statement on lines 475 to 478:

475:    exit_segm_regular <= '1' when (resize(unsigned(segm_counter), C_EXP_WIDTH) >= 
476:                                   resize(unsigned(exp_seg_length_q) - 1, C_EXP_WIDTH)) 
477:                             else 
478:                         '0'; 

Count: 115532505
Threshold: 1

Signal assignment statement on line 475:

475:    exit_segm_regular <= '1' when (resize(unsigned(segm_counter), C_EXP_WIDTH) >= 
Count: 17260317
Threshold: 1

Signal assignment statement on line 478:

478:                         '0'
Count: 98272188
Threshold: 1

If statement on lines 486 to 491:

486:    exit_segm_regular_tseg1 <=  '0' when (is_tseg1 = '1' and resync_edge_valid = '1' and 
487:                                          sjw_mt_zero = '1') 
488:                                    else 
489:                                '1' when (is_tseg1 = '1' and exit_segm_regular = '1') 
490:                                    else 
491:                                '0'; 

Count: 39344403
Threshold: 1

Signal assignment statement on line 486:

486:    exit_segm_regular_tseg1 <=  '0' when (is_tseg1 = '1' and resync_edge_valid = '1' and 
Count: 623276
Threshold: 1

Signal assignment statement on line 489:

489:                                '1' when (is_tseg1 = '1' and exit_segm_regular = '1') 
Count: 5051667
Threshold: 1

Signal assignment statement on line 491:

491:                                '0'
Count: 33669460
Threshold: 1

If statement on lines 496 to 498:

496:    exit_segm_regular_tseg2 <= '1' when (is_tseg2 = '1' and exit_segm_regular = '1') 
497:                                   else 
498:                               '0'; 

Count: 37747516
Threshold: 1

Signal assignment statement on line 496:

496:    exit_segm_regular_tseg2 <= '1' when (is_tseg2 = '1' and exit_segm_regular = '1') 
Count: 9938090
Threshold: 1

Signal assignment statement on line 498:

498:                               '0'
Count: 27809426
Threshold: 1

If statement on lines 507 to 510:

507:    exit_segm_req <= '1' when (exit_ph2_immediate = '1') or 
508:                              (exit_segm_regular_tseg1 = '1' or exit_segm_regular_tseg2 = '1') 
509:                         else 
510:                     '0'; 

Count: 24979391
Threshold: 1

Signal assignment statement on line 507:

507:    exit_segm_req <= '1' when (exit_ph2_immediate = '1') or 
Count: 14997937
Threshold: 1

Signal assignment statement on line 510:

510:                     '0'
Count: 9981454
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

273:        if (a > b) then 
Evaluated toCountThreshold
BinTrue64041
BinFalse16011

"if" / "when" / "else" condition on lines 351 to 353:

351:    sel_tseg1 <= '1' when (h_sync_valid = '1' or start_edge = '1' or shorten_tseg1_after_tseg2 = '1') or 
352:                          (segm_end = '1' and is_tseg2 = '1') or 
353:                          (segm_end = '0' and is_tseg1 = '1') else 

Evaluated toCountThreshold
BinTrue342978041
BinFalse341668811

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

357:        resize(unsigned(tseg_1), C_BS_WIDTH) when (sel_tseg1 = '1') else 
Evaluated toCountThreshold
BinTrue341649451
BinFalse341810201

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

361:               to_unsigned(1, C_EXT_WIDTH) when (h_sync_valid = '1' or 
362:                                                 shorten_tseg1_after_tseg2 = '1') else 

Evaluated toCountThreshold
BinTrue714271
BinFalse1033795011

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

363:        resize(unsigned(sjw), C_EXT_WIDTH) when (phase_err_mt_sjw = '1') else 
Evaluated toCountThreshold
BinTrue593929761
BinFalse439865251

"if" / "when" / "else" condition on lines 372 to 373:

372:    sync_segm_length <= segm_ext_sub when (is_tseg2 = '1' or h_sync_valid = '1' or 
373:                                           exit_ph2_immediate = '1') 

Evaluated toCountThreshold
BinTrue636728961
BinFalse742104401

"if" / "when" / "else" condition on lines 384 to 386:

384:    use_basic_segm_length <= '1' when (start_edge = '1') or 
385:                                      (segm_end = '1' and h_sync_valid = '0' and 
386:                                       shorten_tseg1_after_tseg2 = '0') 

Evaluated toCountThreshold
BinTrue227798841
BinFalse229140641

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

396:        resize(basic_segm_length, C_EXP_WIDTH) when (use_basic_segm_length = '1'
Evaluated toCountThreshold
BinTrue1305468081
BinFalse1068207601

"if" / "when" / "else" condition on lines 400 to 401:

400:    exp_seg_length_ce <= '1' when (segm_end = '1' or resync_edge_valid = '1' or 
401:                                   h_sync_valid = '1' or start_edge = '1') 

Evaluated toCountThreshold
BinTrue241523051
BinFalse231266151

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

407:        if (res_n = '0') then 
Evaluated toCountThreshold
BinTrue24248831
BinFalse10875933231

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

409:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437916781
BinFalse5438016451

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

410:            if (exp_seg_length_ce = '1') then 
Evaluated toCountThreshold
BinTrue235174581
BinFalse5202742201

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

428:    phase_err <= resize(neg_phase_err, C_E_WIDTH) when (is_tseg2 = '1') else 
Evaluated toCountThreshold
BinTrue682027431
BinFalse1300346411

"if" / "when" / "else" condition on lines 431 to 432:

431:    phase_err_mt_sjw <= '1' when (resize(phase_err, C_E_SJW_WIDTH) > 
432:                                  resize(unsigned(sjw), C_E_SJW_WIDTH)) 

Evaluated toCountThreshold
BinTrue593116231
BinFalse511294091

"if" / "when" / "else" condition on lines 436 to 437:

436:    phase_err_eq_sjw <= '1' when (resize(phase_err, C_E_SJW_WIDTH) = 
437:                                  resize(unsigned(sjw), C_E_SJW_WIDTH)) 

Evaluated toCountThreshold
BinTrue134881351
BinFalse969528971

"if" / "when" / "else" condition on lines 441 to 443:

441:    phase_err_sjw_by_one <= '1' when (resize(phase_err, C_E_SJW_WIDTH) = 
442:                                      (resize(unsigned(sjw), C_E_SJW_WIDTH) + 
443:                                       to_unsigned(1, C_E_SJW_WIDTH))) 

Evaluated toCountThreshold
BinTrue62814431
BinFalse1041595891

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

447:    sjw_mt_zero <= '1' when (unsigned(sjw) > 0) else 
Evaluated toCountThreshold
BinTrue39001
BinFalse18381

"if" / "when" / "else" condition on lines 458 to 459:

458:    exit_ph2_immediate <= '1' when ((phase_err_mt_sjw = '0' or phase_err_sjw_by_one = '1') and 
459:                                    is_tseg2 = '1' and resync_edge_valid = '1') 

Evaluated toCountThreshold
BinTrue82151
BinFalse410615951

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

468:    shorten_tseg1_after_tseg2 <= '1' when (exit_ph2_immediate = '1' and phase_err_sjw_by_one = '0'
Evaluated toCountThreshold
BinTrue80141
BinFalse125744761

"if" / "when" / "else" condition on lines 475 to 476:

475:    exit_segm_regular <= '1' when (resize(unsigned(segm_counter), C_EXP_WIDTH) >= 
476:                                   resize(unsigned(exp_seg_length_q) - 1, C_EXP_WIDTH)) 

Evaluated toCountThreshold
BinTrue172603171
BinFalse982721881

"if" / "when" / "else" condition on lines 486 to 487:

486:    exit_segm_regular_tseg1 <=  '0' when (is_tseg1 = '1' and resync_edge_valid = '1' and 
487:                                          sjw_mt_zero = '1') 

Evaluated toCountThreshold
BinTrue6232761
BinFalse387211271

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

489:                                '1' when (is_tseg1 = '1' and exit_segm_regular = '1'
Evaluated toCountThreshold
BinTrue50516671
BinFalse336694601

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

496:    exit_segm_regular_tseg2 <= '1' when (is_tseg2 = '1' and exit_segm_regular = '1'
Evaluated toCountThreshold
BinTrue99380901
BinFalse278094261

"if" / "when" / "else" condition on lines 507 to 508:

507:    exit_segm_req <= '1' when (exit_ph2_immediate = '1') or 
508:                              (exit_segm_regular_tseg1 = '1' or exit_segm_regular_tseg2 = '1') 

Evaluated toCountThreshold
BinTrue149979371
BinFalse99814541

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RES_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RESYNC_EDGE_VALID
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 IS_TSEG1
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 IS_TSEG2
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TSEG_1
ElementFromToCountThresholdExcluded due to
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:

 TSEG_2
ElementFromToCountThresholdExcluded due to
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:

 SJW
ElementFromToCountThresholdExcluded due to
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:

 START_EDGE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SEGM_COUNTER
ElementFromToCountThresholdExcluded due to
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:

 SEGM_END
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 H_SYNC_VALID
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Covered toggles:

Port:

 EXIT_SEGM_REQ
FromToCountThreshold
Bin0199782521
Bin1099798531

Signal:

 SEL_TSEG1
FromToCountThreshold
Bin01341613031
Bin10341628941

Signal:

 EXP_SEG_LENGTH_CE
FromToCountThreshold
Bin01231218121
Bin10231234131

Signal:

 PHASE_ERR_MT_SJW
FromToCountThreshold
Bin0152961941
Bin1052977941

Signal:

 PHASE_ERR_EQ_SJW
FromToCountThreshold
Bin01134881351
Bin10134897281

Signal:

 EXIT_PH2_IMMEDIATE
FromToCountThreshold
Bin0182061
Bin1098071

Signal:

 EXIT_SEGM_REGULAR
FromToCountThreshold
Bin0199673161
Bin1099689171

Signal:

 EXIT_SEGM_REGULAR_TSEG1
FromToCountThreshold
Bin0150516351
Bin1050532361

Signal:

 EXIT_SEGM_REGULAR_TSEG2
FromToCountThreshold
Bin0199380901
Bin1099396911

Signal:

 SJW_MT_ZERO
FromToCountThreshold
Bin0118301
Bin1018381

Signal:

 USE_BASIC_SEGM_LENGTH
FromToCountThreshold
Bin01227798841
Bin10227814851

Signal:

 PHASE_ERR_SJW_BY_ONE
FromToCountThreshold
Bin0162814431
Bin1062830431

Signal:

 SHORTEN_TSEG1_AFTER_TSEG2
FromToCountThreshold
Bin0180141
Bin1096151

Uncovered expressions:

Excluded expressions:

Covered expressions:

">" expression on line 273:

 a > b 
Evaluated toCountThreshold
BinFalse16011
BinTrue64041

"or" expression on lines 351 to 353:

 (h_sync_valid = '1' or start_edge = '1' or shorten_tseg1_after_tseg2 = '1') or (segm_end = '1' and is_tseg2 = '1') or (segm_end = '0' and is_tseg1 = '1') 
 <------------------------------------------------------LHS------------------------------------------------------->     <--------------RHS-------------->  

LHSRHSCountThreshold
BinFalseFalse341668811
BinFalseTrue114381271
BinTrueFalse228076641

"or" expression on lines 351 to 352:

 (h_sync_valid = '1' or start_edge = '1' or shorten_tseg1_after_tseg2 = '1') or (segm_end = '1' and is_tseg2 = '1') 
  <----------------------------------LHS---------------------------------->      <--------------RHS-------------->  

LHSRHSCountThreshold
BinFalseFalse456050081
BinFalseTrue227491421
BinTrueFalse954371

"or" expression on line 351:

 h_sync_valid = '1' or start_edge = '1' or shorten_tseg1_after_tseg2 = '1' 
 <----------------LHS----------------->    <-------------RHS-------------> 

LHSRHSCountThreshold
BinFalseFalse683541501
BinFalseTrue223811
BinTrueFalse881541

"or" expression on line 351:

 h_sync_valid = '1' or start_edge = '1' 
 <------LHS------->    <-----RHS------> 

LHSRHSCountThreshold
BinFalseFalse683765311
BinFalseTrue64821
BinTrueFalse816721

"=" expression on line 351:

 h_sync_valid = '1' 
Evaluated toCountThreshold
BinFalse683830131
BinTrue816721

"=" expression on line 351:

 start_edge = '1' 
Evaluated toCountThreshold
BinFalse684582031
BinTrue64821

"=" expression on line 351:

 shorten_tseg1_after_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse684423041
BinTrue223811

"and" expression on line 352:

 segm_end = '1' and is_tseg2 = '1' 
 <----LHS----->     <----RHS-----> 

LHSRHSCountThreshold
BinFalseTrue113975391
BinTrueFalse228014921
BinTrueTrue227642401

"=" expression on line 352:

 segm_end = '1' 
Evaluated toCountThreshold
BinFalse228989531
BinTrue455657321

"=" expression on line 352:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse343029061
BinTrue341617791

"and" expression on line 353:

 segm_end = '0' and is_tseg1 = '1' 
 <----LHS----->     <----RHS-----> 

LHSRHSCountThreshold
BinFalseTrue228023741
BinTrueFalse114056111
BinTrueTrue114901401

"=" expression on line 353:

 segm_end = '0' 
Evaluated toCountThreshold
BinFalse455689341
BinTrue228957511

"=" expression on line 353:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse341721711
BinTrue342925141

"=" expression on line 357:

 sel_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse341810201
BinTrue341649451

"or" expression on lines 361 to 362:

 h_sync_valid = '1' or shorten_tseg1_after_tseg2 = '1' 
 <------LHS------->    <-------------RHS-------------> 

LHSRHSCountThreshold
BinFalseFalse1033795011
BinFalseTrue148381
BinTrueFalse565891

"=" expression on line 361:

 h_sync_valid = '1' 
Evaluated toCountThreshold
BinFalse1033943391
BinTrue565891

"=" expression on line 362:

 shorten_tseg1_after_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse1034360901
BinTrue148381

"=" expression on line 363:

 phase_err_mt_sjw = '1' 
Evaluated toCountThreshold
BinFalse439865251
BinTrue593929761

"or" expression on lines 372 to 373:

 is_tseg2 = '1' or h_sync_valid = '1' or exit_ph2_immediate = '1' 
 <---------------LHS---------------->    <---------RHS----------> 

LHSRHSCountThreshold
BinFalseFalse742104401
BinFalseTrue74411
BinTrueFalse636415271

"or" expression on line 372:

 is_tseg2 = '1' or h_sync_valid = '1' 
 <----LHS----->    <------RHS-------> 

LHSRHSCountThreshold
BinFalseFalse742178811
BinFalseTrue1105071
BinTrueFalse635318851

"=" expression on line 372:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse743283881
BinTrue635549481

"=" expression on line 372:

 h_sync_valid = '1' 
Evaluated toCountThreshold
BinFalse1377497661
BinTrue1335701

"=" expression on line 373:

 exit_ph2_immediate = '1' 
Evaluated toCountThreshold
BinFalse1378519671
BinTrue313691

"or" expression on lines 384 to 386:

 (start_edge = '1') or (segm_end = '1' and h_sync_valid = '0' and shorten_tseg1_after_tseg2 = '0') 
  <-----LHS------>      <----------------------------------RHS---------------------------------->  

LHSRHSCountThreshold
BinFalseFalse229140641
BinFalseTrue227734021
BinTrueFalse64821

"=" expression on line 384:

 start_edge = '1' 
Evaluated toCountThreshold
BinFalse456874661
BinTrue64821

"and" expression on lines 385 to 386:

 segm_end = '1' and h_sync_valid = '0' and shorten_tseg1_after_tseg2 = '0' 
 <----------------LHS---------------->     <-------------RHS-------------> 

LHSRHSCountThreshold
BinFalseTrue229038671
BinTrueFalse73421
BinTrueTrue227734021

"and" expression on line 385:

 segm_end = '1' and h_sync_valid = '0' 
 <----LHS----->     <------RHS-------> 

LHSRHSCountThreshold
BinFalseTrue228359731
BinTrueFalse216041
BinTrueTrue227807441

"=" expression on line 385:

 segm_end = '1' 
Evaluated toCountThreshold
BinFalse228916001
BinTrue228023481

"=" expression on line 385:

 h_sync_valid = '0' 
Evaluated toCountThreshold
BinFalse772311
BinTrue456167171

"=" expression on line 386:

 shorten_tseg1_after_tseg2 = '0' 
Evaluated toCountThreshold
BinFalse166791
BinTrue456772691

"=" expression on line 396:

 use_basic_segm_length = '1' 
Evaluated toCountThreshold
BinFalse1068207601
BinTrue1305468081

"or" expression on lines 400 to 401:

 segm_end = '1' or resync_edge_valid = '1' or h_sync_valid = '1' or start_edge = '1' 
 <-----------------------------LHS----------------------------->    <-----RHS------> 

LHSRHSCountThreshold
BinFalseFalse231266151
BinFalseTrue64821
BinTrueFalse241458231

"or" expression on lines 400 to 401:

 segm_end = '1' or resync_edge_valid = '1' or h_sync_valid = '1' 
 <------------------LHS------------------>    <------RHS-------> 

LHSRHSCountThreshold
BinFalseFalse231330971
BinFalseTrue524251
BinTrueFalse240717941

"or" expression on line 400:

 segm_end = '1' or resync_edge_valid = '1' 
 <----LHS----->    <---------RHS---------> 

LHSRHSCountThreshold
BinFalseFalse231855221
BinFalseTrue7298141
BinTrueFalse228655531

"=" expression on line 400:

 segm_end = '1' 
Evaluated toCountThreshold
BinFalse239153361
BinTrue233635841

"=" expression on line 400:

 resync_edge_valid = '1' 
Evaluated toCountThreshold
BinFalse460510751
BinTrue12278451

"=" expression on line 401:

 h_sync_valid = '1' 
Evaluated toCountThreshold
BinFalse472048911
BinTrue740291

"=" expression on line 401:

 start_edge = '1' 
Evaluated toCountThreshold
BinFalse472724381
BinTrue64821

"=" expression on line 407:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 410:

 exp_seg_length_ce = '1' 
Evaluated toCountThreshold
BinFalse5202742201
BinTrue235174581

"=" expression on line 428:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse1300346411
BinTrue682027431

"and" expression on lines 458 to 459:

 (phase_err_mt_sjw = '0' or phase_err_sjw_by_one = '1') and is_tseg2 = '1' and resync_edge_valid = '1' 
 <----------------------------------LHS---------------------------------->     <---------RHS---------> 

LHSRHSCountThreshold
BinFalseTrue7921921
BinTrueFalse130102871
BinTrueTrue82151

"and" expression on lines 458 to 459:

 (phase_err_mt_sjw = '0' or phase_err_sjw_by_one = '1') and is_tseg2 = '1' 
  <-----------------------LHS------------------------>      <----RHS-----> 

LHSRHSCountThreshold
BinFalseTrue52980511
BinTrueFalse173981761
BinTrueTrue130185021

"or" expression on line 458:

 phase_err_mt_sjw = '0' or phase_err_sjw_by_one = '1' 
 <--------LHS--------->    <----------RHS-----------> 

LHSRHSCountThreshold
BinFalseFalse106531321
BinFalseTrue77492971
BinTrueFalse226673811

"=" expression on line 458:

 phase_err_mt_sjw = '0' 
Evaluated toCountThreshold
BinFalse184024291
BinTrue226673811

"=" expression on line 458:

 phase_err_sjw_by_one = '1' 
Evaluated toCountThreshold
BinFalse333205131
BinTrue77492971

"=" expression on line 459:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse227532571
BinTrue183165531

"=" expression on line 459:

 resync_edge_valid = '1' 
Evaluated toCountThreshold
BinFalse402694031
BinTrue8004071

"and" expression on line 468:

 exit_ph2_immediate = '1' and phase_err_sjw_by_one = '0' 
 <---------LHS---------->     <----------RHS-----------> 

LHSRHSCountThreshold
BinFalseTrue62910481
BinTrueFalse1921
BinTrueTrue80141

"=" expression on line 468:

 exit_ph2_immediate = '1' 
Evaluated toCountThreshold
BinFalse125742841
BinTrue82061

"=" expression on line 468:

 phase_err_sjw_by_one = '0' 
Evaluated toCountThreshold
BinFalse62834281
BinTrue62990621

"and" expression on lines 486 to 487:

 is_tseg1 = '1' and resync_edge_valid = '1' and sjw_mt_zero = '1' 
 <------------------LHS------------------->     <------RHS------> 

LHSRHSCountThreshold
BinFalseTrue299904371
BinTrueFalse1562111
BinTrueTrue6232761

"and" expression on line 486:

 is_tseg1 = '1' and resync_edge_valid = '1' 
 <----LHS----->     <---------RHS---------> 

LHSRHSCountThreshold
BinFalseTrue208741
BinTrueFalse172271101
BinTrueTrue7794871

"=" expression on line 486:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse213378061
BinTrue180065971

"=" expression on line 486:

 resync_edge_valid = '1' 
Evaluated toCountThreshold
BinFalse385440421
BinTrue8003611

"=" expression on line 487:

 sjw_mt_zero = '1' 
Evaluated toCountThreshold
BinFalse87306901
BinTrue306137131

"and" expression on line 489:

 is_tseg1 = '1' and exit_segm_regular = '1' 
 <----LHS----->     <---------RHS---------> 

LHSRHSCountThreshold
BinFalseTrue99382981
BinTrueFalse123316541
BinTrueTrue50516671

"=" expression on line 489:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse213378061
BinTrue173833211

"=" expression on line 489:

 exit_segm_regular = '1' 
Evaluated toCountThreshold
BinFalse237311621
BinTrue149899651

"and" expression on line 496:

 is_tseg2 = '1' and exit_segm_regular = '1' 
 <----LHS----->     <---------RHS---------> 

LHSRHSCountThreshold
BinFalseTrue50488281
BinTrueFalse113641681
BinTrueTrue99380901

"=" expression on line 496:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse164452581
BinTrue213022581

"=" expression on line 496:

 exit_segm_regular = '1' 
Evaluated toCountThreshold
BinFalse227605981
BinTrue149869181

"or" expression on lines 507 to 508:

 (exit_ph2_immediate = '1') or (exit_segm_regular_tseg1 = '1' or exit_segm_regular_tseg2 = '1') 
  <---------LHS---------->      <----------------------------RHS----------------------------->  

LHSRHSCountThreshold
BinFalseFalse99814541
BinFalseTrue149897311
BinTrueFalse81531

"=" expression on line 507:

 exit_ph2_immediate = '1' 
Evaluated toCountThreshold
BinFalse249711851
BinTrue82061

"or" expression on line 508:

 exit_segm_regular_tseg1 = '1' or exit_segm_regular_tseg2 = '1' 
 <------------LHS------------>    <------------RHS------------> 

LHSRHSCountThreshold
BinFalseFalse99896071
BinFalseTrue99381491
BinTrueFalse50516351

"=" expression on line 508:

 exit_segm_regular_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse199277561
BinTrue50516351

"=" expression on line 508:

 exit_segm_regular_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse150412421
BinTrue99381491

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: