NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.RX_BUFFER_INST

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

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
RST_REG_INST 100.0 % (6/6) 100.0 % (6/6) 100.0 % (28/28) 100.0 % (2/2) N.A. N.A. 100.0 % (42/42)
RX_BUFFER_FSM_INST 100.0 % (69/69) 100.0 % (50/50) 100.0 % (48/48) 100.0 % (29/29) 100.0 % (24/24) 100.0 % (3/3) 100.0 % (223/223)
RX_BUFFER_POINTERS_INST 100.0 % (59/59) 100.0 % (60/60) 100.0 % (468/468) 100.0 % (55/55) N.A. N.A. 100.0 % (642/642)
CLK_GATE_RX_BUFFER_RAM_COMP 100.0 % (5/5) 100.0 % (2/2) 100.0 % (10/10) 100.0 % (8/8) N.A. N.A. 100.0 % (25/25)
RX_BUFFER_RAM_INST 100.0 % (49/49) 100.0 % (30/30) 100.0 % (271288/271288) 100.0 % (25/25) N.A. N.A. 100.0 % (271392/271392)

Current Instance Statement Branch Toggle Expression FSM state Functional Average
CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.DUT.RX_BUFFER_INST 100.0 % (146/146) 100.0 % (126/126) 100.0 % (1276/1276) 100.0 % (166/166) N.A. N.A. 100.0 % (1714/1714)

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 436 to 438:

436:    rx_buf_res_n_d <= '0' when (mr_command_rrb = '1' or res_n = '0') 
437:                          else 
438:                      '1'; 

Count: 22752
Threshold: 1

Signal assignment statement on line 436:

436:    rx_buf_res_n_d <= '0' when (mr_command_rrb = '1' or res_n = '0') 
Count: 8532
Threshold: 1

Signal assignment statement on line 438:

438:                      '1'
Count: 14220
Threshold: 1

Sequential statement on lines 517 to 523:

517:    with data_selector select rxb_port_a_data_in <= 
518:        "0000" & frame_form_w            when "00001", 
...
522:        timestamp_capture(63 downto 32)  when "10000", 
523:        (others => '0')                  when others; 

Count: 6438372
Threshold: 1

Signal assignment statement on line 518:

518:        "0000" & frame_form_w            when "00001", 
Count: 27093
Threshold: 1

Signal assignment statement on line 519:

519:        "000" & rec_ident                when "00010", 
Count: 27085
Threshold: 1

Signal assignment statement on line 520:

520:        store_data_word                  when "00100", 
Count: 3014534
Threshold: 1

Signal assignment statement on line 521:

521:        timestamp_capture(31 downto 0)   when "01000", 
Count: 13399
Threshold: 1

Signal assignment statement on line 522:

522:        timestamp_capture(63 downto 32)  when "10000", 
Count: 13399
Threshold: 1

Signal assignment statement on line 523:

523:        (others => '0')                  when others; 
Count: 3342862
Threshold: 1

If statement on lines 528 to 530:

528:    read_attempt <= mr_rx_data_read when (mr_mode_rxbam = RXBAM_ENABLED) 
529:                                    else 
530:                    mr_command_rxrpmv; 

Count: 164993
Threshold: 1

Signal assignment statement on line 528:

528:    read_attempt <= mr_rx_data_read when (mr_mode_rxbam = RXBAM_ENABLED) 
Count: 159641
Threshold: 1

Signal assignment statement on line 530:

530:                    mr_command_rxrpmv
Count: 5352
Threshold: 1

If statement on lines 532 to 534:

532:    read_increment <= '1' when (read_attempt = '1' and rx_empty_i = '0') 
533:                          else 
534:                      '0'; 

Count: 176391
Threshold: 1

Signal assignment statement on line 532:

532:    read_increment <= '1' when (read_attempt = '1' and rx_empty_i = '0') 
Count: 51685
Threshold: 1

Signal assignment statement on line 534:

534:                      '0'
Count: 124706
Threshold: 1

If statement on lines 540 to 543:

540:    write_raw_OK <= '1' when (write_raw_intent = '1' and overrun_condition = '0' and 
541:                              data_overrun_i = '0') 
542:                        else 
543:                    '0'; 

Count: 231589
Threshold: 1

Signal assignment statement on line 540:

540:    write_raw_OK <= '1' when (write_raw_intent = '1' and overrun_condition = '0' and 
Count: 112843
Threshold: 1

Signal assignment statement on line 543:

543:                    '0'
Count: 118746
Threshold: 1

If statement on lines 552 to 554:

552:    is_free_word <= '0' when (read_pointer = write_pointer_raw and frame_count > 0) 
553:                        else 
554:                    '1'; 

Count: 286989
Threshold: 1

Signal assignment statement on line 552:

552:    is_free_word <= '0' when (read_pointer = write_pointer_raw and frame_count > 0) 
Count: 49
Threshold: 1

Signal assignment statement on line 554:

554:                    '1'
Count: 286940
Threshold: 1

If statement on lines 563 to 565:

563:    overrun_condition <= '1' when (write_raw_intent = '1' and is_free_word = '0') 
564:                             else 
565:                         '0'; 

Count: 228965
Threshold: 1

Signal assignment statement on line 563:

563:    overrun_condition <= '1' when (write_raw_intent = '1' and is_free_word = '0') 
Count: 43
Threshold: 1

Signal assignment statement on line 565:

565:                         '0'
Count: 228922
Threshold: 1

If statement on lines 573 to 575:

573:    rxb_port_b_data_out <= rxb_port_b_data_out_i when (rx_empty_i = '0') 
574:                                                 else 
575:                                 (others => '0'); 

Count: 126369
Threshold: 1

Signal assignment statement on line 573:

573:    rxb_port_b_data_out <= rxb_port_b_data_out_i when (rx_empty_i = '0') 
Count: 50990
Threshold: 1

Signal assignment statement on line 575:

575:                                 (others => '0')
Count: 75379
Threshold: 1

Sequential statement on lines 581 to 597:

581:    with rec_dlc select rwcnt_com <= 
582:        3 when "0000", --Zero bits 
...
596:        15 when "1110", --48 bytes 
597:        19 when others; --64 bytes 

Count: 82451
Threshold: 1

Signal assignment statement on line 582:

582:        3 when "0000", --Zero bits 
Count: 41222
Threshold: 1

Signal assignment statement on line 583:

583:        4 when "0001", --1 byte 
Count: 9427
Threshold: 1

Signal assignment statement on line 584:

584:        4 when "0010", --2 bytes 
Count: 1587
Threshold: 1

Signal assignment statement on line 585:

585:        4 when "0011", --3 bytes 
Count: 1668
Threshold: 1

Signal assignment statement on line 586:

586:        4 when "0100", --4 bytes 
Count: 2049
Threshold: 1

Signal assignment statement on line 587:

587:        5 when "0101", --5 bytes 
Count: 1068
Threshold: 1

Signal assignment statement on line 588:

588:        5 when "0110", --6 bytes 
Count: 1448
Threshold: 1

Signal assignment statement on line 589:

589:        5 when "0111", --7 bytes 
Count: 1039
Threshold: 1

Signal assignment statement on line 590:

590:        5 when "1000", --8 bytes 
Count: 2872
Threshold: 1

Signal assignment statement on line 591:

591:        6 when "1001", --12 bytes 
Count: 906
Threshold: 1

Signal assignment statement on line 592:

592:        7 when "1010", --16 bytes 
Count: 610
Threshold: 1

Signal assignment statement on line 593:

593:        8 when "1011", --20 bytes 
Count: 450
Threshold: 1

Signal assignment statement on line 594:

594:        9 when "1100", --24 bytes 
Count: 803
Threshold: 1

Signal assignment statement on line 595:

595:        11 when "1101", --32 bytes 
Count: 706
Threshold: 1

Signal assignment statement on line 596:

596:        15 when "1110", --48 bytes 
Count: 1717
Threshold: 1

Signal assignment statement on line 597:

597:        19 when others; --64 bytes 
Count: 14879
Threshold: 1

Signal assignment statement on line 603:

603:    frame_form_w(DLC_H downto DLC_L)      <= rec_dlc
Count: 82451
Threshold: 1

Signal assignment statement on line 604:

604:    frame_form_w(ERF_IND)                 <= rec_erf
Count: 3876
Threshold: 1

Signal assignment statement on line 605:

605:    frame_form_w(RTR_IND)                 <= rec_is_rtr
Count: 46874
Threshold: 1

Signal assignment statement on line 606:

606:    frame_form_w(IDE_IND)                 <= rec_ident_type
Count: 38455
Threshold: 1

Signal assignment statement on line 607:

607:    frame_form_w(FDF_IND)                 <= rec_frame_type
Count: 60965
Threshold: 1

Signal assignment statement on line 608:

608:    frame_form_w(LBPF_IND)                <= rec_lbpf
Count: 3562
Threshold: 1

Signal assignment statement on line 609:

609:    frame_form_w(BRS_IND)                 <= rec_brs
Count: 43995
Threshold: 1

Signal assignment statement on line 610:

610:    frame_form_w(ESI_RSV_IND)             <= rec_esi
Count: 8248
Threshold: 1

Signal assignment statement on line 611:

611:    frame_form_w(IVLD_IND)                <= rec_ivld
Count: 105045
Threshold: 1

If statement on lines 619 to 622:

619:    frame_form_w(RWCNT_H downto RWCNT_L)  <= 
620:        "00011" when (rec_is_rtr = RTR_FRAME or rec_erf = ERFM_ENABLED) else 
621:        "00101" when ((rec_frame_type = NORMAL_CAN) and (rec_dlc(3) = '1')) else 
622:         std_logic_vector(to_unsigned(rwcnt_com, (RWCNT_H - RWCNT_L + 1))); 

Count: 203971
Threshold: 1

Signal assignment statement on line 620:

620:        "00011" when (rec_is_rtr = RTR_FRAME or rec_erf = ERFM_ENABLED) else 
Count: 27648
Threshold: 1

Signal assignment statement on line 621:

621:        "00101" when ((rec_frame_type = NORMAL_CAN) and (rec_dlc(3) = '1')) else 
Count: 6350
Threshold: 1

Signal assignment statement on line 622:

622:         std_logic_vector(to_unsigned(rwcnt_com, (RWCNT_H - RWCNT_L + 1)))
Count: 169973
Threshold: 1

If statement on lines 625 to 627:

625:    frame_form_w(ERF_POS_H downto ERF_POS_L) <= err_capt_err_pos when (rec_erf = '1') 
626:                                                                 else 
627:                                                (others => '0'); 

Count: 14313
Threshold: 1

Signal assignment statement on line 625:

625:    frame_form_w(ERF_POS_H downto ERF_POS_L) <= err_capt_err_pos when (rec_erf = '1') 
Count: 337
Threshold: 1

Signal assignment statement on line 627:

627:                                                (others => '0')
Count: 13976
Threshold: 1

If statement on lines 629 to 631:

629:    frame_form_w(ERF_TYPE_H downto ERF_TYPE_L) <= err_capt_err_type when (rec_erf = '1') 
630:                                                                    else 
631:                                                  (others => '0'); 

Count: 9603
Threshold: 1

Signal assignment statement on line 629:

629:    frame_form_w(ERF_TYPE_H downto ERF_TYPE_L) <= err_capt_err_type when (rec_erf = '1') 
Count: 337
Threshold: 1

Signal assignment statement on line 631:

631:                                                  (others => '0')
Count: 9266
Threshold: 1

If statement on lines 633 to 635:

633:    frame_form_w(ERF_ERP_IND) <= err_capt_err_erp when (rec_erf = '1') 
634:                                                  else 
635:                                              '0'; 

Count: 6057
Threshold: 1

Signal assignment statement on line 633:

633:    frame_form_w(ERF_ERP_IND) <= err_capt_err_erp when (rec_erf = '1') 
Count: 337
Threshold: 1

Signal assignment statement on line 635:

635:                                              '0'
Count: 5720
Threshold: 1

If statement on lines 638 to 640:

638:    frame_form_w(LBTBI_H downto LBTBI_L) <= curr_txtb_index when (rec_lbpf = LBPF_LOOPBACK) 
639:                                                            else 
640:                                            (others => '0'); 

Count: 17485
Threshold: 1

Signal assignment statement on line 638:

638:    frame_form_w(LBTBI_H downto LBTBI_L) <= curr_txtb_index when (rec_lbpf = LBPF_LOOPBACK) 
Count: 350
Threshold: 1

Signal assignment statement on line 640:

640:                                            (others => '0')
Count: 17135
Threshold: 1

If statement on lines 648 to 654:

648:    timestamp_capture_ce <= '1' when (mr_rx_settings_rtsop = RTS_END and rec_valid_f = '1') 
649:                                else 
...
653:                                else 
654:                            '0'; 

Count: 255211
Threshold: 1

Signal assignment statement on line 648:

648:    timestamp_capture_ce <= '1' when (mr_rx_settings_rtsop = RTS_END and rec_valid_f = '1') 
Count: 13052
Threshold: 1

Signal assignment statement on line 650:

650:                            '1' when (mr_rx_settings_rtsop = RTS_BEG and sof_pulse = '1') 
Count: 15
Threshold: 1

Signal assignment statement on line 652:

652:                            '1' when (mr_mode_erfm = ERFM_ENABLED and rec_abort_f = '1') 
Count: 337
Threshold: 1

Signal assignment statement on line 654:

654:                            '0'
Count: 241807
Threshold: 1

If statement on lines 658 to 664:

658:        if (res_n = '0') then 
659:            timestamp_capture <= (others => '0'); 
...
663:            end if; 
664:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 659:

659:            timestamp_capture <= (others => '0'); 
Count: 2424883
Threshold: 1

If statement on lines 661 to 663:

661:            if (timestamp_capture_ce = '1') then 
662:                timestamp_capture   <= timestamp; 
663:            end if; 

Count: 543791678
Threshold: 1

Signal assignment statement on line 662:

662:                timestamp_capture   <= timestamp; 
Count: 13399
Threshold: 1

If statement on lines 679 to 681:

679:    read_counter_d <= read_counter_q - 1 when (read_counter_q > "00000") 
680:                                         else 
681:                      unsigned(rxb_port_b_data_out_i(RWCNT_H downto RWCNT_L)); 

Count: 157150
Threshold: 1

Signal assignment statement on line 679:

679:    read_counter_d <= read_counter_q - 1 when (read_counter_q > "00000") 
Count: 79350
Threshold: 1

Signal assignment statement on line 681:

681:                      unsigned(rxb_port_b_data_out_i(RWCNT_H downto RWCNT_L))
Count: 77800
Threshold: 1

If statement on lines 685 to 693:

685:        if (rx_buf_res_n_q_scan = '0') then 
686:            read_counter_q <= (others => '0'); 
...
692:            end if; 
693:        end if; 

Count: 1090018917
Threshold: 1

Signal assignment statement on line 686:

686:            read_counter_q <= (others => '0'); 
Count: 2438917
Threshold: 1

If statement on lines 690 to 692:

690:            if (read_increment = '1') then 
691:                read_counter_q <= read_counter_d; 
692:            end if; 

Count: 543784839
Threshold: 1

Signal assignment statement on line 691:

691:                read_counter_q <= read_counter_d; 
Count: 51685
Threshold: 1

If statement on lines 704 to 719:

704:        if (rx_buf_res_n_q_scan = '0') then 
705:            frame_count <= (others => '0'); 
...
718: 
719:        end if; 

Count: 1090018917
Threshold: 1

Signal assignment statement on line 705:

705:            frame_count <= (others => '0'); 
Count: 2438917
Threshold: 1

If statement on lines 709 to 717:

709:            if ((read_increment = '1') and (read_counter_q = "00001")) then 
710:                if (commit_rx_frame = '0') then 
...
716:                frame_count <= frame_count + 1; 
717:            end if; 

Count: 543784839
Threshold: 1

If statement on lines 710 to 712:

710:                if (commit_rx_frame = '0') then 
711:                    frame_count <= frame_count - 1; 
712:                end if; 

Count: 9334
Threshold: 1

Signal assignment statement on line 711:

711:                    frame_count <= frame_count - 1; 
Count: 9329
Threshold: 1

Signal assignment statement on line 716:

716:                frame_count <= frame_count + 1; 
Count: 13353
Threshold: 1

If statement on lines 729 to 746:

729:        if (rx_buf_res_n_q_scan = '0') then 
730:            commit_rx_frame       <= '0'; 
...
745: 
746:        end if; 

Count: 1090018917
Threshold: 1

Signal assignment statement on line 730:

730:            commit_rx_frame       <= '0'; 
Count: 2438917
Threshold: 1

Signal assignment statement on line 731:

731:            commit_overrun_abort  <= '0'; 
Count: 2438917
Threshold: 1

If statement on lines 735 to 744:

735:            if (commit_intent = '1') then 
736:                if (data_overrun_i = '0') then 
...
743:                commit_overrun_abort <= '0'; 
744:            end if; 

Count: 543784839
Threshold: 1

If statement on lines 736 to 740:

736:                if (data_overrun_i = '0') then 
737:                    commit_rx_frame <= '1'; 
738:                else 
739:                    commit_overrun_abort <= '1'; 
740:                end if; 

Count: 13399
Threshold: 1

Signal assignment statement on line 737:

737:                    commit_rx_frame <= '1'; 
Count: 13358
Threshold: 1

Signal assignment statement on line 739:

739:                    commit_overrun_abort <= '1'; 
Count: 41
Threshold: 1

Signal assignment statement on line 742:

742:                commit_rx_frame <= '0'; 
Count: 543771440
Threshold: 1

Signal assignment statement on line 743:

743:                commit_overrun_abort <= '0'; 
Count: 543771440
Threshold: 1

If statement on lines 757 to 770:

757:        if (rx_buf_res_n_q_scan = '0') then 
758:            data_overrun_flg <= '0'; 
...
769: 
770:        end if; 

Count: 1090018917
Threshold: 1

Signal assignment statement on line 758:

758:            data_overrun_flg <= '0'; 
Count: 2438917
Threshold: 1

If statement on lines 762 to 768:

762:            if (mr_command_cdo = '1') then 
763:                data_overrun_flg <= '0'; 
...
767:                data_overrun_flg <= data_overrun_flg; 
768:            end if; 

Count: 543784839
Threshold: 1

Signal assignment statement on line 763:

763:                data_overrun_flg <= '0'; 
Count: 20
Threshold: 1

Signal assignment statement on line 765:

765:                data_overrun_flg <= '1'; 
Count: 139
Threshold: 1

Signal assignment statement on line 767:

767:                data_overrun_flg <= data_overrun_flg; 
Count: 543784680
Threshold: 1

If statement on lines 789 to 799:

789:        if (res_n = '0') then 
790:            data_overrun_i <= '0'; 
...
798:            end if; 
799:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 790:

790:            data_overrun_i <= '0'; 
Count: 2424883
Threshold: 1

If statement on lines 792 to 798:

792:            if (overrun_condition = '1' or mr_command_rrb = '1') then 
793:                data_overrun_i <= '1'; 
...
797:                data_overrun_i <= data_overrun_i; 
798:            end if; 

Count: 543791678
Threshold: 1

Signal assignment statement on line 793:

793:                data_overrun_i <= '1'; 
Count: 599
Threshold: 1

Signal assignment statement on line 795:

795:                data_overrun_i <= '0'; 
Count: 435727113
Threshold: 1

Signal assignment statement on line 797:

797:                data_overrun_i <= data_overrun_i; 
Count: 108063966
Threshold: 1

If statement on lines 808 to 812:

808:    rx_buf_ram_clk_en <= '1' when (rxb_port_a_write = '1' or read_attempt = '1') 
809:                             else 
810:                         '1' when (mr_tst_control_tmaena = '1') 
811:                             else 
812:                         '0'; 

Count: 414617
Threshold: 1

Signal assignment statement on line 808:

808:    rx_buf_ram_clk_en <= '1' when (rxb_port_a_write = '1' or read_attempt = '1') 
Count: 177858
Threshold: 1

Signal assignment statement on line 810:

810:                         '1' when (mr_tst_control_tmaena = '1') 
Count: 648
Threshold: 1

Signal assignment statement on line 812:

812:                         '0'
Count: 236111
Threshold: 1

If statement on lines 864 to 867:

864:    rxb_port_a_write  <= '1' when (write_raw_OK = '1' or 
865:                                  (select_ts_wptr = '1' and data_overrun_i = '0')) 
866:                             else 
867:                         '0'; 

Count: 257607
Threshold: 1

Signal assignment statement on line 864:

864:    rxb_port_a_write  <= '1' when (write_raw_OK = '1' or 
Count: 125864
Threshold: 1

Signal assignment statement on line 867:

867:                         '0'
Count: 131743
Threshold: 1

If statement on lines 873 to 875:

873:    rxb_port_a_address   <= write_pointer_ts when (select_ts_wptr = '1') 
874:                                             else 
875:                           write_pointer_raw; 

Count: 251714
Threshold: 1

Signal assignment statement on line 873:

873:    rxb_port_a_address   <= write_pointer_ts when (select_ts_wptr = '1') 
Count: 26124
Threshold: 1

Signal assignment statement on line 875:

875:                           write_pointer_raw
Count: 225590
Threshold: 1

If statement on lines 882 to 884:

882:    rxb_port_b_address <= read_pointer_inc_1 when (read_increment = '1') 
883:                                             else 
884:                                read_pointer; 

Count: 209410
Threshold: 1

Signal assignment statement on line 882:

882:    rxb_port_b_address <= read_pointer_inc_1 when (read_increment = '1') 
Count: 148086
Threshold: 1

Signal assignment statement on line 884:

884:                                read_pointer
Count: 61324
Threshold: 1

If statement on lines 890 to 892:

890:    rx_mof <= '0' when (read_counter_q = "00000") 
891:                  else 
892:              '1'; 

Count: 54889
Threshold: 1

Signal assignment statement on line 890:

890:    rx_mof <= '0' when (read_counter_q = "00000") 
Count: 10937
Threshold: 1

Signal assignment statement on line 892:

892:              '1'
Count: 43952
Threshold: 1

If statement on lines 901 to 910:

901:        if (res_n = '0') then 
902:            rx_parity_error <= '0'; 
...
909:            end if; 
910:        end if; 

Count: 1090018206
Threshold: 1

Signal assignment statement on line 902:

902:            rx_parity_error <= '0'; 
Count: 2424883
Threshold: 1

If statement on lines 904 to 909:

904:            if (read_attempt = '1' and rx_parity_mismatch_comb = '1' and mr_settings_pchke = '1') 
905:            then 
906:                rx_parity_error <= '1'; 
907:            elsif (mr_command_crxpe = '1') then 
908:                rx_parity_error <= '0'; 
909:            end if; 

Count: 543791678
Threshold: 1

Signal assignment statement on line 906:

906:                rx_parity_error <= '1'; 
Count: 9
Threshold: 1

Signal assignment statement on line 908:

908:                rx_parity_error <= '0'; 
Count: 40
Threshold: 1

Signal assignment statement on line 917:

917:    rx_read_pointer  <= read_pointer
Count: 55704
Threshold: 1

Signal assignment statement on line 918:

918:    rx_write_pointer <= write_pointer
Count: 17729
Threshold: 1

Signal assignment statement on line 919:

919:    rx_data_overrun  <= data_overrun_flg
Count: 3264
Threshold: 1

If statement on lines 921 to 923:

921:    rx_empty_i       <= '1' when (frame_count = 0) 
922:                            else 
923:                        '0'; 

Count: 26313
Threshold: 1

Signal assignment statement on line 921:

921:    rx_empty_i       <= '1' when (frame_count = 0) 
Count: 8999
Threshold: 1

Signal assignment statement on line 923:

923:                        '0'
Count: 17314
Threshold: 1

If statement on lines 925 to 927:

925:    rx_full          <= '1' when (rx_mem_free_i = C_RX_BUF_MEM_FREE_ZEROES) 
926:                            else 
927:                        '0'; 

Count: 68645
Threshold: 1

Signal assignment statement on line 925:

925:    rx_full          <= '1' when (rx_mem_free_i = C_RX_BUF_MEM_FREE_ZEROES) 
Count: 20
Threshold: 1

Signal assignment statement on line 927:

927:                        '0'
Count: 68625
Threshold: 1

Signal assignment statement on line 929:

929:    rx_frame_count   <= std_logic_vector(frame_count)
Count: 26313
Threshold: 1

Signal assignment statement on line 930:

930:    rx_mem_free      <= rx_mem_free_i
Count: 68645
Threshold: 1

Signal assignment statement on line 931:

931:    rx_empty         <= rx_empty_i
Count: 19601
Threshold: 1

Uncovered branches:

Excluded branches:

Covered branches:

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

436:    rx_buf_res_n_d <= '0' when (mr_command_rrb = '1' or res_n = '0'
Evaluated toCountThreshold
BinTrue85321
BinFalse142201

"case" / "with" / "select" choice on line 518:

518:        "0000" & frame_form_w            when "00001"
Choice ofCountThreshold
Bin"00001"270931

"case" / "with" / "select" choice on line 519:

519:        "000" & rec_ident                when "00010"
Choice ofCountThreshold
Bin"00010"270851

"case" / "with" / "select" choice on line 520:

520:        store_data_word                  when "00100"
Choice ofCountThreshold
Bin"00100"30145341

"case" / "with" / "select" choice on line 521:

521:        timestamp_capture(31 downto 0)   when "01000"
Choice ofCountThreshold
Bin"01000"133991

"case" / "with" / "select" choice on line 522:

522:        timestamp_capture(63 downto 32)  when "10000"
Choice ofCountThreshold
Bin"10000"133991

"case" / "with" / "select" choice on line 523:

523:        (others => '0')                  when others
Choice ofCountThreshold
Binothers33428621

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

528:    read_attempt <= mr_rx_data_read when (mr_mode_rxbam = RXBAM_ENABLED
Evaluated toCountThreshold
BinTrue1596411
BinFalse53521

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

532:    read_increment <= '1' when (read_attempt = '1' and rx_empty_i = '0'
Evaluated toCountThreshold
BinTrue516851
BinFalse1247061

"if" / "when" / "else" condition on lines 540 to 541:

540:    write_raw_OK <= '1' when (write_raw_intent = '1' and overrun_condition = '0' and 
541:                              data_overrun_i = '0') 

Evaluated toCountThreshold
BinTrue1128431
BinFalse1187461

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

552:    is_free_word <= '0' when (read_pointer = write_pointer_raw and frame_count > 0
Evaluated toCountThreshold
BinTrue491
BinFalse2869401

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

563:    overrun_condition <= '1' when (write_raw_intent = '1' and is_free_word = '0'
Evaluated toCountThreshold
BinTrue431
BinFalse2289221

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

573:    rxb_port_b_data_out <= rxb_port_b_data_out_i when (rx_empty_i = '0'
Evaluated toCountThreshold
BinTrue509901
BinFalse753791

"case" / "with" / "select" choice on line 582:

582:        3 when "0000", --Zero bits 
Choice ofCountThreshold
Bin"0000"412221

"case" / "with" / "select" choice on line 583:

583:        4 when "0001", --1 byte 
Choice ofCountThreshold
Bin"0001"94271

"case" / "with" / "select" choice on line 584:

584:        4 when "0010", --2 bytes 
Choice ofCountThreshold
Bin"0010"15871

"case" / "with" / "select" choice on line 585:

585:        4 when "0011", --3 bytes 
Choice ofCountThreshold
Bin"0011"16681

"case" / "with" / "select" choice on line 586:

586:        4 when "0100", --4 bytes 
Choice ofCountThreshold
Bin"0100"20491

"case" / "with" / "select" choice on line 587:

587:        5 when "0101", --5 bytes 
Choice ofCountThreshold
Bin"0101"10681

"case" / "with" / "select" choice on line 588:

588:        5 when "0110", --6 bytes 
Choice ofCountThreshold
Bin"0110"14481

"case" / "with" / "select" choice on line 589:

589:        5 when "0111", --7 bytes 
Choice ofCountThreshold
Bin"0111"10391

"case" / "with" / "select" choice on line 590:

590:        5 when "1000", --8 bytes 
Choice ofCountThreshold
Bin"1000"28721

"case" / "with" / "select" choice on line 591:

591:        6 when "1001", --12 bytes 
Choice ofCountThreshold
Bin"1001"9061

"case" / "with" / "select" choice on line 592:

592:        7 when "1010", --16 bytes 
Choice ofCountThreshold
Bin"1010"6101

"case" / "with" / "select" choice on line 593:

593:        8 when "1011", --20 bytes 
Choice ofCountThreshold
Bin"1011"4501

"case" / "with" / "select" choice on line 594:

594:        9 when "1100", --24 bytes 
Choice ofCountThreshold
Bin"1100"8031

"case" / "with" / "select" choice on line 595:

595:        11 when "1101", --32 bytes 
Choice ofCountThreshold
Bin"1101"7061

"case" / "with" / "select" choice on line 596:

596:        15 when "1110", --48 bytes 
Choice ofCountThreshold
Bin"1110"17171

"case" / "with" / "select" choice on line 597:

597:        19 when others; --64 bytes 
Choice ofCountThreshold
Binothers148791

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

620:        "00011" when (rec_is_rtr = RTR_FRAME or rec_erf = ERFM_ENABLED) else 
Evaluated toCountThreshold
BinTrue276481
BinFalse1763231

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

621:        "00101" when ((rec_frame_type = NORMAL_CAN) and (rec_dlc(3) = '1')) else 
Evaluated toCountThreshold
BinTrue63501
BinFalse1699731

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

625:    frame_form_w(ERF_POS_H downto ERF_POS_L) <= err_capt_err_pos when (rec_erf = '1'
Evaluated toCountThreshold
BinTrue3371
BinFalse139761

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

629:    frame_form_w(ERF_TYPE_H downto ERF_TYPE_L) <= err_capt_err_type when (rec_erf = '1'
Evaluated toCountThreshold
BinTrue3371
BinFalse92661

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

633:    frame_form_w(ERF_ERP_IND) <= err_capt_err_erp when (rec_erf = '1'
Evaluated toCountThreshold
BinTrue3371
BinFalse57201

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

638:    frame_form_w(LBTBI_H downto LBTBI_L) <= curr_txtb_index when (rec_lbpf = LBPF_LOOPBACK
Evaluated toCountThreshold
BinTrue3501
BinFalse171351

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

648:    timestamp_capture_ce <= '1' when (mr_rx_settings_rtsop = RTS_END and rec_valid_f = '1'
Evaluated toCountThreshold
BinTrue130521
BinFalse2421591

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

650:                            '1' when (mr_rx_settings_rtsop = RTS_BEG and sof_pulse = '1'
Evaluated toCountThreshold
BinTrue151
BinFalse2421441

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

652:                            '1' when (mr_mode_erfm = ERFM_ENABLED and rec_abort_f = '1'
Evaluated toCountThreshold
BinTrue3371
BinFalse2418071

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

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

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

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

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

661:            if (timestamp_capture_ce = '1') then 
Evaluated toCountThreshold
BinTrue133991
BinFalse5437782791

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

679:    read_counter_d <= read_counter_q - 1 when (read_counter_q > "00000"
Evaluated toCountThreshold
BinTrue793501
BinFalse778001

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

685:        if (rx_buf_res_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24389171
BinFalse10875800001

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

687:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437848391
BinFalse5437951611

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

690:            if (read_increment = '1') then 
Evaluated toCountThreshold
BinTrue516851
BinFalse5437331541

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

704:        if (rx_buf_res_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24389171
BinFalse10875800001

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

706:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437848391
BinFalse5437951611

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

709:            if ((read_increment = '1') and (read_counter_q = "00001")) then 
Evaluated toCountThreshold
BinTrue93341
BinFalse5437755051

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

710:                if (commit_rx_frame = '0') then 
Evaluated toCountThreshold
BinTrue93291
BinFalse51

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

715:            elsif (commit_rx_frame = '1') then 
Evaluated toCountThreshold
BinTrue133531
BinFalse5437621521

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

729:        if (rx_buf_res_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24389171
BinFalse10875800001

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

733:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437848391
BinFalse5437951611

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

735:            if (commit_intent = '1') then 
Evaluated toCountThreshold
BinTrue133991
BinFalse5437714401

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

736:                if (data_overrun_i = '0') then 
Evaluated toCountThreshold
BinTrue133581
BinFalse411

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

757:        if (rx_buf_res_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24389171
BinFalse10875800001

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

759:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5437848391
BinFalse5437951611

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

762:            if (mr_command_cdo = '1') then 
Evaluated toCountThreshold
BinTrue201
BinFalse5437848191

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

764:            elsif (overrun_condition = '1') then 
Evaluated toCountThreshold
BinTrue1391
BinFalse5437846801

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

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

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

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

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

792:            if (overrun_condition = '1' or mr_command_rrb = '1') then 
Evaluated toCountThreshold
BinTrue5991
BinFalse5437910791

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

794:            elsif (reset_overrun_flag = '1') then 
Evaluated toCountThreshold
BinTrue4357271131
BinFalse1080639661

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

808:    rx_buf_ram_clk_en <= '1' when (rxb_port_a_write = '1' or read_attempt = '1'
Evaluated toCountThreshold
BinTrue1778581
BinFalse2367591

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

810:                         '1' when (mr_tst_control_tmaena = '1'
Evaluated toCountThreshold
BinTrue6481
BinFalse2361111

"if" / "when" / "else" condition on lines 864 to 865:

864:    rxb_port_a_write  <= '1' when (write_raw_OK = '1' or 
865:                                  (select_ts_wptr = '1' and data_overrun_i = '0')) 

Evaluated toCountThreshold
BinTrue1258641
BinFalse1317431

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

873:    rxb_port_a_address   <= write_pointer_ts when (select_ts_wptr = '1'
Evaluated toCountThreshold
BinTrue261241
BinFalse2255901

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

882:    rxb_port_b_address <= read_pointer_inc_1 when (read_increment = '1'
Evaluated toCountThreshold
BinTrue1480861
BinFalse613241

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

890:    rx_mof <= '0' when (read_counter_q = "00000"
Evaluated toCountThreshold
BinTrue109371
BinFalse439521

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

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

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

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

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

904:            if (read_attempt = '1' and rx_parity_mismatch_comb = '1' and mr_settings_pchke = '1'
Evaluated toCountThreshold
BinTrue91
BinFalse5437916691

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

907:            elsif (mr_command_crxpe = '1') then 
Evaluated toCountThreshold
BinTrue401
BinFalse5437916291

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

921:    rx_empty_i       <= '1' when (frame_count = 0
Evaluated toCountThreshold
BinTrue89991
BinFalse173141

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

925:    rx_full          <= '1' when (rx_mem_free_i = C_RX_BUF_MEM_FREE_ZEROES
Evaluated toCountThreshold
BinTrue201
BinFalse686251

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:

 SCAN_ENABLE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_IDENT
ElementFromToCountThresholdExcluded due to
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
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:

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

 REC_IDENT_TYPE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_FRAME_TYPE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_LBPF
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_IS_RTR
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_BRS
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_ESI
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_IVLD
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 STORE_METADATA_F
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 STORE_DATA_F
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 STORE_DATA_WORD
ElementFromToCountThresholdExcluded due to
Bin(31)0101Exclude file
Bin(31)1001Exclude file
Bin(30)0101Exclude file
Bin(30)1001Exclude file
Bin(29)0101Exclude file
Bin(29)1001Exclude file
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
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:

 REC_VALID_F
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 REC_ABORT_F
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 SOF_PULSE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

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

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

 ERR_CAPT_ERR_ERP
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 TIMESTAMP
ElementFromToCountThresholdExcluded due to
Bin(63)0101Exclude file
Bin(63)1001Exclude file
Bin(62)0101Exclude file
Bin(62)1001Exclude file
Bin(61)0101Exclude file
Bin(61)1001Exclude file
Bin(60)0101Exclude file
Bin(60)1001Exclude file
Bin(59)0101Exclude file
Bin(59)1001Exclude file
Bin(58)0101Exclude file
Bin(58)1001Exclude file
Bin(57)0101Exclude file
Bin(57)1001Exclude file
Bin(56)0101Exclude file
Bin(56)1001Exclude file
Bin(55)0101Exclude file
Bin(55)1001Exclude file
Bin(54)0101Exclude file
Bin(54)1001Exclude file
Bin(53)0101Exclude file
Bin(53)1001Exclude file
Bin(52)0101Exclude file
Bin(52)1001Exclude file
Bin(51)0101Exclude file
Bin(51)1001Exclude file
Bin(50)0101Exclude file
Bin(50)1001Exclude file
Bin(49)0101Exclude file
Bin(49)1001Exclude file
Bin(48)0101Exclude file
Bin(48)1001Exclude file
Bin(47)0101Exclude file
Bin(47)1001Exclude file
Bin(46)0101Exclude file
Bin(46)1001Exclude file
Bin(45)0101Exclude file
Bin(45)1001Exclude file
Bin(44)0101Exclude file
Bin(44)1001Exclude file
Bin(43)0101Exclude file
Bin(43)1001Exclude file
Bin(42)0101Exclude file
Bin(42)1001Exclude file
Bin(41)0101Exclude file
Bin(41)1001Exclude file
Bin(40)0101Exclude file
Bin(40)1001Exclude file
Bin(39)0101Exclude file
Bin(39)1001Exclude file
Bin(38)0101Exclude file
Bin(38)1001Exclude file
Bin(37)0101Exclude file
Bin(37)1001Exclude file
Bin(36)0101Exclude file
Bin(36)1001Exclude file
Bin(35)0101Exclude file
Bin(35)1001Exclude file
Bin(34)0101Exclude file
Bin(34)1001Exclude file
Bin(33)0101Exclude file
Bin(33)1001Exclude file
Bin(32)0101Exclude file
Bin(32)1001Exclude file
Bin(31)0101Exclude file
Bin(31)1001Exclude file
Bin(30)0101Exclude file
Bin(30)1001Exclude file
Bin(29)0101Exclude file
Bin(29)1001Exclude file
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
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:

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

 MR_MODE_RXBAM
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_COMMAND_CDO
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_COMMAND_CRXPE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_COMMAND_RRB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_COMMAND_RXRPMV
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_RX_DATA_READ
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_RX_SETTINGS_RTSOP
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_SETTINGS_PCHKE
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_MODE_ERFM
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TST_CONTROL_TMAENA
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TST_CONTROL_TWRSTB
FromToCountThresholdExcluded due to
Bin0101Exclude file
Bin1001Exclude file

Port:

 MR_TST_DEST_TST_ADDR
ElementFromToCountThresholdExcluded due to
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
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:

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

 MR_TST_WDATA_TST_WDATA
ElementFromToCountThresholdExcluded due to
Bin(31)0101Exclude file
Bin(31)1001Exclude file
Bin(30)0101Exclude file
Bin(30)1001Exclude file
Bin(29)0101Exclude file
Bin(29)1001Exclude file
Bin(28)0101Exclude file
Bin(28)1001Exclude file
Bin(27)0101Exclude file
Bin(27)1001Exclude file
Bin(26)0101Exclude file
Bin(26)1001Exclude file
Bin(25)0101Exclude file
Bin(25)1001Exclude file
Bin(24)0101Exclude file
Bin(24)1001Exclude file
Bin(23)0101Exclude file
Bin(23)1001Exclude file
Bin(22)0101Exclude file
Bin(22)1001Exclude file
Bin(21)0101Exclude file
Bin(21)1001Exclude file
Bin(20)0101Exclude file
Bin(20)1001Exclude file
Bin(19)0101Exclude file
Bin(19)1001Exclude file
Bin(18)0101Exclude file
Bin(18)1001Exclude file
Bin(17)0101Exclude file
Bin(17)1001Exclude file
Bin(16)0101Exclude file
Bin(16)1001Exclude file
Bin(15)0101Exclude file
Bin(15)1001Exclude file
Bin(14)0101Exclude file
Bin(14)1001Exclude file
Bin(13)0101Exclude file
Bin(13)1001Exclude file
Bin(12)0101Exclude file
Bin(12)1001Exclude file
Bin(11)0101Exclude file
Bin(11)1001Exclude file
Bin(10)0101Exclude file
Bin(10)1001Exclude file
Bin(9)0101Exclude file
Bin(9)1001Exclude file
Bin(8)0101Exclude file
Bin(8)1001Exclude file
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

Covered toggles:

Port:

 RX_FULL
FromToCountThreshold
Bin01201
Bin1016211

Port:

 RX_EMPTY
FromToCountThreshold
Bin0189991
Bin1090011

Port:

 RX_FRAME_COUNT
ElementFromToCountThreshold
Bin(10)0141
Bin(10)101691
Bin(9)0151
Bin(9)101701
Bin(8)01101
Bin(8)101751
Bin(7)01211
Bin(7)101861
Bin(6)01431
Bin(6)102081
Bin(5)01981
Bin(5)107581
Bin(4)011951
Bin(4)108551
Bin(3)014041
Bin(3)1020051
Bin(2)018461
Bin(2)1024471
Bin(1)0125381
Bin(1)1041391
Bin(0)01114781
Bin(0)10130771

Port:

 RX_MEM_FREE
ElementFromToCountThreshold
Bin(12)0112391
Bin(12)1010741
Bin(11)0110761
Bin(11)1012411
Bin(10)0110831
Bin(10)1012481
Bin(9)0110971
Bin(9)1012621
Bin(8)0111251
Bin(8)1012901
Bin(7)0145321
Bin(7)1042021
Bin(6)0141591
Bin(6)1048191
Bin(5)0188261
Bin(5)1085471
Bin(4)0184141
Bin(4)10100131
Bin(3)01100051
Bin(3)10116041
Bin(2)01122091
Bin(2)10138081
Bin(1)01160731
Bin(1)10176741
Bin(0)01274471
Bin(0)10290481

Port:

 RX_READ_POINTER
ElementFromToCountThreshold
Bin(11)0121
Bin(11)101671
Bin(10)0151
Bin(10)101701
Bin(9)01111
Bin(9)101761
Bin(8)01211
Bin(8)101861
Bin(7)01411
Bin(7)102061
Bin(6)012051
Bin(6)108651
Bin(5)014431
Bin(5)1011031
Bin(4)0115781
Bin(4)1031791
Bin(3)0131841
Bin(3)1047851
Bin(2)0166331
Bin(2)1082341
Bin(1)01130031
Bin(1)10146041
Bin(0)01259731
Bin(0)10275741

Port:

 RX_WRITE_POINTER
ElementFromToCountThreshold
Bin(11)0151
Bin(11)101701
Bin(10)01111
Bin(10)101761
Bin(9)01231
Bin(9)101881
Bin(8)01451
Bin(8)102101
Bin(7)01891
Bin(7)102541
Bin(6)013111
Bin(6)109711
Bin(5)016691
Bin(5)1013291
Bin(4)0119711
Bin(4)1035721
Bin(3)0137771
Bin(3)1053781
Bin(2)0161711
Bin(2)1077701
Bin(1)0118811
Bin(1)1034821
Bin(0)0117351
Bin(0)1033361

Port:

 RX_DATA_OVERRUN
FromToCountThreshold
Bin01311
Bin1016321

Port:

 RX_MOF
FromToCountThreshold
Bin01109371
Bin10109371

Port:

 RX_PARITY_ERROR
FromToCountThreshold
Bin0191
Bin1016101

Port:

 RXB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)0136221
Bin(31)1068241
Bin(30)0133061
Bin(30)1065081
Bin(29)0134531
Bin(29)1066551
Bin(28)0170171
Bin(28)10102191
Bin(27)0165621
Bin(27)1097641
Bin(26)0173251
Bin(26)10105271
Bin(25)0175641
Bin(25)10107661
Bin(24)01129481
Bin(24)10161481
Bin(23)0176081
Bin(23)10108101
Bin(22)0172781
Bin(22)10104801
Bin(21)0172921
Bin(21)10104941
Bin(20)0168961
Bin(20)10100981
Bin(19)0189861
Bin(19)10121881
Bin(18)0198641
Bin(18)10130661
Bin(17)0180081
Bin(17)10112101
Bin(16)0180131
Bin(16)10112151
Bin(15)0186841
Bin(15)10118861
Bin(14)0194721
Bin(14)10126741
Bin(13)01130261
Bin(13)10162281
Bin(12)01137301
Bin(12)10169301
Bin(11)01151941
Bin(11)10183941
Bin(10)01105331
Bin(10)10137351
Bin(9)01121041
Bin(9)10153061
Bin(8)0198151
Bin(8)10130171
Bin(7)01131001
Bin(7)10163021
Bin(6)01116541
Bin(6)10148561
Bin(5)01114111
Bin(5)10146131
Bin(4)01101621
Bin(4)10133641
Bin(3)01110691
Bin(3)10142711
Bin(2)01117371
Bin(2)10149391
Bin(1)01123431
Bin(1)10155451
Bin(0)01122861
Bin(0)10154881

Port:

 MR_TST_RDATA_TST_RDATA
ElementFromToCountThreshold
Bin(31)01213671
Bin(31)10184611
Bin(30)01124121
Bin(30)10185251
Bin(29)01168151
Bin(29)10139091
Bin(28)01169401
Bin(28)10230531
Bin(27)01170601
Bin(27)10141541
Bin(26)01169781
Bin(26)10230911
Bin(25)01216201
Bin(25)10187141
Bin(24)01126711
Bin(24)10187841
Bin(23)01213891
Bin(23)10184831
Bin(22)01124341
Bin(22)10185471
Bin(21)01168601
Bin(21)10139541
Bin(20)01169801
Bin(20)10230931
Bin(19)01170951
Bin(19)10141891
Bin(18)01170331
Bin(18)10231461
Bin(17)01216131
Bin(17)10187071
Bin(16)01125791
Bin(16)10186921
Bin(15)01214061
Bin(15)10185001
Bin(14)01124381
Bin(14)10185511
Bin(13)01169151
Bin(13)10140091
Bin(12)01170031
Bin(12)10231161
Bin(11)01171361
Bin(11)10142301
Bin(10)01170171
Bin(10)10231301
Bin(9)01216901
Bin(9)10187841
Bin(8)01126301
Bin(8)10187431
Bin(7)01214261
Bin(7)10185201
Bin(6)01124561
Bin(6)10185691
Bin(5)01168721
Bin(5)10139661
Bin(4)01169911
Bin(4)10231041
Bin(3)01171001
Bin(3)10141941
Bin(2)01170321
Bin(2)10231451
Bin(1)01216931
Bin(1)10187871
Bin(0)01126391
Bin(0)10187521

Signal:

 READ_POINTER
ElementFromToCountThreshold
Bin(11)0121
Bin(11)101671
Bin(10)0151
Bin(10)101701
Bin(9)01111
Bin(9)101761
Bin(8)01211
Bin(8)101861
Bin(7)01411
Bin(7)102061
Bin(6)012051
Bin(6)108651
Bin(5)014431
Bin(5)1011031
Bin(4)0115781
Bin(4)1031791
Bin(3)0131841
Bin(3)1047851
Bin(2)0166331
Bin(2)1082341
Bin(1)01130031
Bin(1)10146041
Bin(0)01259731
Bin(0)10275741

Signal:

 READ_POINTER_INC_1
ElementFromToCountThreshold
Bin(11)0121
Bin(11)101671
Bin(10)0151
Bin(10)101701
Bin(9)01111
Bin(9)101761
Bin(8)01211
Bin(8)101861
Bin(7)01411
Bin(7)102061
Bin(6)012061
Bin(6)108661
Bin(5)014511
Bin(5)1011111
Bin(4)0115921
Bin(4)1031931
Bin(3)0131941
Bin(3)1047951
Bin(2)0166871
Bin(2)1082881
Bin(1)01131731
Bin(1)10147741
Bin(0)01275741
Bin(0)10259731

Signal:

 WRITE_POINTER
ElementFromToCountThreshold
Bin(11)0151
Bin(11)101701
Bin(10)01111
Bin(10)101761
Bin(9)01231
Bin(9)101881
Bin(8)01451
Bin(8)102101
Bin(7)01891
Bin(7)102541
Bin(6)013111
Bin(6)109711
Bin(5)016691
Bin(5)1013291
Bin(4)0119711
Bin(4)1035721
Bin(3)0137771
Bin(3)1053781
Bin(2)0161711
Bin(2)1077701
Bin(1)0118811
Bin(1)1034821
Bin(0)0117351
Bin(0)1033361

Signal:

 WRITE_POINTER_RAW
ElementFromToCountThreshold
Bin(11)0161
Bin(11)101711
Bin(10)01121
Bin(10)101771
Bin(9)01251
Bin(9)101901
Bin(8)01481
Bin(8)102131
Bin(7)01941
Bin(7)102591
Bin(6)013541
Bin(6)1010141
Bin(5)017561
Bin(5)1014161
Bin(4)0146071
Bin(4)1062081
Bin(3)01117771
Bin(3)10133781
Bin(2)01268471
Bin(2)10284461
Bin(1)01494351
Bin(1)10510361
Bin(0)01993141
Bin(0)101009151

Signal:

 WRITE_POINTER_TS
ElementFromToCountThreshold
Bin(11)0151
Bin(11)101701
Bin(10)01111
Bin(10)101761
Bin(9)01231
Bin(9)101881
Bin(8)01451
Bin(8)102101
Bin(7)01891
Bin(7)102541
Bin(6)012971
Bin(6)109571
Bin(5)016531
Bin(5)1013131
Bin(4)0118881
Bin(4)1034891
Bin(3)0136161
Bin(3)1052171
Bin(2)0162031
Bin(2)1078041
Bin(1)0135321
Bin(1)1051261
Bin(0)01115951
Bin(0)10131941

Signal:

 RX_MEM_FREE_I
ElementFromToCountThreshold
Bin(12)0112391
Bin(12)1010741
Bin(11)0110761
Bin(11)1012411
Bin(10)0110831
Bin(10)1012481
Bin(9)0110971
Bin(9)1012621
Bin(8)0111251
Bin(8)1012901
Bin(7)0145321
Bin(7)1042021
Bin(6)0141591
Bin(6)1048191
Bin(5)0188261
Bin(5)1085471
Bin(4)0184141
Bin(4)10100131
Bin(3)01100051
Bin(3)10116041
Bin(2)01122091
Bin(2)10138081
Bin(1)01160731
Bin(1)10176741
Bin(0)01274471
Bin(0)10290481

Signal:

 DATA_OVERRUN_FLG
FromToCountThreshold
Bin01311
Bin1016321

Signal:

 DATA_OVERRUN_I
FromToCountThreshold
Bin014971
Bin1020981

Signal:

 OVERRUN_CONDITION
FromToCountThreshold
Bin01431
Bin1016441

Signal:

 RX_EMPTY_I
FromToCountThreshold
Bin0189991
Bin1090011

Signal:

 IS_FREE_WORD
FromToCountThreshold
Bin0116301
Bin10291

Signal:

 FRAME_COUNT
ElementFromToCountThreshold
Bin(10)0141
Bin(10)101691
Bin(9)0151
Bin(9)101701
Bin(8)01101
Bin(8)101751
Bin(7)01211
Bin(7)101861
Bin(6)01431
Bin(6)102081
Bin(5)01981
Bin(5)107581
Bin(4)011951
Bin(4)108551
Bin(3)014041
Bin(3)1020051
Bin(2)018461
Bin(2)1024471
Bin(1)0125381
Bin(1)1041391
Bin(0)01114781
Bin(0)10130771

Signal:

 READ_COUNTER_D
ElementFromToCountThreshold
Bin(4)01246361
Bin(4)10221711
Bin(3)01162031
Bin(3)10226361
Bin(2)01252031
Bin(2)10208981
Bin(1)01314741
Bin(1)10365711
Bin(0)01442001
Bin(0)10396551

Signal:

 READ_COUNTER_Q
ElementFromToCountThreshold
Bin(4)012891
Bin(4)1018901
Bin(3)016401
Bin(3)1022411
Bin(2)0156741
Bin(2)1072751
Bin(1)01113261
Bin(1)10129271
Bin(0)01244221
Bin(0)10260231

Signal:

 COMMIT_RX_FRAME
FromToCountThreshold
Bin01133581
Bin10149591

Signal:

 COMMIT_OVERRUN_ABORT
FromToCountThreshold
Bin01411
Bin1016421

Signal:

 READ_INCREMENT
FromToCountThreshold
Bin01516851
Bin10532861

Signal:

 WRITE_RAW_OK
FromToCountThreshold
Bin011128431
Bin101144441

Signal:

 WRITE_RAW_INTENT
FromToCountThreshold
Bin011128531
Bin101144541

Signal:

 SELECT_TS_WPTR
FromToCountThreshold
Bin01130621
Bin10146631

Signal:

 COMMIT_INTENT
FromToCountThreshold
Bin01133991
Bin10150001

Signal:

 DATA_SELECTOR
ElementFromToCountThreshold
Bin(4)01133991
Bin(4)10150001
Bin(3)01133991
Bin(3)10150001
Bin(2)01264111
Bin(2)10280121
Bin(1)01267481
Bin(1)10283491
Bin(0)01267511
Bin(0)10283521

Signal:

 STORE_TS_WR_PTR
FromToCountThreshold
Bin01264111
Bin10280121

Signal:

 INC_TS_WR_PTR
FromToCountThreshold
Bin01130621
Bin10146631

Signal:

 RESET_OVERRUN_FLAG
FromToCountThreshold
Bin01283371
Bin10267361

Signal:

 READ_ATTEMPT
FromToCountThreshold
Bin01517151
Bin10533381

Signal:

 REC_ERF
FromToCountThreshold
Bin013371
Bin1019381

Signal:

 FRAME_FORM_W
ElementFromToCountThreshold
Bin(27)01901
Bin(27)104103201
Bin(26)015481
Bin(26)104140691
Bin(25)0114111
Bin(25)104148361
Bin(24)012327371
Bin(24)101787071
Bin(23)01121
Bin(23)104147951
Bin(22)011171
Bin(22)104159761
Bin(21)01791
Bin(21)104153181
Bin(20)01341
Bin(20)104162131
Bin(19)0151
Bin(19)104140441
Bin(18)012061
Bin(18)104151381
Bin(17)011491
Bin(17)104147251
Bin(16)012721
Bin(16)104155431
Bin(15)01562711
Bin(15)101212241
Bin(14)0166771
Bin(14)10194451
Bin(13)01693781
Bin(13)101537301
Bin(12)011534781
Bin(12)10682731
Bin(11)011073961
Bin(11)10459951
Bin(10)0183261
Bin(10)104015171
Bin(9)01734741
Bin(9)103363691
Bin(8)0126321
Bin(8)104088121
Bin(7)011711501
Bin(7)102354911
Bin(6)01856621
Bin(6)103241811
Bin(5)01769451
Bin(5)103361001
Bin(4)013371
Bin(4)104143091
Bin(3)01704891
Bin(3)101588031
Bin(2)01754571
Bin(2)101670141
Bin(1)01742011
Bin(1)101662171
Bin(0)01947791
Bin(0)102012971

Signal:

 TIMESTAMP_CAPTURE
ElementFromToCountThreshold
Bin(63)0151
Bin(63)10157071
Bin(62)01591
Bin(62)10157571
Bin(61)01661
Bin(61)10157621
Bin(60)01501
Bin(60)10157441
Bin(59)01711
Bin(59)10157671
Bin(58)01681
Bin(58)10157621
Bin(57)01571
Bin(57)10157571
Bin(56)01741
Bin(56)10157681
Bin(55)01611
Bin(55)10157571
Bin(54)01581
Bin(54)10157561
Bin(53)01591
Bin(53)10157571
Bin(52)01521
Bin(52)10157501
Bin(51)01711
Bin(51)10157671
Bin(50)01621
Bin(50)10157561
Bin(49)01621
Bin(49)10157621
Bin(48)01671
Bin(48)10157651
Bin(47)01701
Bin(47)10157661
Bin(46)01691
Bin(46)10157631
Bin(45)01601
Bin(45)10157561
Bin(44)01661
Bin(44)10157621
Bin(43)01641
Bin(43)10157621
Bin(42)01741
Bin(42)10157721
Bin(41)01701
Bin(41)10157701
Bin(40)01711
Bin(40)10157631
Bin(39)01741
Bin(39)10157681
Bin(38)01611
Bin(38)10157591
Bin(37)01681
Bin(37)10157641
Bin(36)01631
Bin(36)10157631
Bin(35)01851
Bin(35)10157791
Bin(34)01481
Bin(34)10157461
Bin(33)01591
Bin(33)10157571
Bin(32)01571
Bin(32)10157551
Bin(31)01511
Bin(31)1016521
Bin(30)01571
Bin(30)1016581
Bin(29)01581
Bin(29)1016591
Bin(28)01391
Bin(28)1016401
Bin(27)01631
Bin(27)1016641
Bin(26)01581
Bin(26)1016591
Bin(25)01571
Bin(25)1016581
Bin(24)01641
Bin(24)1016651
Bin(23)01551
Bin(23)1016561
Bin(22)01571
Bin(22)1016581
Bin(21)01641
Bin(21)1016651
Bin(20)01681
Bin(20)1016691
Bin(19)011821
Bin(19)1017831
Bin(18)012431
Bin(18)1018441
Bin(17)015101
Bin(17)1021111
Bin(16)018361
Bin(16)1024371
Bin(15)0110211
Bin(15)1026221
Bin(14)0114231
Bin(14)1030231
Bin(13)0117351
Bin(13)1033361
Bin(12)0122511
Bin(12)1038521
Bin(11)0129391
Bin(11)1045391
Bin(10)0137901
Bin(10)1053911
Bin(9)0145261
Bin(9)1061251
Bin(8)0132051
Bin(8)1048041
Bin(7)0139581
Bin(7)1055571
Bin(6)0137361
Bin(6)1053361
Bin(5)0133761
Bin(5)1049761
Bin(4)0135911
Bin(4)1051921
Bin(3)0132421
Bin(3)1048421
Bin(2)0139841
Bin(2)1055841
Bin(1)0132231
Bin(1)1048231
Bin(0)0149561
Bin(0)1065571

Signal:

 TIMESTAMP_CAPTURE_CE
FromToCountThreshold
Bin01134041
Bin10150051

Signal:

 RXB_PORT_A_WRITE
FromToCountThreshold
Bin011258641
Bin101274651

Signal:

 RXB_PORT_A_ADDRESS
ElementFromToCountThreshold
Bin(11)01161
Bin(11)101811
Bin(10)01331
Bin(10)101981
Bin(9)01681
Bin(9)102331
Bin(8)011351
Bin(8)103001
Bin(7)012661
Bin(7)104311
Bin(6)018591
Bin(6)1015191
Bin(5)0118141
Bin(5)1024741
Bin(4)0174631
Bin(4)1090641
Bin(3)01173951
Bin(3)10189961
Bin(2)01381401
Bin(2)10397391
Bin(1)01609871
Bin(1)10625881
Bin(0)011123761
Bin(0)101139771

Signal:

 RXB_PORT_A_DATA_IN
ElementFromToCountThreshold
Bin(31)011170431
Bin(31)101186441
Bin(30)011185961
Bin(30)101201971
Bin(29)011231311
Bin(29)101247321
Bin(28)011419361
Bin(28)101435371
Bin(27)011365101
Bin(27)101381111
Bin(26)011484561
Bin(26)101500571
Bin(25)011405661
Bin(25)101421671
Bin(24)011633841
Bin(24)101649851
Bin(23)011388241
Bin(23)101404251
Bin(22)011486741
Bin(22)101502751
Bin(21)011432631
Bin(21)101448641
Bin(20)011522391
Bin(20)101538401
Bin(19)011502001
Bin(19)101518011
Bin(18)011634721
Bin(18)101650731
Bin(17)011496471
Bin(17)101512481
Bin(16)011532951
Bin(16)101548961
Bin(15)011927511
Bin(15)101943521
Bin(14)011881051
Bin(14)101897061
Bin(13)011849431
Bin(13)101865441
Bin(12)011991621
Bin(12)102007631
Bin(11)011962481
Bin(11)101978491
Bin(10)011784931
Bin(10)101800941
Bin(9)011832731
Bin(9)101848741
Bin(8)011752241
Bin(8)101768251
Bin(7)012048491
Bin(7)102064501
Bin(6)011950831
Bin(6)101966841
Bin(5)011883471
Bin(5)101899481
Bin(4)011852461
Bin(4)101868471
Bin(3)011976331
Bin(3)101992341
Bin(2)012021701
Bin(2)102037711
Bin(1)012041351
Bin(1)102057361
Bin(0)012064411
Bin(0)102080421

Signal:

 RXB_PORT_B_ADDRESS
ElementFromToCountThreshold
Bin(11)0151
Bin(11)101701
Bin(10)01131
Bin(10)101781
Bin(9)01291
Bin(9)101941
Bin(8)01601
Bin(8)102251
Bin(7)011191
Bin(7)102841
Bin(6)015461
Bin(6)1012061
Bin(5)0111961
Bin(5)1018561
Bin(4)0142061
Bin(4)1058071
Bin(3)0187491
Bin(3)10103501
Bin(2)01182761
Bin(2)10198771
Bin(1)01364741
Bin(1)10380751
Bin(0)01706891
Bin(0)10722901

Signal:

 RXB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)01258171
Bin(31)10241221
Bin(30)01163531
Bin(30)10237321
Bin(29)01208551
Bin(29)10192631
Bin(28)01248921
Bin(28)10335631
Bin(27)01243581
Bin(27)10240351
Bin(26)01253161
Bin(26)10341141
Bin(25)01300971
Bin(25)10298881
Bin(24)01276111
Bin(24)10303031
Bin(23)01299081
Bin(23)10297051
Bin(22)01206691
Bin(22)10291591
Bin(21)01248821
Bin(21)10248791
Bin(20)01246011
Bin(20)10334631
Bin(19)01268741
Bin(19)10273011
Bin(18)01280531
Bin(18)10371601
Bin(17)01306611
Bin(17)10297281
Bin(16)01216291
Bin(16)10297151
Bin(15)01309021
Bin(15)10293771
Bin(14)01227401
Bin(14)10300691
Bin(13)01307811
Bin(13)10268351
Bin(12)01327021
Bin(12)10378401
Bin(11)01339911
Bin(11)10294271
Bin(10)01280191
Bin(10)10346601
Bin(9)01341421
Bin(9)10312971
Bin(8)01228461
Bin(8)10297041
Bin(7)01347011
Bin(7)10312301
Bin(6)01243681
Bin(6)10300981
Bin(5)01287911
Bin(5)10261271
Bin(4)01276741
Bin(4)10344171
Bin(3)01285231
Bin(3)10259591
Bin(2)01290591
Bin(2)10353491
Bin(1)01342911
Bin(1)10315451
Bin(0)01253681
Bin(0)10310951

Signal:

 RX_BUF_RES_N_D
FromToCountThreshold
Bin0185441
Bin1085321

Signal:

 RX_BUF_RES_N_Q_SCAN
FromToCountThreshold
Bin0184391
Bin1084281

Signal:

 RX_BUF_RAM_CLK_EN
FromToCountThreshold
Bin011780701
Bin101796711

Signal:

 CLK_RAM
FromToCountThreshold
Bin01147491361
Bin10147507371

Signal:

 RX_PARITY_MISMATCH_COMB
FromToCountThreshold
Bin01188051
Bin10198191

Uncovered expressions:

Excluded expressions:

"and" expression on line 552:

 read_pointer = write_pointer_raw and frame_count > 0 
 <-------------LHS-------------->     <-----RHS-----> 

LHSRHSCountThresholdExcluded due to
BinFalseTrue01Unreachable

"and" expression on line 621:

 (rec_frame_type = NORMAL_CAN) and (rec_dlc(3) = '1') 
  <-----------LHS----------->       <-----RHS------>  

LHSRHSCountThresholdExcluded due to
BinFalseTrue01Unreachable

"and" expression on line 709:

 (read_increment = '1') and (read_counter_q = "00001") 
  <-------LHS-------->       <---------RHS---------->  

LHSRHSCountThresholdExcluded due to
BinFalseTrue01Unreachable

Covered expressions:

"or" expression on line 436:

 mr_command_rrb = '1' or res_n = '0' 
 <-------LHS-------->    <---RHS---> 

LHSRHSCountThreshold
BinFalseFalse142201
BinFalseTrue80721
BinTrueFalse4601

"=" expression on line 436:

 mr_command_rrb = '1' 
Evaluated toCountThreshold
BinFalse222921
BinTrue4601

"=" expression on line 436:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse146801
BinTrue80721

"=" expression on line 528:

 mr_mode_rxbam = RXBAM_ENABLED 
Evaluated toCountThreshold
BinFalse53521
BinTrue1596411

"and" expression on line 532:

 read_attempt = '1' and rx_empty_i = '0' 
 <------LHS------->     <-----RHS------> 

LHSRHSCountThreshold
BinFalseTrue1000341
BinTrueFalse69991
BinTrueTrue516851

"=" expression on line 532:

 read_attempt = '1' 
Evaluated toCountThreshold
BinFalse1177071
BinTrue586841

"=" expression on line 532:

 rx_empty_i = '0' 
Evaluated toCountThreshold
BinFalse246721
BinTrue1517191

"and" expression on lines 540 to 541:

 write_raw_intent = '1' and overrun_condition = '0' and data_overrun_i = '0' 
 <----------------------LHS----------------------->     <-------RHS--------> 

LHSRHSCountThreshold
BinFalseTrue1149411
BinTrueFalse101
BinTrueTrue1128431

"and" expression on line 540:

 write_raw_intent = '1' and overrun_condition = '0' 
 <--------LHS--------->     <---------RHS---------> 

LHSRHSCountThreshold
BinFalseTrue1170121
BinTrueFalse801
BinTrueTrue1128531

"=" expression on line 540:

 write_raw_intent = '1' 
Evaluated toCountThreshold
BinFalse1186561
BinTrue1129331

"=" expression on line 540:

 overrun_condition = '0' 
Evaluated toCountThreshold
BinFalse17241
BinTrue2298651

"=" expression on line 541:

 data_overrun_i = '0' 
Evaluated toCountThreshold
BinFalse38051
BinTrue2277841

"and" expression on line 552:

 read_pointer = write_pointer_raw and frame_count > 0 
 <-------------LHS-------------->     <-----RHS-----> 

LHSRHSCountThreshold
BinTrueFalse250991
BinTrueTrue491

"and" expression on line 563:

 write_raw_intent = '1' and is_free_word = '0' 
 <--------LHS--------->     <------RHS-------> 

LHSRHSCountThreshold
BinFalseTrue671
BinTrueFalse1128151
BinTrueTrue431

"=" expression on line 563:

 write_raw_intent = '1' 
Evaluated toCountThreshold
BinFalse1161071
BinTrue1128581

"=" expression on line 563:

 is_free_word = '0' 
Evaluated toCountThreshold
BinFalse2288551
BinTrue1101

"=" expression on line 573:

 rx_empty_i = '0' 
Evaluated toCountThreshold
BinFalse753791
BinTrue509901

"or" expression on line 620:

 rec_is_rtr = RTR_FRAME or rec_erf = ERFM_ENABLED 
 <--------LHS--------->    <--------RHS---------> 

LHSRHSCountThreshold
BinFalseFalse1763231
BinFalseTrue2801
BinTrueFalse273111

"=" expression on line 620:

 rec_is_rtr = RTR_FRAME 
Evaluated toCountThreshold
BinFalse1766031
BinTrue273681

"=" expression on line 620:

 rec_erf = ERFM_ENABLED 
Evaluated toCountThreshold
BinFalse2036341
BinTrue3371

"and" expression on line 621:

 (rec_frame_type = NORMAL_CAN) and (rec_dlc(3) = '1') 
  <-----------LHS----------->       <-----RHS------>  

LHSRHSCountThreshold
BinTrueFalse756151
BinTrueTrue63501

"=" expression on line 621:

 rec_frame_type = NORMAL_CAN 
Evaluated toCountThreshold
BinFalse943581
BinTrue819651

"=" expression on line 621:

 rec_dlc(3) = '1' 
Evaluated toCountThreshold
BinFalse756151
BinTrue63501

"=" expression on line 625:

 rec_erf = '1' 
Evaluated toCountThreshold
BinFalse139761
BinTrue3371

"=" expression on line 629:

 rec_erf = '1' 
Evaluated toCountThreshold
BinFalse92661
BinTrue3371

"=" expression on line 633:

 rec_erf = '1' 
Evaluated toCountThreshold
BinFalse57201
BinTrue3371

"=" expression on line 638:

 rec_lbpf = LBPF_LOOPBACK 
Evaluated toCountThreshold
BinFalse171351
BinTrue3501

"and" expression on line 648:

 mr_rx_settings_rtsop = RTS_END and rec_valid_f = '1' 
 <------------LHS------------->     <------RHS------> 

LHSRHSCountThreshold
BinFalseTrue101
BinTrueFalse2389021
BinTrueTrue130521

"=" expression on line 648:

 mr_rx_settings_rtsop = RTS_END 
Evaluated toCountThreshold
BinFalse32571
BinTrue2519541

"=" expression on line 648:

 rec_valid_f = '1' 
Evaluated toCountThreshold
BinFalse2421491
BinTrue130621

"and" expression on line 650:

 mr_rx_settings_rtsop = RTS_BEG and sof_pulse = '1' 
 <------------LHS------------->     <-----RHS-----> 

LHSRHSCountThreshold
BinFalseTrue806711
BinTrueFalse401
BinTrueTrue151

"=" expression on line 650:

 mr_rx_settings_rtsop = RTS_BEG 
Evaluated toCountThreshold
BinFalse2421041
BinTrue551

"=" expression on line 650:

 sof_pulse = '1' 
Evaluated toCountThreshold
BinFalse1614731
BinTrue806861

"and" expression on line 652:

 mr_mode_erfm = ERFM_ENABLED and rec_abort_f = '1' 
 <-----------LHS----------->     <------RHS------> 

LHSRHSCountThreshold
BinFalseTrue309611
BinTrueFalse16021
BinTrueTrue3371

"=" expression on line 652:

 mr_mode_erfm = ERFM_ENABLED 
Evaluated toCountThreshold
BinFalse2402051
BinTrue19391

"=" expression on line 652:

 rec_abort_f = '1' 
Evaluated toCountThreshold
BinFalse2108461
BinTrue312981

"=" expression on line 658:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"=" expression on line 661:

 timestamp_capture_ce = '1' 
Evaluated toCountThreshold
BinFalse5437782791
BinTrue133991

"=" expression on line 685:

 rx_buf_res_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10875800001
BinTrue24389171

"=" expression on line 690:

 read_increment = '1' 
Evaluated toCountThreshold
BinFalse5437331541
BinTrue516851

"=" expression on line 704:

 rx_buf_res_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10875800001
BinTrue24389171

"and" expression on line 709:

 (read_increment = '1') and (read_counter_q = "00001") 
  <-------LHS-------->       <---------RHS---------->  

LHSRHSCountThreshold
BinTrueFalse423511
BinTrueTrue93341

"=" expression on line 709:

 read_increment = '1' 
Evaluated toCountThreshold
BinFalse5437331541
BinTrue516851

"=" expression on line 710:

 commit_rx_frame = '0' 
Evaluated toCountThreshold
BinFalse51
BinTrue93291

"=" expression on line 715:

 commit_rx_frame = '1' 
Evaluated toCountThreshold
BinFalse5437621521
BinTrue133531

"=" expression on line 729:

 rx_buf_res_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10875800001
BinTrue24389171

"=" expression on line 735:

 commit_intent = '1' 
Evaluated toCountThreshold
BinFalse5437714401
BinTrue133991

"=" expression on line 736:

 data_overrun_i = '0' 
Evaluated toCountThreshold
BinFalse411
BinTrue133581

"=" expression on line 757:

 rx_buf_res_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10875800001
BinTrue24389171

"=" expression on line 762:

 mr_command_cdo = '1' 
Evaluated toCountThreshold
BinFalse5437848191
BinTrue201

"=" expression on line 764:

 overrun_condition = '1' 
Evaluated toCountThreshold
BinFalse5437846801
BinTrue1391

"=" expression on line 789:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"or" expression on line 792:

 overrun_condition = '1' or mr_command_rrb = '1' 
 <---------LHS--------->    <-------RHS--------> 

LHSRHSCountThreshold
BinFalseFalse5437910791
BinFalseTrue4601
BinTrueFalse1391

"=" expression on line 792:

 overrun_condition = '1' 
Evaluated toCountThreshold
BinFalse5437915391
BinTrue1391

"=" expression on line 792:

 mr_command_rrb = '1' 
Evaluated toCountThreshold
BinFalse5437912181
BinTrue4601

"=" expression on line 794:

 reset_overrun_flag = '1' 
Evaluated toCountThreshold
BinFalse1080639661
BinTrue4357271131

"or" expression on line 808:

 rxb_port_a_write = '1' or read_attempt = '1' 
 <--------LHS--------->    <------RHS-------> 

LHSRHSCountThreshold
BinFalseFalse2367591
BinFalseTrue516421
BinTrueFalse1260591

"=" expression on line 808:

 rxb_port_a_write = '1' 
Evaluated toCountThreshold
BinFalse2884011
BinTrue1262161

"=" expression on line 808:

 read_attempt = '1' 
Evaluated toCountThreshold
BinFalse3628181
BinTrue517991

"=" expression on line 810:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse2361111
BinTrue6481

"or" expression on lines 864 to 865:

 write_raw_OK = '1' or (select_ts_wptr = '1' and data_overrun_i = '0') 
 <------LHS------->     <--------------------RHS-------------------->  

LHSRHSCountThreshold
BinFalseFalse1317431
BinFalseTrue130211
BinTrueFalse1128431

"=" expression on line 864:

 write_raw_OK = '1' 
Evaluated toCountThreshold
BinFalse1447641
BinTrue1128431

"and" expression on line 865:

 select_ts_wptr = '1' and data_overrun_i = '0' 
 <-------LHS-------->     <-------RHS--------> 

LHSRHSCountThreshold
BinFalseTrue2408051
BinTrueFalse411
BinTrueTrue130211

"=" expression on line 865:

 select_ts_wptr = '1' 
Evaluated toCountThreshold
BinFalse2445451
BinTrue130621

"=" expression on line 865:

 data_overrun_i = '0' 
Evaluated toCountThreshold
BinFalse37811
BinTrue2538261

"=" expression on line 873:

 select_ts_wptr = '1' 
Evaluated toCountThreshold
BinFalse2255901
BinTrue261241

"=" expression on line 882:

 read_increment = '1' 
Evaluated toCountThreshold
BinFalse613241
BinTrue1480861

"=" expression on line 901:

 res_n = '0' 
Evaluated toCountThreshold
BinFalse10875933231
BinTrue24248831

"and" expression on line 904:

 read_attempt = '1' and rx_parity_mismatch_comb = '1' and mr_settings_pchke = '1' 
 <-----------------------LHS------------------------>     <---------RHS---------> 

LHSRHSCountThreshold
BinFalseTrue11360591
BinTrueFalse351
BinTrueTrue91

"and" expression on line 904:

 read_attempt = '1' and rx_parity_mismatch_comb = '1' 
 <------LHS------->     <------------RHS------------> 

LHSRHSCountThreshold
BinFalseTrue443172721
BinTrueFalse516611
BinTrueTrue441

"=" expression on line 904:

 read_attempt = '1' 
Evaluated toCountThreshold
BinFalse5437399731
BinTrue517051

"=" expression on line 904:

 rx_parity_mismatch_comb = '1' 
Evaluated toCountThreshold
BinFalse4994743621
BinTrue443173161

"=" expression on line 904:

 mr_settings_pchke = '1' 
Evaluated toCountThreshold
BinFalse5426556101
BinTrue11360681

"=" expression on line 907:

 mr_command_crxpe = '1' 
Evaluated toCountThreshold
BinFalse5437916291
BinTrue401

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: