NVC code coverage report

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/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_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 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: 66378703
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: 33253239
Threshold: 1

Signal assignment statement:

354:                 '0'
Count: 33125464
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: 66263184
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

358:        resize(unsigned(tseg_2), C_BS_WIDTH)
Count: 33139607
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: 103839869
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

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

Count: 113264757
Threshold: 1

Signal assignment statement:

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

Count: 113264757
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: 135457309
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

375:                        segm_ext_add
Count: 72991475
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: 44301949
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: 22216362
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: 232187368
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

398:        resize(sync_segm_length, C_EXP_WIDTH)
Count: 105086396
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: 93219169
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: 198459496
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

429:                 resize(unsigned(segm_counter), C_E_WIDTH)
Count: 130273660
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: 110205909
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

434:                        '0'
Count: 50873782
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: 110205909
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

439:                        '0'
Count: 97014169
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: 110205909
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

445:                            '0'
Count: 103929136
Threshold: 1

If statement:

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

Count: 5736
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

448:                   '0'
Count: 1838
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: 40265812
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: 7806
Threshold: 1

Signal assignment statement:

461:                          '0'
Count: 40258006
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: 12572334
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

470:                                 '0'
Count: 12564725
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: 115319946
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

478:                         '0'
Count: 97989801
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: 38721814
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

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

Signal assignment statement:

491:                                '0'
Count: 33022963
Threshold: 1

If statement:

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

Count: 37134620
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

498:                               '0'
Count: 27142954
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: 25112352
Threshold: 1

Signal assignment statement:

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

Signal assignment statement:

510:                     '0'
Count: 10034098
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
BinTrue332532391
BinFalse331254641

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

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

"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
BinTrue693641
BinFalse1037705051

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

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

"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
BinTrue624658341
BinFalse729914751

"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
BinFalse222163621

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

396:        resize(basic_segm_length, C_EXP_WIDTH) when (use_basic_segm_length = '1'
Evaluated toCountThreshold
BinTrue1271009721
BinFalse1050863961

"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
BinTrue681858361
BinFalse1302736601

"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
BinTrue593321271
BinFalse508737821

"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
BinTrue131917401
BinFalse970141691

"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
BinTrue62767731
BinFalse1039291361

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

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

"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
BinTrue78061
BinFalse402580061

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

468:    shorten_tseg1_after_tseg2 <= '1' when (exit_ph2_immediate = '1' and phase_err_sjw_by_one = '0'
Evaluated toCountThreshold
BinTrue76091
BinFalse125647251

"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
BinTrue173301451
BinFalse979898011

"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
BinTrue6200401
BinFalse381017741

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

489:                                '1' when (is_tseg1 = '1' and exit_segm_regular = '1'
Evaluated toCountThreshold
BinTrue50788111
BinFalse330229631

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

496:    exit_segm_regular_tseg2 <= '1' when (is_tseg2 = '1' and exit_segm_regular = '1'
Evaluated toCountThreshold
BinTrue99916661
BinFalse271429541

"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
BinTrue150782541
BinFalse100340981

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(6)
FromToCountThreshold
Bin0123321
Bin1039301

Port:

 TSEG_1(5)
FromToCountThreshold
Bin012691
Bin1018691

Port:

 TSEG_1(4)
FromToCountThreshold
Bin0124061
Bin1040041

Port:

 TSEG_1(3)
FromToCountThreshold
Bin0136461
Bin1052371

Port:

 TSEG_1(2)
FromToCountThreshold
Bin0143951
Bin1027951

Port:

 TSEG_1(1)
FromToCountThreshold
Bin0132851
Bin1016921

Port:

 TSEG_1(0)
FromToCountThreshold
Bin0120741
Bin104741

Port:

 TSEG_2(4)
FromToCountThreshold
Bin012811
Bin1018791

Port:

 TSEG_2(3)
FromToCountThreshold
Bin013211
Bin1019191

Port:

 TSEG_2(2)
FromToCountThreshold
Bin0112121
Bin1028031

Port:

 TSEG_2(1)
FromToCountThreshold
Bin0117321
Bin101331

Port:

 TSEG_2(0)
FromToCountThreshold
Bin0138711
Bin1022711

Port:

 SJW(4)
FromToCountThreshold
Bin012361
Bin1018331

Port:

 SJW(3)
FromToCountThreshold
Bin012751
Bin1018721

Port:

 SJW(2)
FromToCountThreshold
Bin019291
Bin1025261

Port:

 SJW(1)
FromToCountThreshold
Bin0125581
Bin109651

Port:

 SJW(0)
FromToCountThreshold
Bin019491
Bin1025461

Port:

 START_EDGE
FromToCountThreshold
Bin0164811
Bin1080811

Port:

 SEGM_COUNTER(6)
FromToCountThreshold
Bin011425541
Bin101441541

Port:

 SEGM_COUNTER(5)
FromToCountThreshold
Bin012467451
Bin102483451

Port:

 SEGM_COUNTER(4)
FromToCountThreshold
Bin017948951
Bin107964951

Port:

 SEGM_COUNTER(3)
FromToCountThreshold
Bin0145198401
Bin1045214401

Port:

 SEGM_COUNTER(2)
FromToCountThreshold
Bin01120023191
Bin10120039191

Port:

 SEGM_COUNTER(1)
FromToCountThreshold
Bin01228765951
Bin10228781951

Port:

 SEGM_COUNTER(0)
FromToCountThreshold
Bin01425735901
Bin10425751901

Port:

 SEGM_END
FromToCountThreshold
Bin01220844111
Bin10220860111

Port:

 H_SYNC_VALID
FromToCountThreshold
Bin01553651
Bin10569651

Port:

 EXIT_SEGM_REQ
FromToCountThreshold
Bin01100308981
Bin10100324981

Signal:

 SEL_TSEG1
FromToCountThreshold
Bin01331199171
Bin10331215091

Signal:

 EXP_SEG_LENGTH_CE
FromToCountThreshold
Bin01224278601
Bin10224294601

Signal:

 PHASE_ERR_MT_SJW
FromToCountThreshold
Bin0152499871
Bin1052515861

Signal:

 PHASE_ERR_EQ_SJW
FromToCountThreshold
Bin01131917401
Bin10131933341

Signal:

 EXIT_PH2_IMMEDIATE
FromToCountThreshold
Bin0177981
Bin1093981

Signal:

 EXIT_SEGM_REGULAR
FromToCountThreshold
Bin01100205391
Bin10100221391

Signal:

 EXIT_SEGM_REGULAR_TSEG1
FromToCountThreshold
Bin0150787811
Bin1050803811

Signal:

 EXIT_SEGM_REGULAR_TSEG2
FromToCountThreshold
Bin0199916661
Bin1099932661

Signal:

 SJW_MT_ZERO
FromToCountThreshold
Bin0118311
Bin1018381

Signal:

 USE_BASIC_SEGM_LENGTH
FromToCountThreshold
Bin01220855871
Bin10220871871

Signal:

 PHASE_ERR_SJW_BY_ONE
FromToCountThreshold
Bin0162767731
Bin1062783731

Signal:

 SHORTEN_TSEG1_AFTER_TSEG2
FromToCountThreshold
Bin0176091
Bin1092091

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
BinFalse662991871
BinTrue795161

"=" expression

351:    sel_tseg1 <= '1' when (h_sync_valid = '1' or start_edge = '1' or shorten_tseg1_after_tseg2 = '1') or 
Evaluated toCountThreshold
BinFalse663722221
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
BinFalseFalse662927061
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
BinFalse663575211
BinTrue211821

"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
BinFalseFalse662715241
BinFalseTrue211821
BinTrueFalse859971

"=" expression

352:                          (segm_end = '1' and is_tseg2 = '1') or 
Evaluated toCountThreshold
BinFalse222024101
BinTrue441762931

"=" expression

352:                          (segm_end = '1' and is_tseg2 = '1') or 
Evaluated toCountThreshold
BinFalse332587961
BinTrue331199071

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue110496341
BinTrueFalse221060201
BinTrueTrue220702731

"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
BinFalseFalse442158621
BinFalseTrue220556621
BinTrueFalse925681

"=" expression

353:                          (segm_end = '0' and is_tseg1 = '1') else 
Evaluated toCountThreshold
BinFalse441794931
BinTrue221992101

"=" expression

353:                          (segm_end = '0' and is_tseg1 = '1') else 
Evaluated toCountThreshold
BinFalse331302891
BinTrue332484141

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue221069101
BinTrueFalse110577061
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
BinFalseFalse331254641
BinFalseTrue110903981
BinTrueFalse221117351

"=" expression

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

"=" expression

361:               to_unsigned(1, C_EXT_WIDTH) when (h_sync_valid = '1' or 
Evaluated toCountThreshold
BinFalse1037845021
BinTrue553671

"=" expression

362:                                                 shorten_tseg1_after_tseg2 = '1') else 
Evaluated toCountThreshold
BinFalse1038258721
BinTrue139971

"or" expression

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

LHSRHSCountThreshold
BinFalseFalse1037705051
BinFalseTrue139971
BinTrueFalse553671

"=" expression

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

"=" expression

372:    sync_segm_length <= segm_ext_sub when (is_tseg2 = '1' or h_sync_valid = '1' or 
Evaluated toCountThreshold
BinFalse731062761
BinTrue623510331

"=" expression

372:    sync_segm_length <= segm_ext_sub when (is_tseg2 = '1' or h_sync_valid = '1' or 
Evaluated toCountThreshold
BinFalse1353270081
BinTrue1303011

"or" expression

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

LHSRHSCountThreshold
BinFalseFalse729985131
BinFalseTrue1077631
BinTrueFalse623284951

"=" expression

373:                                           exit_ph2_immediate = '1'
Evaluated toCountThreshold
BinFalse1354275691
BinTrue297401

"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
BinFalseFalse729914751
BinFalseTrue70381
BinTrueFalse624360941

"=" expression

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

"=" expression

385:                                      (segm_end = '1' and h_sync_valid = '0' and 
Evaluated toCountThreshold
BinFalse221950481
BinTrue221069011

"=" expression

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

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue221406771
BinTrueFalse208481
BinTrueTrue220860531

"=" expression

386:                                       shorten_tseg1_after_tseg2 = '0'
Evaluated toCountThreshold
BinFalse158801
BinTrue442860691

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue222069631
BinTrueFalse69471
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
BinFalseFalse222163621
BinFalseTrue220791061
BinTrueFalse64811

"=" expression

396:        resize(basic_segm_length, C_EXP_WIDTH) when (use_basic_segm_length = '1'
Evaluated toCountThreshold
BinFalse1050863961
BinTrue1271009721

"=" 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
BinFalse1302736601
BinTrue681858361

"=" expression

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

"=" expression

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

"or" expression

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

LHSRHSCountThreshold
BinFalseFalse105617751
BinFalseTrue77438001
BinTrueFalse219602371

"=" expression

459:                                    is_tseg2 = '1' and resync_edge_valid = '1') 
Evaluated toCountThreshold
BinFalse223487591
BinTrue179170531

"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
BinFalseTrue52519811
BinTrueFalse170389651
BinTrueTrue126650721

"=" expression

459:                                    is_tseg2 = '1' and resync_edge_valid = '1'
Evaluated toCountThreshold
BinFalse394704181
BinTrue7953941

"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
BinFalseTrue7875881
BinTrueFalse126572661
BinTrueTrue78061

"=" expression

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

"=" expression

468:    shorten_tseg1_after_tseg2 <= '1' when (exit_ph2_immediate = '1' and phase_err_sjw_by_one = '0'
Evaluated toCountThreshold
BinFalse62787511
BinTrue62935831

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue62859741
BinTrueFalse1891
BinTrueTrue76091

"=" expression

486:    exit_segm_regular_tseg1 <=  '0' when (is_tseg1 = '1' and resync_edge_valid = '1' and 
Evaluated toCountThreshold
BinFalse210440091
BinTrue176778051

"=" expression

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

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue204071
BinTrueFalse169028671
BinTrueTrue7749381

"=" expression

487:                                          sjw_mt_zero = '1'
Evaluated toCountThreshold
BinFalse86936981
BinTrue300281161

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue294080761
BinTrueFalse1548981
BinTrueTrue6200401

"=" expression

489:                                '1' when (is_tseg1 = '1' and exit_segm_regular = '1') 
Evaluated toCountThreshold
BinFalse210440091
BinTrue170577651

"=" expression

489:                                '1' when (is_tseg1 = '1' and exit_segm_regular = '1'
Evaluated toCountThreshold
BinFalse230310921
BinTrue150706821

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue99918711
BinTrueFalse119789541
BinTrueTrue50788111

"=" expression

496:    exit_segm_regular_tseg2 <= '1' when (is_tseg2 = '1' and exit_segm_regular = '1') 
Evaluated toCountThreshold
BinFalse161255351
BinTrue210090851

"=" expression

496:    exit_segm_regular_tseg2 <= '1' when (is_tseg2 = '1' and exit_segm_regular = '1'
Evaluated toCountThreshold
BinFalse220668181
BinTrue150678021

"and" expression

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

LHSRHSCountThreshold
BinFalseTrue50761361
BinTrueFalse110174191
BinTrueTrue99916661

"=" expression

507:    exit_segm_req <= '1' when (exit_ph2_immediate = '1') or 
Evaluated toCountThreshold
BinFalse251045541
BinTrue77981

"=" expression

508:                              (exit_segm_regular_tseg1 = '1' or exit_segm_regular_tseg2 = '1') 
Evaluated toCountThreshold
BinFalse200335711
BinTrue50787811

"=" expression

508:                              (exit_segm_regular_tseg1 = '1' or exit_segm_regular_tseg2 = '1'
Evaluated toCountThreshold
BinFalse151206171
BinTrue99917351

"or" expression

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

LHSRHSCountThreshold
BinFalseFalse100418361
BinFalseTrue99917351
BinTrueFalse50787811

"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
BinFalseFalse100340981
BinFalseTrue150704561
BinTrueFalse77381

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: