NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BTL_TOP.I_BTL_SEGMENT_METER_NBT

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/bit_timing_logic/btl_top.vhd


Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_BTL_TOP.I_BTL_SEGMENT_METER_NBT 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: 68707856
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: 34415564
Threshold: 1

Signal assignment statement on line 354:

354:                 '0'
Count: 34292292
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: 68597421
Threshold: 1

Signal assignment statement on line 357:

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

Signal assignment statement on line 358:

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

Signal assignment statement on line 361:

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

Signal assignment statement on line 363:

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

Signal assignment statement on line 364:

364:        resize(unsigned(segm_counter), C_EXT_WIDTH)
Count: 135582725
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: 213445857
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: 213445857
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: 236422347
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: 101224433
Threshold: 1

Signal assignment statement on line 375:

375:                        segm_ext_add
Count: 135197914
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: 45855155
Threshold: 1

Signal assignment statement on line 384:

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

Signal assignment statement on line 388:

388:                             '0'
Count: 22993563
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: 346529459
Threshold: 1

Signal assignment statement on line 396:

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

Signal assignment statement on line 398:

398:        resize(sync_segm_length, C_EXP_WIDTH)
Count: 195223515
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: 47446867
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: 24237640
Threshold: 1

Signal assignment statement on line 403:

403:                         '0'
Count: 23209227
Threshold: 1

If statement on lines 407 to 413:

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

Count: 1096781321
Threshold: 1

Signal assignment statement on line 408:

408:            exp_seg_length_q <= (others => '1'); 
Count: 2422674
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: 547174334
Threshold: 1

Signal assignment statement on line 411:

411:                exp_seg_length_q <= exp_seg_length_d; 
Count: 23602497
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: 319786204
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: 639566147
Threshold: 1

Signal assignment statement on line 428:

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

Signal assignment statement on line 429:

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

Signal assignment statement on line 431:

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

Signal assignment statement on line 434:

434:                        '0'
Count: 127581040
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: 331178944
Threshold: 1

Signal assignment statement on line 436:

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

Signal assignment statement on line 439:

439:                        '0'
Count: 312357349
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: 331178944
Threshold: 1

Signal assignment statement on line 441:

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

Signal assignment statement on line 445:

445:                            '0'
Count: 317124951
Threshold: 1

If statement on lines 447 to 448:

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

Count: 10046
Threshold: 1

Signal assignment statement on line 447:

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

Signal assignment statement on line 448:

448:                   '0'
Count: 1800
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: 59911056
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: 13058
Threshold: 1

Signal assignment statement on line 461:

461:                          '0'
Count: 59897998
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: 28137251
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: 12711
Threshold: 1

Signal assignment statement on line 470:

470:                                 '0'
Count: 28124540
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: 342677943
Threshold: 1

Signal assignment statement on line 475:

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

Signal assignment statement on line 478:

478:                         '0'
Count: 316851135
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: 47569938
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: 629109
Threshold: 1

Signal assignment statement on line 489:

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

Signal assignment statement on line 491:

491:                                '0'
Count: 40227255
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: 45968292
Threshold: 1

Signal assignment statement on line 496:

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

Signal assignment statement on line 498:

498:                               '0'
Count: 29583281
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: 39635640
Threshold: 1

Signal assignment statement on line 507:

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

Signal assignment statement on line 510:

510:                     '0'
Count: 16520713
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
BinTrue344155641
BinFalse342922921

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

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

"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
BinTrue1040041
BinFalse3427508111

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

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

"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
BinTrue1012244331
BinFalse1351979141

"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
BinTrue228615921
BinFalse229935631

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

396:        resize(basic_segm_length, C_EXP_WIDTH) when (use_basic_segm_length = '1'
Evaluated toCountThreshold
BinTrue1513059441
BinFalse1952235151

"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
BinTrue242376401
BinFalse232092271

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

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

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

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

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

410:            if (exp_seg_length_ce = '1') then 
Evaluated toCountThreshold
BinTrue236024971
BinFalse5235718371

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

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

"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
BinTrue2035979041
BinFalse1275810401

"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
BinTrue188215951
BinFalse3123573491

"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
BinTrue140539931
BinFalse3171249511

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

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

"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
BinTrue130581
BinFalse598979981

"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
BinTrue127111
BinFalse281245401

"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
BinTrue258268081
BinFalse3168511351

"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
BinTrue6291091
BinFalse469408291

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

489:                                '1' when (is_tseg1 = '1' and exit_segm_regular = '1'
Evaluated toCountThreshold
BinTrue67135741
BinFalse402272551

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

496:    exit_segm_regular_tseg2 <= '1' when (is_tseg2 = '1' and exit_segm_regular = '1'
Evaluated toCountThreshold
BinTrue163850111
BinFalse295832811

"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
BinTrue231149271
BinFalse165207131

Uncovered toggles:

Excluded toggles:

Port:

 CLK_SYS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 RST_N
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 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
Bin01165175131
Bin10165191121

Signal:

 SEL_TSEG1
FromToCountThreshold
Bin01342867201
Bin10342883101

Signal:

 EXP_SEG_LENGTH_CE
FromToCountThreshold
Bin01232044261
Bin10232060251

Signal:

 PHASE_ERR_MT_SJW
FromToCountThreshold
Bin01114710391
Bin10114726301

Signal:

 PHASE_ERR_EQ_SJW
FromToCountThreshold
Bin01188215951
Bin10188231961

Signal:

 EXIT_PH2_IMMEDIATE
FromToCountThreshold
Bin01130421
Bin10146431

Signal:

 EXIT_SEGM_REGULAR
FromToCountThreshold
Bin01165166731
Bin10165182721

Signal:

 EXIT_SEGM_REGULAR_TSEG1
FromToCountThreshold
Bin0167135701
Bin1067151711

Signal:

 EXIT_SEGM_REGULAR_TSEG2
FromToCountThreshold
Bin01163850111
Bin10163866101

Signal:

 SJW_MT_ZERO
FromToCountThreshold
Bin0117911
Bin1018001

Signal:

 USE_BASIC_SEGM_LENGTH
FromToCountThreshold
Bin01228615921
Bin10228631911

Signal:

 PHASE_ERR_SJW_BY_ONE
FromToCountThreshold
Bin01140539931
Bin10140555891

Signal:

 SHORTEN_TSEG1_AFTER_TSEG2
FromToCountThreshold
Bin01127111
Bin10143121

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
BinFalseFalse342922921
BinFalseTrue114781631
BinTrueFalse228865841

"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
BinFalseFalse457704551
BinFalseTrue228292121
BinTrueFalse912531

"or" expression on line 351:

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

LHSRHSCountThreshold
BinFalseFalse685996671
BinFalseTrue226371
BinTrueFalse855521

"or" expression on line 351:

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

LHSRHSCountThreshold
BinFalseFalse686223041
BinFalseTrue64821
BinTrueFalse790701

"=" expression on line 351:

 h_sync_valid = '1' 
Evaluated toCountThreshold
BinFalse686287861
BinTrue790701

"=" expression on line 351:

 start_edge = '1' 
Evaluated toCountThreshold
BinFalse687013741
BinTrue64821

"=" expression on line 351:

 shorten_tseg1_after_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse686852191
BinTrue226371

"and" expression on line 352:

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

LHSRHSCountThreshold
BinFalseTrue114372981
BinTrueFalse228841561
BinTrueTrue228461481

"=" expression on line 352:

 segm_end = '1' 
Evaluated toCountThreshold
BinFalse229775521
BinTrue457303041

"=" expression on line 352:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse344244101
BinTrue342834461

"and" expression on line 353:

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

LHSRHSCountThreshold
BinFalseTrue228850441
BinTrueFalse114453701
BinTrueTrue115289801

"=" expression on line 353:

 segm_end = '0' 
Evaluated toCountThreshold
BinFalse457335061
BinTrue229743501

"=" expression on line 353:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse342938321
BinTrue344140241

"=" expression on line 357:

 sel_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse343070381
BinTrue342903831

"or" expression on lines 361 to 362:

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

LHSRHSCountThreshold
BinFalseFalse3427508111
BinFalseTrue219811
BinTrueFalse820231

"=" expression on line 361:

 h_sync_valid = '1' 
Evaluated toCountThreshold
BinFalse3427727921
BinTrue820231

"=" expression on line 362:

 shorten_tseg1_after_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse3428328341
BinTrue219811

"=" expression on line 363:

 phase_err_mt_sjw = '1' 
Evaluated toCountThreshold
BinFalse1355827251
BinTrue2071680861

"or" expression on lines 372 to 373:

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

LHSRHSCountThreshold
BinFalseFalse1351979141
BinFalseTrue95661
BinTrueFalse1011796551

"or" expression on line 372:

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

LHSRHSCountThreshold
BinFalseFalse1352074801
BinFalseTrue1031351
BinTrueFalse1010889041

"=" expression on line 372:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse1353106151
BinTrue1011117321

"=" expression on line 372:

 h_sync_valid = '1' 
Evaluated toCountThreshold
BinFalse2362963841
BinTrue1259631

"=" expression on line 373:

 exit_ph2_immediate = '1' 
Evaluated toCountThreshold
BinFalse2363775691
BinTrue447781

"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
BinFalseFalse229935631
BinFalseTrue228551101
BinTrueFalse64821

"=" expression on line 384:

 start_edge = '1' 
Evaluated toCountThreshold
BinFalse458486731
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
BinFalseTrue229851301
BinTrueFalse93311
BinTrueTrue228551101

"and" expression on line 385:

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

LHSRHSCountThreshold
BinFalseTrue229159251
BinTrueFalse205211
BinTrueTrue228644411

"=" expression on line 385:

 segm_end = '1' 
Evaluated toCountThreshold
BinFalse229701931
BinTrue228849621

"=" expression on line 385:

 h_sync_valid = '0' 
Evaluated toCountThreshold
BinFalse747891
BinTrue457803661

"=" expression on line 386:

 shorten_tseg1_after_tseg2 = '0' 
Evaluated toCountThreshold
BinFalse149151
BinTrue458402401

"=" expression on line 396:

 use_basic_segm_length = '1' 
Evaluated toCountThreshold
BinFalse1952235151
BinTrue1513059441

"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
BinFalseFalse232092271
BinFalseTrue64821
BinTrueFalse242311581

"or" expression on lines 400 to 401:

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

LHSRHSCountThreshold
BinFalseFalse232157091
BinFalseTrue510661
BinTrueFalse241595711

"or" expression on line 400:

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

LHSRHSCountThreshold
BinFalseFalse232667751
BinFalseTrue7333211
BinTrueFalse229465131

"=" expression on line 400:

 segm_end = '1' 
Evaluated toCountThreshold
BinFalse240000961
BinTrue234467711

"=" expression on line 400:

 resync_edge_valid = '1' 
Evaluated toCountThreshold
BinFalse462132881
BinTrue12335791

"=" expression on line 401:

 h_sync_valid = '1' 
Evaluated toCountThreshold
BinFalse473752801
BinTrue715871

"=" expression on line 401:

 start_edge = '1' 
Evaluated toCountThreshold
BinFalse474403851
BinTrue64821

"=" expression on line 407:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 410:

 exp_seg_length_ce = '1' 
Evaluated toCountThreshold
BinFalse5235718371
BinTrue236024971

"=" expression on line 428:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse4404934971
BinTrue1990726501

"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
BinFalseTrue7912491
BinTrueFalse204485921
BinTrueTrue130581

"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
BinFalseTrue99979731
BinTrueFalse232129781
BinTrueTrue204616501

"or" expression on line 458:

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

LHSRHSCountThreshold
BinFalseFalse162364281
BinFalseTrue197458191
BinTrueFalse239288091

"=" expression on line 458:

 phase_err_mt_sjw = '0' 
Evaluated toCountThreshold
BinFalse359822471
BinTrue239288091

"=" expression on line 458:

 phase_err_sjw_by_one = '1' 
Evaluated toCountThreshold
BinFalse401652371
BinTrue197458191

"=" expression on line 459:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse294514331
BinTrue304596231

"=" expression on line 459:

 resync_edge_valid = '1' 
Evaluated toCountThreshold
BinFalse591067491
BinTrue8043071

"and" expression on line 468:

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

LHSRHSCountThreshold
BinFalseTrue140682841
BinTrueFalse3311
BinTrueTrue127111

"=" expression on line 468:

 exit_ph2_immediate = '1' 
Evaluated toCountThreshold
BinFalse281242091
BinTrue130421

"=" expression on line 468:

 phase_err_sjw_by_one = '0' 
Evaluated toCountThreshold
BinFalse140562561
BinTrue140809951

"and" expression on lines 486 to 487:

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

LHSRHSCountThreshold
BinFalseTrue406976091
BinTrueFalse1550591
BinTrueTrue6291091

"and" expression on line 486:

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

LHSRHSCountThreshold
BinFalseTrue200351
BinTrueFalse189421081
BinTrueTrue7841681

"=" expression on line 486:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse278436621
BinTrue197262761

"=" expression on line 486:

 resync_edge_valid = '1' 
Evaluated toCountThreshold
BinFalse467657351
BinTrue8042031

"=" expression on line 487:

 sjw_mt_zero = '1' 
Evaluated toCountThreshold
BinFalse62432201
BinTrue413267181

"and" expression on line 489:

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

LHSRHSCountThreshold
BinFalseTrue164005391
BinTrueFalse123835931
BinTrueTrue67135741

"=" expression on line 489:

 is_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse278436621
BinTrue190971671

"=" expression on line 489:

 exit_segm_regular = '1' 
Evaluated toCountThreshold
BinFalse238267161
BinTrue231141131

"and" expression on line 496:

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

LHSRHSCountThreshold
BinFalseTrue67136601
BinTrueFalse114236961
BinTrueTrue163850111

"=" expression on line 496:

 is_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse181595851
BinTrue278087071

"=" expression on line 496:

 exit_segm_regular = '1' 
Evaluated toCountThreshold
BinFalse228696211
BinTrue230986711

"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
BinFalseFalse165207131
BinFalseTrue231018851
BinTrueFalse9241

"=" expression on line 507:

 exit_ph2_immediate = '1' 
Evaluated toCountThreshold
BinFalse396225981
BinTrue130421

"or" expression on line 508:

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

LHSRHSCountThreshold
BinFalseFalse165216371
BinFalseTrue164004331
BinTrueFalse67135701

"=" expression on line 508:

 exit_segm_regular_tseg1 = '1' 
Evaluated toCountThreshold
BinFalse329220701
BinTrue67135701

"=" expression on line 508:

 exit_segm_regular_tseg2 = '1' 
Evaluated toCountThreshold
BinFalse232352071
BinTrue164004331

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: