NVC code coverage report

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.PRESCALER_INST.BIT_SEGMENT_METER_NBT_INST

File:  /__w/ctu-can-regression/ctu-can-regression/src/prescaler/bit_segment_meter.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.PRESCALER_INST.BIT_SEGMENT_METER_NBT_INST 100.0 % (66/66) 100.0 % (48/48) 100.0 % (96/96) 100.0 % (161/161) N.A. N.A. 100.0 % (371/371)

Details:

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

Uncovered statements:

Excluded statements:

Covered statements:

If statement:

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

Count: 16000
Threshold: 1

Sequential statement:

274:            return a; 
Count: 12800
Threshold: 1

Sequential statement:

276:            return b; 
Count: 3200
Threshold: 1

If statement:

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: 66380730
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

354:                 '0'
Count: 33128341
Threshold: 1

If statement:

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: 66269543
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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: 327944342
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Count: 204990415
Threshold: 1

Signal assignment statement:

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

Count: 204990415
Threshold: 1

If statement:

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: 227191995
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

375:                        segm_ext_add
Count: 130010060
Threshold: 1

If statement:

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: 44303976
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

388:                             '0'
Count: 22218389
Threshold: 1

If statement:

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: 333459485
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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: 45877697
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

403:                         '0'
Count: 22432660
Threshold: 1

If statement:

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

Count: 1055177083
Threshold: 1

Signal assignment statement:

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

If statement:

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

Count: 526374300
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Count: 305661269
Threshold: 1

If statement:

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

Count: 611316423
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

If statement:

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: 316685330
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

434:                        '0'
Count: 122227658
Threshold: 1

If statement:

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: 316685330
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

439:                        '0'
Count: 298614204
Threshold: 1

If statement:

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: 316685330
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

445:                            '0'
Count: 303137846
Threshold: 1

If statement:

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

Count: 10045
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

448:                   '0'
Count: 1799
Threshold: 1

If statement:

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: 57815750
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

461:                          '0'
Count: 57802571
Threshold: 1

If statement:

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

Count: 27124483
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

470:                                 '0'
Count: 27111628
Threshold: 1

If statement:

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: 327777715
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

478:                         '0'
Count: 303089411
Threshold: 1

If statement:

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: 45634330
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

491:                                '0'
Count: 38692136
Threshold: 1

If statement:

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

Count: 44050316
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

498:                               '0'
Count: 28415904
Threshold: 1

If statement:

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: 37738026
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

510:                     '0'
Count: 15764769
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

273:        if (a > b) then 
Evaluated toCountThreshold
BinTrue128001
BinFalse32001

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

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
BinTrue332523891
BinFalse331283411

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

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

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

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

Evaluated toCountThreshold
BinTrue1044411
BinFalse3278399011

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

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

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

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

Evaluated toCountThreshold
BinTrue971819351
BinFalse1300100601

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

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
BinTrue220855871
BinFalse222183891

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

396:        resize(basic_segm_length, C_EXP_WIDTH) when (use_basic_segm_length = '1'
Evaluated toCountThreshold
BinTrue1460696961
BinFalse1873897891

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

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
BinTrue234450371
BinFalse224326601

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

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

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

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

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

410:            if (exp_seg_length_ce = '1') then 
Evaluated toCountThreshold
BinTrue228206111
BinFalse5035536891

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

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

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

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

Evaluated toCountThreshold
BinTrue1944576721
BinFalse1222276581

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

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

Evaluated toCountThreshold
BinTrue180711261
BinFalse2986142041

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

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
BinTrue135474841
BinFalse3031378461

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

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

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

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
BinTrue131791
BinFalse578025711

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

468:    shorten_tseg1_after_tseg2 <= '1' when (exit_ph2_immediate = '1' and phase_err_sjw_by_one = '0'
Evaluated toCountThreshold
BinTrue128551
BinFalse271116281

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

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
BinTrue246883041
BinFalse3030894111

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

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

Evaluated toCountThreshold
BinTrue6199871
BinFalse450143431

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

489:                                '1' when (is_tseg1 = '1' and exit_segm_regular = '1'
Evaluated toCountThreshold
BinTrue63222071
BinFalse386921361

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

496:    exit_segm_regular_tseg2 <= '1' when (is_tseg2 = '1' and exit_segm_regular = '1'
Evaluated toCountThreshold
BinTrue156344121
BinFalse284159041

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

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
BinTrue219732571
BinFalse157647691

Uncovered toggles:

Excluded toggles:

Covered toggles:

Port:

 CLK_SYS
FromToCountThreshold
Bin015275788691
Bin105275804601

Port:

 RES_N
FromToCountThreshold
Bin0180821
Bin1080721

Port:

 RESYNC_EDGE_VALID
FromToCountThreshold
Bin017953451
Bin107969451

Port:

 IS_TSEG1
FromToCountThreshold
Bin01110415441
Bin10110415361

Port:

 IS_TSEG2
FromToCountThreshold
Bin01110352191
Bin10110368181

Port:

 TSEG_1(7)
FromToCountThreshold
Bin014561
Bin1020541

Port:

 TSEG_1(6)
FromToCountThreshold
Bin0116891
Bin1032891

Port:

 TSEG_1(5)
FromToCountThreshold
Bin018061
Bin1024041

Port:

 TSEG_1(4)
FromToCountThreshold
Bin019351
Bin1025331

Port:

 TSEG_1(3)
FromToCountThreshold
Bin0159811
Bin1043821

Port:

 TSEG_1(2)
FromToCountThreshold
Bin0141921
Bin1057841

Port:

 TSEG_1(1)
FromToCountThreshold
Bin0110671
Bin1026641

Port:

 TSEG_1(0)
FromToCountThreshold
Bin0137591
Bin1021591

Port:

 TSEG_2(5)
FromToCountThreshold
Bin012041
Bin1018021

Port:

 TSEG_2(4)
FromToCountThreshold
Bin013471
Bin1019441

Port:

 TSEG_2(3)
FromToCountThreshold
Bin013141
Bin1019121

Port:

 TSEG_2(2)
FromToCountThreshold
Bin0138721
Bin1022741

Port:

 TSEG_2(1)
FromToCountThreshold
Bin0134111
Bin1050031

Port:

 TSEG_2(0)
FromToCountThreshold
Bin0121611
Bin105611

Port:

 SJW(4)
FromToCountThreshold
Bin012051
Bin1018021

Port:

 SJW(3)
FromToCountThreshold
Bin012691
Bin1018661

Port:

 SJW(2)
FromToCountThreshold
Bin019661
Bin1025631

Port:

 SJW(1)
FromToCountThreshold
Bin0126251
Bin1010321

Port:

 SJW(0)
FromToCountThreshold
Bin0131161
Bin1047131

Port:

 START_EDGE
FromToCountThreshold
Bin0164811
Bin1080811

Port:

 SEGM_COUNTER(7)
FromToCountThreshold
Bin015395811
Bin105411811

Port:

 SEGM_COUNTER(6)
FromToCountThreshold
Bin018912641
Bin108928631

Port:

 SEGM_COUNTER(5)
FromToCountThreshold
Bin0130712221
Bin1030728221

Port:

 SEGM_COUNTER(4)
FromToCountThreshold
Bin0166447661
Bin1066463651

Port:

 SEGM_COUNTER(3)
FromToCountThreshold
Bin01147816501
Bin10147832481

Port:

 SEGM_COUNTER(2)
FromToCountThreshold
Bin01361140691
Bin10361156691

Port:

 SEGM_COUNTER(1)
FromToCountThreshold
Bin01759471701
Bin10759487671

Port:

 SEGM_COUNTER(0)
FromToCountThreshold
Bin011455610481
Bin101455626451

Port:

 SEGM_END
FromToCountThreshold
Bin01220844111
Bin10220860111

Port:

 H_SYNC_VALID
FromToCountThreshold
Bin01553651
Bin10569651

Port:

 EXIT_SEGM_REQ
FromToCountThreshold
Bin01157615701
Bin10157631691

Signal:

 SEL_TSEG1
FromToCountThreshold
Bin01331227941
Bin10331243861

Signal:

 EXP_SEG_LENGTH_CE
FromToCountThreshold
Bin01224278601
Bin10224294601

Signal:

 PHASE_ERR_MT_SJW
FromToCountThreshold
Bin01110777781
Bin10110793711

Signal:

 PHASE_ERR_EQ_SJW
FromToCountThreshold
Bin01180711261
Bin10180727251

Signal:

 EXIT_PH2_IMMEDIATE
FromToCountThreshold
Bin01131661
Bin10147661

Signal:

 EXIT_SEGM_REGULAR
FromToCountThreshold
Bin01157607501
Bin10157623491

Signal:

 EXIT_SEGM_REGULAR_TSEG1
FromToCountThreshold
Bin0163222051
Bin1063238051

Signal:

 EXIT_SEGM_REGULAR_TSEG2
FromToCountThreshold
Bin01156344121
Bin10156360111

Signal:

 SJW_MT_ZERO
FromToCountThreshold
Bin0117921
Bin1017991

Signal:

 USE_BASIC_SEGM_LENGTH
FromToCountThreshold
Bin01220855871
Bin10220871871

Signal:

 PHASE_ERR_SJW_BY_ONE
FromToCountThreshold
Bin01135474841
Bin10135490801

Signal:

 SHORTEN_TSEG1_AFTER_TSEG2
FromToCountThreshold
Bin01128551
Bin10144551

Uncovered expressions:

Excluded expressions:

Covered expressions:

">" expression

273:        if (a > b) then 
Evaluated toCountThreshold
BinFalse32001
BinTrue128001

"=" expression

351:    sel_tseg1 <= '1' when (h_sync_valid = '1' or start_edge = '1' or shorten_tseg1_after_tseg2 = '1') or 
Evaluated toCountThreshold
BinFalse663012141
BinTrue795161

"=" expression

351:    sel_tseg1 <= '1' when (h_sync_valid = '1' or start_edge = '1' or shorten_tseg1_after_tseg2 = '1') or 
Evaluated toCountThreshold
BinFalse663742491
BinTrue64811

"or" expression

351:    sel_tseg1 <= '1' when (h_sync_valid = '1' or start_edge = '1' or shorten_tseg1_after_tseg2 = '1') or 
                               <------LHS------->    <-----RHS------>                                        

LHSRHSCountThreshold
BinFalseFalse662947331
BinFalseTrue64811
BinTrueFalse795161

"=" expression

351:    sel_tseg1 <= '1' when (h_sync_valid = '1' or start_edge = '1' or shorten_tseg1_after_tseg2 = '1') or 
Evaluated toCountThreshold
BinFalse663579941
BinTrue227361

"or" expression

351:    sel_tseg1 <= '1' when (h_sync_valid = '1' or start_edge = '1' or shorten_tseg1_after_tseg2 = '1') or 
                               <----------------LHS----------------->    <-------------RHS------------->     

LHSRHSCountThreshold
BinFalseFalse662719971
BinFalseTrue227361
BinTrueFalse859971

"=" expression

352:                          (segm_end = '1' and is_tseg2 = '1') or 
Evaluated toCountThreshold
BinFalse222020681
BinTrue441786621

"=" expression

352:                          (segm_end = '1' and is_tseg2 = '1') or 
Evaluated toCountThreshold
BinFalse332612001
BinTrue331195301

"and" expression

352:                          (segm_end = '1' and is_tseg2 = '1') or 
                               <----LHS----->     <----RHS----->     

LHSRHSCountThreshold
BinFalseTrue110492921
BinTrueFalse221084241
BinTrueTrue220702381

"or" expression

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 

LHSRHSCountThreshold
BinFalseFalse442187391
BinFalseTrue220532581
BinTrueFalse917531

"=" expression

353:                          (segm_end = '0' and is_tseg1 = '1') else 
Evaluated toCountThreshold
BinFalse441818621
BinTrue221988681

"=" expression

353:                          (segm_end = '0' and is_tseg1 = '1') else 
Evaluated toCountThreshold
BinFalse331299121
BinTrue332508181

"and" expression

353:                          (segm_end = '0' and is_tseg1 = '1') else 
                               <----LHS----->     <----RHS----->       

LHSRHSCountThreshold
BinFalseTrue221093141
BinTrueFalse110573641
BinTrueTrue111415041

"or" expression

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 

LHSRHSCountThreshold
BinFalseFalse331283411
BinFalseTrue110903981
BinTrueFalse221108851

"=" expression

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

"=" expression

361:               to_unsigned(1, C_EXT_WIDTH) when (h_sync_valid = '1' or 
Evaluated toCountThreshold
BinFalse3278620061
BinTrue823361

"=" expression

362:                                                 shorten_tseg1_after_tseg2 = '1') else 
Evaluated toCountThreshold
BinFalse3279222371
BinTrue221051

"or" expression

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

LHSRHSCountThreshold
BinFalseFalse3278399011
BinFalseTrue221051
BinTrueFalse823361

"=" expression

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

"=" expression

372:    sync_segm_length <= segm_ext_sub when (is_tseg2 = '1' or h_sync_valid = '1' or 
Evaluated toCountThreshold
BinFalse1301234081
BinTrue970685871

"=" expression

372:    sync_segm_length <= segm_ext_sub when (is_tseg2 = '1' or h_sync_valid = '1' or 
Evaluated toCountThreshold
BinFalse2270654451
BinTrue1265501

"or" expression

372:    sync_segm_length <= segm_ext_sub when (is_tseg2 = '1' or h_sync_valid = '1' or 
                                               <----LHS----->    <------RHS------->    

LHSRHSCountThreshold
BinFalseFalse1300195961
BinFalseTrue1038121
BinTrueFalse970458491

"=" expression

373:                                           exit_ph2_immediate = '1'
Evaluated toCountThreshold
BinFalse2271470121
BinTrue449831

"or" expression

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

LHSRHSCountThreshold
BinFalseFalse1300100601
BinFalseTrue95361
BinTrueFalse971369521

"=" expression

384:    use_basic_segm_length <= '1' when (start_edge = '1') or 
Evaluated toCountThreshold
BinFalse442974951
BinTrue64811

"=" expression

385:                                      (segm_end = '1' and h_sync_valid = '0' and 
Evaluated toCountThreshold
BinFalse221947061
BinTrue221092701

"=" expression

385:                                      (segm_end = '1' and h_sync_valid = '0' and 
Evaluated toCountThreshold
BinFalse752191
BinTrue442287571

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue221403351
BinTrueFalse208481
BinTrueTrue220884221

"=" expression

386:                                       shorten_tseg1_after_tseg2 = '0'
Evaluated toCountThreshold
BinFalse150301
BinTrue442889461

"and" expression

385:                                      (segm_end = '1' and h_sync_valid = '0' and 
386:                                       shorten_tseg1_after_tseg2 = '0') 

LHSRHSCountThreshold
BinFalseTrue222098401
BinTrueFalse93161
BinTrueTrue220791061

"or" expression

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') 

LHSRHSCountThreshold
BinFalseFalse222183891
BinFalseTrue220791061
BinTrueFalse64811

"=" expression

396:        resize(basic_segm_length, C_EXP_WIDTH) when (use_basic_segm_length = '1'
Evaluated toCountThreshold
BinFalse1873897891
BinTrue1460696961

"=" expression

400:    exp_seg_length_ce <= '1' when (segm_end = '1' or resync_edge_valid = '1' or 
Evaluated toCountThreshold
BinFalse232175271
BinTrue226601701

"=" expression

400:    exp_seg_length_ce <= '1' when (segm_end = '1' or resync_edge_valid = '1' or 
Evaluated toCountThreshold
BinFalse446583961
BinTrue12193011

"or" expression

400:    exp_seg_length_ce <= '1' when (segm_end = '1' or resync_edge_valid = '1' or 
                                       <----LHS----->    <---------RHS--------->    

LHSRHSCountThreshold
BinFalseFalse224903121
BinFalseTrue7272151
BinTrueFalse221680841

"=" expression

401:                                   h_sync_valid = '1' or start_edge = '1') 
Evaluated toCountThreshold
BinFalse458056781
BinTrue720191

"or" expression

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') 

LHSRHSCountThreshold
BinFalseFalse224391411
BinFalseTrue511711
BinTrueFalse233665371

"=" expression

401:                                   h_sync_valid = '1' or start_edge = '1'
Evaluated toCountThreshold
BinFalse458712161
BinTrue64811

"or" expression

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') 

LHSRHSCountThreshold
BinFalseFalse224326601
BinFalseTrue64811
BinTrueFalse234385561

"=" expression

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

"=" expression

410:            if (exp_seg_length_ce = '1') then 
Evaluated toCountThreshold
BinFalse5035536891
BinTrue228206111

"=" expression

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

"=" expression

458:    exit_ph2_immediate <= '1' when ((phase_err_mt_sjw = '0' or phase_err_sjw_by_one = '1') and 
Evaluated toCountThreshold
BinFalse346482511
BinTrue231674991

"=" expression

458:    exit_ph2_immediate <= '1' when ((phase_err_mt_sjw = '0' or phase_err_sjw_by_one = '1') and 
Evaluated toCountThreshold
BinFalse388694461
BinTrue189463041

"or" expression

458:    exit_ph2_immediate <= '1' when ((phase_err_mt_sjw = '0' or phase_err_sjw_by_one = '1') and 
                                         <--------LHS--------->    <----------RHS----------->      

LHSRHSCountThreshold
BinFalseFalse157019471
BinFalseTrue189463041
BinTrueFalse231674991

"=" expression

459:                                    is_tseg2 = '1' and resync_edge_valid = '1') 
Evaluated toCountThreshold
BinFalse284995591
BinTrue293161911

"and" expression

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') 

LHSRHSCountThreshold
BinFalseTrue95985801
BinTrueFalse223961921
BinTrueTrue197176111

"=" expression

459:                                    is_tseg2 = '1' and resync_edge_valid = '1'
Evaluated toCountThreshold
BinFalse570203051
BinTrue7954451

"and" expression

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') 

LHSRHSCountThreshold
BinFalseTrue7822661
BinTrueFalse197044321
BinTrueTrue131791

"=" expression

468:    shorten_tseg1_after_tseg2 <= '1' when (exit_ph2_immediate = '1' and phase_err_sjw_by_one = '0') 
Evaluated toCountThreshold
BinFalse271113171
BinTrue131661

"=" expression

468:    shorten_tseg1_after_tseg2 <= '1' when (exit_ph2_immediate = '1' and phase_err_sjw_by_one = '0'
Evaluated toCountThreshold
BinFalse135497061
BinTrue135747771

"and" expression

468:    shorten_tseg1_after_tseg2 <= '1' when (exit_ph2_immediate = '1' and phase_err_sjw_by_one = '0'
                                               <---------LHS---------->     <----------RHS----------->  

LHSRHSCountThreshold
BinFalseTrue135619221
BinTrueFalse3111
BinTrueTrue128551

"=" expression

486:    exit_segm_regular_tseg1 <=  '0' when (is_tseg1 = '1' and resync_edge_valid = '1' and 
Evaluated toCountThreshold
BinFalse267056781
BinTrue189286521

"=" expression

486:    exit_segm_regular_tseg1 <=  '0' when (is_tseg1 = '1' and resync_edge_valid = '1' and 
Evaluated toCountThreshold
BinFalse448389851
BinTrue7953451

"and" expression

486:    exit_segm_regular_tseg1 <=  '0' when (is_tseg1 = '1' and resync_edge_valid = '1' and 
                                              <----LHS----->     <---------RHS--------->     

LHSRHSCountThreshold
BinFalseTrue204071
BinTrueFalse181537141
BinTrueTrue7749381

"=" expression

487:                                          sjw_mt_zero = '1'
Evaluated toCountThreshold
BinFalse61457411
BinTrue394885891

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue388686021
BinTrueFalse1549511
BinTrueTrue6199871

"=" expression

489:                                '1' when (is_tseg1 = '1' and exit_segm_regular = '1') 
Evaluated toCountThreshold
BinFalse267056781
BinTrue183086651

"=" expression

489:                                '1' when (is_tseg1 = '1' and exit_segm_regular = '1'
Evaluated toCountThreshold
BinFalse230418831
BinTrue219724601

"and" expression

489:                                '1' when (is_tseg1 = '1' and exit_segm_regular = '1'
                                              <----LHS----->     <---------RHS--------->  

LHSRHSCountThreshold
BinFalseTrue156502531
BinTrueFalse119864581
BinTrueTrue63222071

"=" expression

496:    exit_segm_regular_tseg2 <= '1' when (is_tseg2 = '1' and exit_segm_regular = '1') 
Evaluated toCountThreshold
BinFalse173800981
BinTrue266702181

"=" expression

496:    exit_segm_regular_tseg2 <= '1' when (is_tseg2 = '1' and exit_segm_regular = '1'
Evaluated toCountThreshold
BinFalse220936201
BinTrue219566961

"and" expression

496:    exit_segm_regular_tseg2 <= '1' when (is_tseg2 = '1' and exit_segm_regular = '1'
                                             <----LHS----->     <---------RHS--------->  

LHSRHSCountThreshold
BinFalseTrue63222841
BinTrueFalse110358061
BinTrueTrue156344121

"=" expression

507:    exit_segm_req <= '1' when (exit_ph2_immediate = '1') or 
Evaluated toCountThreshold
BinFalse377248601
BinTrue131661

"=" expression

508:                              (exit_segm_regular_tseg1 = '1' or exit_segm_regular_tseg2 = '1') 
Evaluated toCountThreshold
BinFalse314158211
BinTrue63222051

"=" expression

508:                              (exit_segm_regular_tseg1 = '1' or exit_segm_regular_tseg2 = '1'
Evaluated toCountThreshold
BinFalse220878701
BinTrue156501561

"or" expression

508:                              (exit_segm_regular_tseg1 = '1' or exit_segm_regular_tseg2 = '1'
                                   <------------LHS------------>    <------------RHS------------>  

LHSRHSCountThreshold
BinFalseFalse157656651
BinFalseTrue156501561
BinTrueFalse63222051

"or" expression

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

LHSRHSCountThreshold
BinFalseFalse157647691
BinFalseTrue219600911
BinTrueFalse8961

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: