NVC code coverage report

Hierarchy

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/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_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 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: 68466029
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: 34296120
Threshold: 1

Signal assignment statement on line 354:

354:                 '0'
Count: 34169909
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: 68352622
Threshold: 1

Signal assignment statement on line 357:

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

Signal assignment statement on line 358:

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

Signal assignment statement on line 361:

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

Signal assignment statement on line 363:

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

Signal assignment statement on line 364:

364:        resize(unsigned(segm_counter), C_EXT_WIDTH)
Count: 134949319
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: 212545599
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: 212545599
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: 235443402
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: 100809610
Threshold: 1

Signal assignment statement on line 375:

375:                        segm_ext_add
Count: 134633792
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: 45695292
Threshold: 1

Signal assignment statement on line 384:

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

Signal assignment statement on line 388:

388:                             '0'
Count: 22915406
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: 345136946
Threshold: 1

Signal assignment statement on line 396:

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

Signal assignment statement on line 398:

398:        resize(sync_segm_length, C_EXP_WIDTH)
Count: 194356641
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: 317556631
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: 635106815
Threshold: 1

Signal assignment statement on line 428:

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

Signal assignment statement on line 429:

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

Signal assignment statement on line 431:

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

Signal assignment statement on line 434:

434:                        '0'
Count: 126957421
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: 328919755
Threshold: 1

Signal assignment statement on line 436:

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

Signal assignment statement on line 439:

439:                        '0'
Count: 310171034
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: 328919755
Threshold: 1

Signal assignment statement on line 441:

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

Signal assignment statement on line 445:

445:                            '0'
Count: 314919592
Threshold: 1

If statement on lines 447 to 448:

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

Count: 10049
Threshold: 1

Signal assignment statement on line 447:

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

Signal assignment statement on line 448:

448:                   '0'
Count: 1801
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: 59729620
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: 13196
Threshold: 1

Signal assignment statement on line 461:

461:                          '0'
Count: 59716424
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: 28029877
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: 12832
Threshold: 1

Signal assignment statement on line 470:

470:                                 '0'
Count: 28017045
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: 340366932
Threshold: 1

Signal assignment statement on line 475:

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

Signal assignment statement on line 478:

478:                         '0'
Count: 314650246
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: 47419804
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: 623215
Threshold: 1

Signal assignment statement on line 489:

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

Signal assignment statement on line 491:

491:                                '0'
Count: 40095659
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: 45826293
Threshold: 1

Signal assignment statement on line 496:

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

Signal assignment statement on line 498:

498:                               '0'
Count: 29488705
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: 39529108
Threshold: 1

Signal assignment statement on line 507:

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

Signal assignment statement on line 510:

510:                     '0'
Count: 16473794
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
BinTrue342961201
BinFalse341699091

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

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

"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
BinTrue1058931
BinFalse3404779541

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

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

"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
BinTrue1008096101
BinFalse1346337921

"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
BinTrue227798861
BinFalse229154061

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

396:        resize(basic_segm_length, C_EXP_WIDTH) when (use_basic_segm_length = '1'
Evaluated toCountThreshold
BinTrue1507803051
BinFalse1943566411

"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
BinTrue1978662651
BinFalse4372405501

"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
BinTrue2019623341
BinFalse1269574211

"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
BinTrue187487211
BinFalse3101710341

"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
BinTrue140001631
BinFalse3149195921

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

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

"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
BinTrue131961
BinFalse597164241

"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
BinTrue128321
BinFalse280170451

"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
BinTrue257166861
BinFalse3146502461

"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
BinTrue6232151
BinFalse467965891

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

489:                                '1' when (is_tseg1 = '1' and exit_segm_regular = '1'
Evaluated toCountThreshold
BinTrue67009301
BinFalse400956591

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

496:    exit_segm_regular_tseg2 <= '1' when (is_tseg2 = '1' and exit_segm_regular = '1'
Evaluated toCountThreshold
BinTrue163375881
BinFalse294887051

"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
BinTrue230553141
BinFalse164737941

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(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

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

 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(7)0101Exclude file
Bin(7)1001Exclude file
Bin(6)0101Exclude file
Bin(6)1001Exclude file
Bin(5)0101Exclude file
Bin(5)1001Exclude file
Bin(4)0101Exclude file
Bin(4)1001Exclude file
Bin(3)0101Exclude file
Bin(3)1001Exclude file
Bin(2)0101Exclude file
Bin(2)1001Exclude file
Bin(1)0101Exclude file
Bin(1)1001Exclude file
Bin(0)0101Exclude file
Bin(0)1001Exclude file

Port:

 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
Bin01164705921
Bin10164721931

Signal:

 SEL_TSEG1
FromToCountThreshold
Bin01341643311
Bin10341659221

Signal:

 EXP_SEG_LENGTH_CE
FromToCountThreshold
Bin01231218121
Bin10231234131

Signal:

 PHASE_ERR_MT_SJW
FromToCountThreshold
Bin01114486071
Bin10114502001

Signal:

 PHASE_ERR_EQ_SJW
FromToCountThreshold
Bin01187487211
Bin10187503201

Signal:

 EXIT_PH2_IMMEDIATE
FromToCountThreshold
Bin01131831
Bin10147841

Signal:

 EXIT_SEGM_REGULAR
FromToCountThreshold
Bin01164697431
Bin10164713441

Signal:

 EXIT_SEGM_REGULAR_TSEG1
FromToCountThreshold
Bin0167009281
Bin1067025291

Signal:

 EXIT_SEGM_REGULAR_TSEG2
FromToCountThreshold
Bin01163375881
Bin10163391891

Signal:

 SJW_MT_ZERO
FromToCountThreshold
Bin0117931
Bin1018011

Signal:

 USE_BASIC_SEGM_LENGTH
FromToCountThreshold
Bin01227798861
Bin10227814871

Signal:

 PHASE_ERR_SJW_BY_ONE
FromToCountThreshold
Bin01140001631
Bin10140017601

Signal:

 SHORTEN_TSEG1_AFTER_TSEG2
FromToCountThreshold
Bin01128321
Bin10144331

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
BinFalseFalse341699091
BinFalseTrue114381271
BinTrueFalse228059801

"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
BinFalseFalse456080361
BinFalseTrue227473221
BinTrueFalse937831

"or" expression on line 351:

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

LHSRHSCountThreshold
BinFalseFalse683553581
BinFalseTrue225171
BinTrueFalse881541

"or" expression on line 351:

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

LHSRHSCountThreshold
BinFalseFalse683778751
BinFalseTrue64821
BinTrueFalse816721

"=" expression on line 351:

 h_sync_valid = '1' 
Evaluated toCountThreshold
BinFalse683843571
BinTrue816721

"=" expression on line 351:

 start_edge = '1' 
Evaluated toCountThreshold
BinFalse684595471
BinTrue64821

"=" expression on line 351:

 shorten_tseg1_after_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse684435121
BinTrue225171

"and" expression on line 352:

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

LHSRHSCountThreshold
BinFalseTrue113970911
BinTrueFalse228033141
BinTrueTrue227642101

"=" expression on line 352:

 segm_end = '1' 
Evaluated toCountThreshold
BinFalse228985051
BinTrue455675241

"=" expression on line 352:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse343047281
BinTrue341613011

"and" expression on line 353:

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

LHSRHSCountThreshold
BinFalseTrue228041961
BinTrueFalse114051631
BinTrueTrue114901401

"=" expression on line 353:

 segm_end = '0' 
Evaluated toCountThreshold
BinFalse455707261
BinTrue228953031

"=" expression on line 353:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse341716931
BinTrue342943361

"=" expression on line 357:

 sel_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse341846491
BinTrue341679731

"or" expression on lines 361 to 362:

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

LHSRHSCountThreshold
BinFalseFalse3404779541
BinFalseTrue219061
BinTrueFalse839871

"=" expression on line 361:

 h_sync_valid = '1' 
Evaluated toCountThreshold
BinFalse3404998601
BinTrue839871

"=" expression on line 362:

 shorten_tseg1_after_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse3405619411
BinTrue219061

"=" expression on line 363:

 phase_err_mt_sjw = '1' 
Evaluated toCountThreshold
BinFalse1349493191
BinTrue2055286351

"or" expression on lines 372 to 373:

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

LHSRHSCountThreshold
BinFalseFalse1346337921
BinFalseTrue93841
BinTrueFalse1007649081

"or" expression on line 372:

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

LHSRHSCountThreshold
BinFalseFalse1346431761
BinFalseTrue1065591
BinTrueFalse1006703791

"=" expression on line 372:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse1347497351
BinTrue1006936671

"=" expression on line 372:

 h_sync_valid = '1' 
Evaluated toCountThreshold
BinFalse2353135551
BinTrue1298471

"=" expression on line 373:

 exit_ph2_immediate = '1' 
Evaluated toCountThreshold
BinFalse2353987001
BinTrue447021

"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
BinFalseFalse229154061
BinFalseTrue227734041
BinTrueFalse64821

"=" expression on line 384:

 start_edge = '1' 
Evaluated toCountThreshold
BinFalse456888101
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
BinFalseTrue229068951
BinTrueFalse91321
BinTrueTrue227734041

"and" expression on line 385:

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

LHSRHSCountThreshold
BinFalseTrue228355251
BinTrueFalse216041
BinTrueTrue227825361

"=" expression on line 385:

 segm_end = '1' 
Evaluated toCountThreshold
BinFalse228911521
BinTrue228041401

"=" expression on line 385:

 h_sync_valid = '0' 
Evaluated toCountThreshold
BinFalse772311
BinTrue456180611

"=" expression on line 386:

 shorten_tseg1_after_tseg2 = '0' 
Evaluated toCountThreshold
BinFalse149931
BinTrue456802991

"=" expression on line 396:

 use_basic_segm_length = '1' 
Evaluated toCountThreshold
BinFalse1943566411
BinTrue1507803051

"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
BinFalse4372405501
BinTrue1978662651

"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
BinFalseTrue7872711
BinTrueFalse203714921
BinTrueTrue131961

"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
BinFalseTrue99876131
BinTrueFalse231487131
BinTrueTrue203846881

"or" expression on line 458:

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

LHSRHSCountThreshold
BinFalseFalse161962191
BinFalseTrue196987371
BinTrueFalse238346641

"=" expression on line 458:

 phase_err_mt_sjw = '0' 
Evaluated toCountThreshold
BinFalse358949561
BinTrue238346641

"=" expression on line 458:

 phase_err_sjw_by_one = '1' 
Evaluated toCountThreshold
BinFalse400308831
BinTrue196987371

"=" expression on line 459:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse293573191
BinTrue303723011

"=" expression on line 459:

 resync_edge_valid = '1' 
Evaluated toCountThreshold
BinFalse589291531
BinTrue8004671

"and" expression on line 468:

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

LHSRHSCountThreshold
BinFalseTrue140145791
BinTrueFalse3511
BinTrueTrue128321

"=" expression on line 468:

 exit_ph2_immediate = '1' 
Evaluated toCountThreshold
BinFalse280166941
BinTrue131831

"=" expression on line 468:

 phase_err_sjw_by_one = '0' 
Evaluated toCountThreshold
BinFalse140024661
BinTrue140274111

"and" expression on lines 486 to 487:

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

LHSRHSCountThreshold
BinFalseTrue405458251
BinTrueFalse1562721
BinTrueTrue6232151

"and" expression on line 486:

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

LHSRHSCountThreshold
BinFalseTrue208741
BinTrueFalse188838791
BinTrueTrue7794871

"=" expression on line 486:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse277564381
BinTrue196633661

"=" expression on line 486:

 resync_edge_valid = '1' 
Evaluated toCountThreshold
BinFalse466194431
BinTrue8003611

"=" expression on line 487:

 sjw_mt_zero = '1' 
Evaluated toCountThreshold
BinFalse62507641
BinTrue411690401

"and" expression on line 489:

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

LHSRHSCountThreshold
BinFalseTrue163535631
BinTrueFalse123392211
BinTrueTrue67009301

"=" expression on line 489:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse277564381
BinTrue190401511

"=" expression on line 489:

 exit_segm_regular = '1' 
Evaluated toCountThreshold
BinFalse237420961
BinTrue230544931

"and" expression on line 496:

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

LHSRHSCountThreshold
BinFalseTrue67010101
BinTrueFalse113827391
BinTrueTrue163375881

"=" expression on line 496:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse181059661
BinTrue277203271

"=" expression on line 496:

 exit_segm_regular = '1' 
Evaluated toCountThreshold
BinFalse227876951
BinTrue230385981

"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
BinFalseFalse164737941
BinFalseTrue230421311
BinTrueFalse9261

"=" expression on line 507:

 exit_ph2_immediate = '1' 
Evaluated toCountThreshold
BinFalse395159251
BinTrue131831

"or" expression on line 508:

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

LHSRHSCountThreshold
BinFalseFalse164747201
BinFalseTrue163534601
BinTrueFalse67009281

"=" expression on line 508:

 exit_segm_regular_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse328281801
BinTrue67009281

"=" expression on line 508:

 exit_segm_regular_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse231756481
BinTrue163534601

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: