NVC code coverage report

Hierarchy

Instance: CTU_CAN_FD_TB.TB_TOP_CTU_CAN_FD.I_DUT.I_RXB_TOP

File:  /__w/CTU-CAN-FD/CTU-CAN-FD/src/ctu_can_fd_top.vhd

Nested Instances Statement Branch Toggle Expression FSM state Functional Average
I_RST_REG 100.0 % (6/6) 100.0 % (6/6) 100.0 % (28/28) 100.0 % (2/2) N.A. N.A. 100.0 % (42/42)
I_RXB_FSM 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)
I_RXB_POINTERS 100.0 % (59/59) 100.0 % (60/60) 100.0 % (468/468) 100.0 % (55/55) N.A. N.A. 100.0 % (642/642)
I_CLK_GATE_RXB_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)
I_RXB_RAM 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.I_DUT.I_RXB_TOP 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_rst_n_d <= '0' when (mr_command_rrb = '1' or rst_n = '0') 
437:                          else 
438:                      '1'; 

Count: 22744
Threshold: 1

Signal assignment statement on line 436:

436:    rx_buf_rst_n_d <= '0' when (mr_command_rrb = '1' or rst_n = '0') 
Count: 8532
Threshold: 1

Signal assignment statement on line 438:

438:                      '1'
Count: 14212
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: 6449647
Threshold: 1

Signal assignment statement on line 518:

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

Signal assignment statement on line 519:

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

Signal assignment statement on line 520:

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

Signal assignment statement on line 521:

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

Signal assignment statement on line 522:

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

Signal assignment statement on line 523:

523:        (others => '0')                  when others; 
Count: 3371652
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: 162650
Threshold: 1

Signal assignment statement on line 528:

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

Signal assignment statement on line 530:

530:                    mr_command_rxrpmv
Count: 5292
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: 173998
Threshold: 1

Signal assignment statement on line 532:

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

Signal assignment statement on line 534:

534:                      '0'
Count: 123078
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: 230589
Threshold: 1

Signal assignment statement on line 540:

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

Signal assignment statement on line 543:

543:                    '0'
Count: 118255
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: 285299
Threshold: 1

Signal assignment statement on line 552:

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

Signal assignment statement on line 554:

554:                    '1'
Count: 285252
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: 227957
Threshold: 1

Signal assignment statement on line 563:

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

Signal assignment statement on line 565:

565:                         '0'
Count: 227912
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: 125439
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: 50170
Threshold: 1

Signal assignment statement on line 575:

575:                                 (others => '0')
Count: 75269
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: 80123
Threshold: 1

Signal assignment statement on line 582:

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

Signal assignment statement on line 583:

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

Signal assignment statement on line 584:

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

Signal assignment statement on line 585:

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

Signal assignment statement on line 586:

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

Signal assignment statement on line 587:

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

Signal assignment statement on line 588:

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

Signal assignment statement on line 589:

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

Signal assignment statement on line 590:

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

Signal assignment statement on line 591:

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

Signal assignment statement on line 592:

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

Signal assignment statement on line 593:

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

Signal assignment statement on line 594:

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

Signal assignment statement on line 595:

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

Signal assignment statement on line 596:

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

Signal assignment statement on line 597:

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

Signal assignment statement on line 603:

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

Signal assignment statement on line 604:

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

Signal assignment statement on line 605:

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

Signal assignment statement on line 606:

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

Signal assignment statement on line 607:

607:    frame_form_w(FDF_IND)                 <= rec_frame_type
Count: 60094
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: 43294
Threshold: 1

Signal assignment statement on line 610:

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

Signal assignment statement on line 611:

611:    frame_form_w(IVLD_IND)                <= rec_ivld
Count: 105553
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: 203118
Threshold: 1

Signal assignment statement on line 620:

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

Signal assignment statement on line 621:

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

Signal assignment statement on line 622:

622:         std_logic_vector(to_unsigned(rwcnt_com, (RWCNT_H - RWCNT_L + 1)))
Count: 170836
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: 14312
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: 338
Threshold: 1

Signal assignment statement on line 627:

627:                                                (others => '0')
Count: 13974
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: 9338
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: 338
Threshold: 1

Signal assignment statement on line 631:

631:                                                  (others => '0')
Count: 9000
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: 6069
Threshold: 1

Signal assignment statement on line 633:

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

Signal assignment statement on line 635:

635:                                              '0'
Count: 5731
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: 17449
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: 17099
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: 256339
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: 12979
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: 338
Threshold: 1

Signal assignment statement on line 654:

654:                            '0'
Count: 243007
Threshold: 1

If statement on lines 658 to 664:

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

Count: 1096781321
Threshold: 1

Signal assignment statement on line 659:

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

If statement on lines 661 to 663:

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

Count: 547174334
Threshold: 1

Signal assignment statement on line 662:

662:                timestamp_capture   <= timestamp; 
Count: 13327
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: 155756
Threshold: 1

Signal assignment statement on line 679:

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

Signal assignment statement on line 681:

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

If statement on lines 685 to 693:

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

Count: 1096782032
Threshold: 1

Signal assignment statement on line 686:

686:            read_counter_q <= (others => '0'); 
Count: 2436708
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: 547167495
Threshold: 1

Signal assignment statement on line 691:

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

If statement on lines 704 to 719:

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

Count: 1096782032
Threshold: 1

Signal assignment statement on line 705:

705:            frame_count <= (others => '0'); 
Count: 2436708
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: 547167495
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: 9258
Threshold: 1

Signal assignment statement on line 711:

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

Signal assignment statement on line 716:

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

If statement on lines 729 to 746:

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

Count: 1096782032
Threshold: 1

Signal assignment statement on line 730:

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

Signal assignment statement on line 731:

731:            commit_overrun_abort  <= '0'; 
Count: 2436708
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: 547167495
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: 13327
Threshold: 1

Signal assignment statement on line 737:

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

Signal assignment statement on line 739:

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

Signal assignment statement on line 742:

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

Signal assignment statement on line 743:

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

If statement on lines 757 to 770:

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

Count: 1096782032
Threshold: 1

Signal assignment statement on line 758:

758:            data_overrun_flg <= '0'; 
Count: 2436708
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: 547167495
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: 145
Threshold: 1

Signal assignment statement on line 767:

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

If statement on lines 789 to 799:

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

Count: 1096781321
Threshold: 1

Signal assignment statement on line 790:

790:            data_overrun_i <= '0'; 
Count: 2422674
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: 547174334
Threshold: 1

Signal assignment statement on line 793:

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

Signal assignment statement on line 795:

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

Signal assignment statement on line 797:

797:                data_overrun_i <= data_overrun_i; 
Count: 107876276
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: 411152
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: 176515
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: 233989
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: 256443
Threshold: 1

Signal assignment statement on line 864:

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

Signal assignment statement on line 867:

867:                         '0'
Count: 131164
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: 250733
Threshold: 1

Signal assignment statement on line 873:

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

Signal assignment statement on line 875:

875:                           write_pointer_raw
Count: 224755
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: 206393
Threshold: 1

Signal assignment statement on line 882:

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

Signal assignment statement on line 884:

884:                                read_pointer
Count: 60555
Threshold: 1

If statement on lines 890 to 892:

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

Count: 54122
Threshold: 1

Signal assignment statement on line 890:

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

Signal assignment statement on line 892:

892:              '1'
Count: 43263
Threshold: 1

If statement on lines 901 to 910:

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

Count: 1096781321
Threshold: 1

Signal assignment statement on line 902:

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

If statement on lines 904 to 909:

904:            if (mr_rx_data_read = '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: 547174334
Threshold: 1

Signal assignment statement on line 906:

906:                rx_parity_error <= '1'; 
Count: 13
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: 54937
Threshold: 1

Signal assignment statement on line 918:

918:    rx_write_pointer <= write_pointer
Count: 17651
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: 26156
Threshold: 1

Signal assignment statement on line 921:

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

Signal assignment statement on line 923:

923:                        '0'
Count: 17206
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: 67808
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: 67788
Threshold: 1

Signal assignment statement on line 929:

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

Signal assignment statement on line 930:

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

Signal assignment statement on line 931:

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

Uncovered branches:

Excluded branches:

Covered branches:

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

436:    rx_buf_rst_n_d <= '0' when (mr_command_rrb = '1' or rst_n = '0'
Evaluated toCountThreshold
BinTrue85321
BinFalse142121

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

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

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

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

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

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

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

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

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

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

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

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

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

528:    read_attempt <= mr_rx_data_read when (mr_mode_rxbam = RXBAM_ENABLED
Evaluated toCountThreshold
BinTrue1573581
BinFalse52921

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

532:    read_increment <= '1' when (read_attempt = '1' and rx_empty_i = '0'
Evaluated toCountThreshold
BinTrue509201
BinFalse1230781

"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
BinTrue1123341
BinFalse1182551

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

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

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

563:    overrun_condition <= '1' when (write_raw_intent = '1' and is_free_word = '0'
Evaluated toCountThreshold
BinTrue451
BinFalse2279121

"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
BinTrue501701
BinFalse752691

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

"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
BinTrue3381
BinFalse139741

"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
BinTrue3381
BinFalse90001

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

633:    frame_form_w(ERF_ERP_IND) <= err_capt_err_erp when (rec_erf = '1'
Evaluated toCountThreshold
BinTrue3381
BinFalse57311

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

"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
BinTrue129791
BinFalse2433601

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

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

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

652:                            '1' when (mr_mode_erfm = ERFM_ENABLED and rec_abort_f = '1'
Evaluated toCountThreshold
BinTrue3381
BinFalse2430071

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

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

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

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

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

661:            if (timestamp_capture_ce = '1') then 
Evaluated toCountThreshold
BinTrue133271
BinFalse5471610071

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

679:    read_counter_d <= read_counter_q - 1 when (read_counter_q > "00000"
Evaluated toCountThreshold
BinTrue781111
BinFalse776451

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

685:        if (rx_buf_rst_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24367081
BinFalse10943453241

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

687:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471674951
BinFalse5471778291

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

690:            if (read_increment = '1') then 
Evaluated toCountThreshold
BinTrue509201
BinFalse5471165751

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

704:        if (rx_buf_rst_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24367081
BinFalse10943453241

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

706:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471674951
BinFalse5471778291

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

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

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

710:                if (commit_rx_frame = '0') then 
Evaluated toCountThreshold
BinTrue92511
BinFalse71

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

715:            elsif (commit_rx_frame = '1') then 
Evaluated toCountThreshold
BinTrue132761
BinFalse5471449611

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

729:        if (rx_buf_rst_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24367081
BinFalse10943453241

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

733:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471674951
BinFalse5471778291

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

735:            if (commit_intent = '1') then 
Evaluated toCountThreshold
BinTrue133271
BinFalse5471541681

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

736:                if (data_overrun_i = '0') then 
Evaluated toCountThreshold
BinTrue132831
BinFalse441

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

757:        if (rx_buf_rst_n_q_scan = '0') then 
Evaluated toCountThreshold
BinTrue24367081
BinFalse10943453241

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

759:        elsif (rising_edge(clk_sys)) then 
Evaluated toCountThreshold
BinTrue5471674951
BinFalse5471778291

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

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

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

764:            elsif (overrun_condition = '1') then 
Evaluated toCountThreshold
BinTrue1451
BinFalse5471673301

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

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

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

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

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

792:            if (overrun_condition = '1' or mr_command_rrb = '1') then 
Evaluated toCountThreshold
BinTrue6051
BinFalse5471737291

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

794:            elsif (reset_overrun_flag = '1') then 
Evaluated toCountThreshold
BinTrue4392974531
BinFalse1078762761

"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
BinTrue1765151
BinFalse2346371

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

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

"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
BinTrue1252791
BinFalse1311641

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

873:    rxb_port_a_address   <= write_pointer_ts when (select_ts_wptr = '1'
Evaluated toCountThreshold
BinTrue259781
BinFalse2247551

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

882:    rxb_port_b_address <= read_pointer_inc_1 when (read_increment = '1'
Evaluated toCountThreshold
BinTrue1458381
BinFalse605551

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

890:    rx_mof <= '0' when (read_counter_q = "00000"
Evaluated toCountThreshold
BinTrue108591
BinFalse432631

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

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

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

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

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

904:            if (mr_rx_data_read = '1' and rx_parity_mismatch_comb = '1' and mr_settings_pchke = '1'
Evaluated toCountThreshold
BinTrue131
BinFalse5471743211

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

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

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

921:    rx_empty_i       <= '1' when (frame_count = 0
Evaluated toCountThreshold
BinTrue89501
BinFalse172061

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

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:

 SCAN_MODE
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
Bin0189501
Bin1089521

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)014031
Bin(3)1020041
Bin(2)018431
Bin(2)1024441
Bin(1)0125281
Bin(1)1041291
Bin(0)01113981
Bin(0)10129971

Port:

 RX_MEM_FREE
ElementFromToCountThreshold
Bin(12)0112061
Bin(12)1010411
Bin(11)0110431
Bin(11)1012081
Bin(10)0110501
Bin(10)1012151
Bin(9)0110641
Bin(9)1012291
Bin(8)0110921
Bin(8)1012571
Bin(7)0144841
Bin(7)1041541
Bin(6)0141111
Bin(6)1047711
Bin(5)0187751
Bin(5)1084961
Bin(4)0183581
Bin(4)1099571
Bin(3)0198251
Bin(3)10114241
Bin(2)01121591
Bin(2)10137581
Bin(1)01156241
Bin(1)10172251
Bin(0)01268601
Bin(0)10284611

Port:

 RX_READ_POINTER
ElementFromToCountThreshold
Bin(11)0131
Bin(11)101681
Bin(10)0151
Bin(10)101701
Bin(9)01111
Bin(9)101761
Bin(8)01221
Bin(8)101871
Bin(7)01431
Bin(7)102081
Bin(6)011981
Bin(6)108581
Bin(5)014311
Bin(5)1010911
Bin(4)0115551
Bin(4)1031561
Bin(3)0131341
Bin(3)1047351
Bin(2)0165381
Bin(2)1081391
Bin(1)01127981
Bin(1)10143991
Bin(0)01256021
Bin(0)10272031

Port:

 RX_WRITE_POINTER
ElementFromToCountThreshold
Bin(11)0161
Bin(11)101711
Bin(10)01111
Bin(10)101761
Bin(9)01231
Bin(9)101881
Bin(8)01461
Bin(8)102111
Bin(7)01911
Bin(7)102561
Bin(6)013041
Bin(6)109641
Bin(5)016631
Bin(5)1013231
Bin(4)0119461
Bin(4)1035471
Bin(3)0137271
Bin(3)1053281
Bin(2)0161761
Bin(2)1077751
Bin(1)0117421
Bin(1)1033431
Bin(0)0115401
Bin(0)1031411

Port:

 RX_DATA_OVERRUN
FromToCountThreshold
Bin01311
Bin1016321

Port:

 RX_MOF
FromToCountThreshold
Bin01108591
Bin10108591

Port:

 RX_PARITY_ERROR
FromToCountThreshold
Bin01131
Bin1016141

Port:

 RXB_PORT_B_DATA_OUT
ElementFromToCountThreshold
Bin(31)0131281
Bin(31)1063301
Bin(30)0134051
Bin(30)1066071
Bin(29)0132351
Bin(29)1064371
Bin(28)0172811
Bin(28)10104831
Bin(27)0172101
Bin(27)10104121
Bin(26)0167521
Bin(26)1099541
Bin(25)0166141
Bin(25)1098161
Bin(24)01127771
Bin(24)10159771
Bin(23)0168361
Bin(23)10100381
Bin(22)0171471
Bin(22)10103491
Bin(21)0171971
Bin(21)10103991
Bin(20)0172931
Bin(20)10104951
Bin(19)0186081
Bin(19)10118101
Bin(18)0190521
Bin(18)10122541
Bin(17)0178341
Bin(17)10110361
Bin(16)0180711
Bin(16)10112731
Bin(15)0183101
Bin(15)10115121
Bin(14)0195531
Bin(14)10127551
Bin(13)01122311
Bin(13)10154331
Bin(12)01137511
Bin(12)10169511
Bin(11)01153021
Bin(11)10185021
Bin(10)0198461
Bin(10)10130481
Bin(9)01112611
Bin(9)10144631
Bin(8)0197931
Bin(8)10129951
Bin(7)01129421
Bin(7)10161441
Bin(6)01116651
Bin(6)10148671
Bin(5)01122811
Bin(5)10154831
Bin(4)0197311
Bin(4)10129331
Bin(3)01107631
Bin(3)10139651
Bin(2)01110821
Bin(2)10142841
Bin(1)01117481
Bin(1)10149501
Bin(0)01119171
Bin(0)10151191

Port:

 MR_TST_RDATA_TST_RDATA
ElementFromToCountThreshold
Bin(31)01213991
Bin(31)10184931
Bin(30)01124991
Bin(30)10186121
Bin(29)01169021
Bin(29)10139961
Bin(28)01170821
Bin(28)10231951
Bin(27)01170151
Bin(27)10141091
Bin(26)01169931
Bin(26)10231061
Bin(25)01216151
Bin(25)10187091
Bin(24)01123941
Bin(24)10185071
Bin(23)01214211
Bin(23)10185151
Bin(22)01125591
Bin(22)10186721
Bin(21)01169601
Bin(21)10140541
Bin(20)01170781
Bin(20)10231911
Bin(19)01170101
Bin(19)10141041
Bin(18)01169661
Bin(18)10230791
Bin(17)01215921
Bin(17)10186861
Bin(16)01123661
Bin(16)10184791
Bin(15)01214261
Bin(15)10185201
Bin(14)01125381
Bin(14)10186511
Bin(13)01169851
Bin(13)10140791
Bin(12)01171331
Bin(12)10232461
Bin(11)01170351
Bin(11)10141291
Bin(10)01169761
Bin(10)10230891
Bin(9)01216421
Bin(9)10187361
Bin(8)01123741
Bin(8)10184871
Bin(7)01214911
Bin(7)10185851
Bin(6)01126031
Bin(6)10187161
Bin(5)01169731
Bin(5)10140671
Bin(4)01170891
Bin(4)10232021
Bin(3)01170261
Bin(3)10141201
Bin(2)01169941
Bin(2)10231071
Bin(1)01216331
Bin(1)10187271
Bin(0)01124221
Bin(0)10185351

Signal:

 READ_POINTER
ElementFromToCountThreshold
Bin(11)0131
Bin(11)101681
Bin(10)0151
Bin(10)101701
Bin(9)01111
Bin(9)101761
Bin(8)01221
Bin(8)101871
Bin(7)01431
Bin(7)102081
Bin(6)011981
Bin(6)108581
Bin(5)014311
Bin(5)1010911
Bin(4)0115551
Bin(4)1031561
Bin(3)0131341
Bin(3)1047351
Bin(2)0165381
Bin(2)1081391
Bin(1)01127981
Bin(1)10143991
Bin(0)01256021
Bin(0)10272031

Signal:

 READ_POINTER_INC_1
ElementFromToCountThreshold
Bin(11)0131
Bin(11)101681
Bin(10)0151
Bin(10)101701
Bin(9)01111
Bin(9)101761
Bin(8)01221
Bin(8)101871
Bin(7)01431
Bin(7)102081
Bin(6)011981
Bin(6)108581
Bin(5)014361
Bin(5)1010961
Bin(4)0115641
Bin(4)1031651
Bin(3)0131571
Bin(3)1047581
Bin(2)0165761
Bin(2)1081771
Bin(1)01129961
Bin(1)10145971
Bin(0)01272031
Bin(0)10256021

Signal:

 WRITE_POINTER
ElementFromToCountThreshold
Bin(11)0161
Bin(11)101711
Bin(10)01111
Bin(10)101761
Bin(9)01231
Bin(9)101881
Bin(8)01461
Bin(8)102111
Bin(7)01911
Bin(7)102561
Bin(6)013041
Bin(6)109641
Bin(5)016631
Bin(5)1013231
Bin(4)0119461
Bin(4)1035471
Bin(3)0137271
Bin(3)1053281
Bin(2)0161761
Bin(2)1077751
Bin(1)0117421
Bin(1)1033431
Bin(0)0115401
Bin(0)1031411

Signal:

 WRITE_POINTER_RAW
ElementFromToCountThreshold
Bin(11)0171
Bin(11)101721
Bin(10)01121
Bin(10)101771
Bin(9)01251
Bin(9)101901
Bin(8)01491
Bin(8)102141
Bin(7)01961
Bin(7)102611
Bin(6)013441
Bin(6)1010041
Bin(5)017481
Bin(5)1014081
Bin(4)0145791
Bin(4)1061801
Bin(3)01117261
Bin(3)10133271
Bin(2)01267331
Bin(2)10283321
Bin(1)01492381
Bin(1)10508391
Bin(0)01989561
Bin(0)101005571

Signal:

 WRITE_POINTER_TS
ElementFromToCountThreshold
Bin(11)0161
Bin(11)101711
Bin(10)01111
Bin(10)101761
Bin(9)01231
Bin(9)101881
Bin(8)01461
Bin(8)102111
Bin(7)01911
Bin(7)102561
Bin(6)012961
Bin(6)109561
Bin(5)016371
Bin(5)1012971
Bin(4)0118621
Bin(4)1034631
Bin(3)0135811
Bin(3)1051821
Bin(2)0161561
Bin(2)1077571
Bin(1)0136481
Bin(1)1052411
Bin(0)01117161
Bin(0)10133151

Signal:

 RX_MEM_FREE_I
ElementFromToCountThreshold
Bin(12)0112061
Bin(12)1010411
Bin(11)0110431
Bin(11)1012081
Bin(10)0110501
Bin(10)1012151
Bin(9)0110641
Bin(9)1012291
Bin(8)0110921
Bin(8)1012571
Bin(7)0144841
Bin(7)1041541
Bin(6)0141111
Bin(6)1047711
Bin(5)0187751
Bin(5)1084961
Bin(4)0183581
Bin(4)1099571
Bin(3)0198251
Bin(3)10114241
Bin(2)01121591
Bin(2)10137581
Bin(1)01156241
Bin(1)10172251
Bin(0)01268601
Bin(0)10284611

Signal:

 DATA_OVERRUN_FLG
FromToCountThreshold
Bin01311
Bin1016321

Signal:

 DATA_OVERRUN_I
FromToCountThreshold
Bin014971
Bin1020981

Signal:

 OVERRUN_CONDITION
FromToCountThreshold
Bin01451
Bin1016461

Signal:

 RX_EMPTY_I
FromToCountThreshold
Bin0189501
Bin1089521

Signal:

 IS_FREE_WORD
FromToCountThreshold
Bin0116281
Bin10271

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)014031
Bin(3)1020041
Bin(2)018431
Bin(2)1024441
Bin(1)0125281
Bin(1)1041291
Bin(0)01113981
Bin(0)10129971

Signal:

 READ_COUNTER_D
ElementFromToCountThreshold
Bin(4)01244471
Bin(4)10219811
Bin(3)01161421
Bin(3)10225441
Bin(2)01250771
Bin(2)10205341
Bin(1)01312521
Bin(1)10365301
Bin(0)01439011
Bin(0)10393221

Signal:

 READ_COUNTER_Q
ElementFromToCountThreshold
Bin(4)012861
Bin(4)1018871
Bin(3)016501
Bin(3)1022511
Bin(2)0152211
Bin(2)1068221
Bin(1)01112581
Bin(1)10128591
Bin(0)01242471
Bin(0)10258481

Signal:

 COMMIT_RX_FRAME
FromToCountThreshold
Bin01132831
Bin10148841

Signal:

 COMMIT_OVERRUN_ABORT
FromToCountThreshold
Bin01441
Bin1016451

Signal:

 READ_INCREMENT
FromToCountThreshold
Bin01509201
Bin10525211

Signal:

 WRITE_RAW_OK
FromToCountThreshold
Bin011123341
Bin101139351

Signal:

 WRITE_RAW_INTENT
FromToCountThreshold
Bin011123511
Bin101139521

Signal:

 SELECT_TS_WPTR
FromToCountThreshold
Bin01129891
Bin10145901

Signal:

 COMMIT_INTENT
FromToCountThreshold
Bin01133271
Bin10149281

Signal:

 DATA_SELECTOR
ElementFromToCountThreshold
Bin(4)01133271
Bin(4)10149281
Bin(3)01133271
Bin(3)10149281
Bin(2)01263301
Bin(2)10279311
Bin(1)01266681
Bin(1)10282691
Bin(0)01266721
Bin(0)10282731

Signal:

 STORE_TS_WR_PTR
FromToCountThreshold
Bin01263301
Bin10279311

Signal:

 INC_TS_WR_PTR
FromToCountThreshold
Bin01129891
Bin10145901

Signal:

 RESET_OVERRUN_FLAG
FromToCountThreshold
Bin01282581
Bin10266571

Signal:

 READ_ATTEMPT
FromToCountThreshold
Bin01509501
Bin10525731

Signal:

 REC_ERF
FromToCountThreshold
Bin013381
Bin1019391

Signal:

 FRAME_FORM_W
ElementFromToCountThreshold
Bin(27)01851
Bin(27)104126961
Bin(26)015481
Bin(26)104163121
Bin(25)0114151
Bin(25)104170801
Bin(24)012334471
Bin(24)101802451
Bin(23)01121
Bin(23)104169121
Bin(22)011281
Bin(22)104182181
Bin(21)01791
Bin(21)104174401
Bin(20)01341
Bin(20)104184611
Bin(19)0151
Bin(19)104161681
Bin(18)012171
Bin(18)104173921
Bin(17)011471
Bin(17)104168631
Bin(16)012781
Bin(16)104178021
Bin(15)01562801
Bin(15)101201311
Bin(14)0175041
Bin(14)10219111
Bin(13)01687341
Bin(13)101539161
Bin(12)011595901
Bin(12)10696731
Bin(11)011036551
Bin(11)10441571
Bin(10)0185341
Bin(10)104035571
Bin(9)01729861
Bin(9)103391051
Bin(8)0126391
Bin(8)104110531
Bin(7)011690891
Bin(7)102398001
Bin(6)01923501
Bin(6)103197411
Bin(5)01802681
Bin(5)103350251
Bin(4)013381
Bin(4)104165561
Bin(3)01686451
Bin(3)101612271
Bin(2)01742641
Bin(2)101704911
Bin(1)01749341
Bin(1)101718671
Bin(0)01903751
Bin(0)101994631

Signal:

 TIMESTAMP_CAPTURE
ElementFromToCountThreshold
Bin(63)0151
Bin(63)10156331
Bin(62)01591
Bin(62)10156831
Bin(61)01611
Bin(61)10156851
Bin(60)01591
Bin(60)10156811
Bin(59)01641
Bin(59)10156861
Bin(58)01741
Bin(58)10156941
Bin(57)01551
Bin(57)10156791
Bin(56)01701
Bin(56)10156921
Bin(55)01601
Bin(55)10156821
Bin(54)01511
Bin(54)10156751
Bin(53)01601
Bin(53)10156861
Bin(52)01581
Bin(52)10156801
Bin(51)01751
Bin(51)10156951
Bin(50)01591
Bin(50)10156811
Bin(49)01711
Bin(49)10156931
Bin(48)01701
Bin(48)10156921
Bin(47)01631
Bin(47)10156871
Bin(46)01671
Bin(46)10156891
Bin(45)01461
Bin(45)10156741
Bin(44)01601
Bin(44)10156861
Bin(43)01661
Bin(43)10156901
Bin(42)01651
Bin(42)10156891
Bin(41)01691
Bin(41)10156911
Bin(40)01631
Bin(40)10156871
Bin(39)01671
Bin(39)10156931
Bin(38)01661
Bin(38)10156901
Bin(37)01591
Bin(37)10156811
Bin(36)01581
Bin(36)10156841
Bin(35)01721
Bin(35)10156921
Bin(34)01641
Bin(34)10156841
Bin(33)01631
Bin(33)10156831
Bin(32)01601
Bin(32)10156821
Bin(31)01531
Bin(31)1016541
Bin(30)01561
Bin(30)1016571
Bin(29)01581
Bin(29)1016591
Bin(28)01531
Bin(28)1016541
Bin(27)01571
Bin(27)1016581
Bin(26)01631
Bin(26)1016641
Bin(25)01521
Bin(25)1016531
Bin(24)01641
Bin(24)1016651
Bin(23)01531
Bin(23)1016541
Bin(22)01501
Bin(22)1016511
Bin(21)01681
Bin(21)1016691
Bin(20)01711
Bin(20)1016721
Bin(19)011891
Bin(19)1017901
Bin(18)012401
Bin(18)1018411
Bin(17)015031
Bin(17)1021041
Bin(16)018501
Bin(16)1024511
Bin(15)0110091
Bin(15)1026101
Bin(14)0114101
Bin(14)1030101
Bin(13)0117161
Bin(13)1033171
Bin(12)0122241
Bin(12)1038251
Bin(11)0128831
Bin(11)1044831
Bin(10)0136681
Bin(10)1052681
Bin(9)0146261
Bin(9)1062251
Bin(8)0130701
Bin(8)1046701
Bin(7)0138941
Bin(7)1054941
Bin(6)0137591
Bin(6)1053591
Bin(5)0133161
Bin(5)1049161
Bin(4)0135841
Bin(4)1051831
Bin(3)0130541
Bin(3)1046531
Bin(2)0138331
Bin(2)1054341
Bin(1)0131741
Bin(1)1047741
Bin(0)0149561
Bin(0)1065561

Signal:

 TIMESTAMP_CAPTURE_CE
FromToCountThreshold
Bin01133321
Bin10149331

Signal:

 RXB_PORT_A_WRITE
FromToCountThreshold
Bin011252791
Bin101268801

Signal:

 RXB_PORT_A_ADDRESS
ElementFromToCountThreshold
Bin(11)01181
Bin(11)101831
Bin(10)01331
Bin(10)101981
Bin(9)01681
Bin(9)102331
Bin(8)011381
Bin(8)103031
Bin(7)012721
Bin(7)104371
Bin(6)018341
Bin(6)1014941
Bin(5)0118001
Bin(5)1024601
Bin(4)0174371
Bin(4)1090381
Bin(3)01172531
Bin(3)10188541
Bin(2)01379091
Bin(2)10395081
Bin(1)01608011
Bin(1)10624021
Bin(0)011119451
Bin(0)101135461

Signal:

 RXB_PORT_A_DATA_IN
ElementFromToCountThreshold
Bin(31)011186331
Bin(31)101202341
Bin(30)011202591
Bin(30)101218601
Bin(29)011233351
Bin(29)101249361
Bin(28)011417101
Bin(28)101433111
Bin(27)011384051
Bin(27)101400061
Bin(26)011476261
Bin(26)101492271
Bin(25)011402241
Bin(25)101418251
Bin(24)011628701
Bin(24)101644711
Bin(23)011394421
Bin(23)101410431
Bin(22)011510741
Bin(22)101526751
Bin(21)011437351
Bin(21)101453361
Bin(20)011541101
Bin(20)101557111
Bin(19)011546011
Bin(19)101562021
Bin(18)011669301
Bin(18)101685311
Bin(17)011543791
Bin(17)101559801
Bin(16)011576511
Bin(16)101592521
Bin(15)011951661
Bin(15)101967671
Bin(14)011889801
Bin(14)101905811
Bin(13)011870571
Bin(13)101886581
Bin(12)012003451
Bin(12)102019461
Bin(11)011972961
Bin(11)101988971
Bin(10)011810431
Bin(10)101826441
Bin(9)011855071
Bin(9)101871081
Bin(8)011748051
Bin(8)101764061
Bin(7)012012861
Bin(7)102028871
Bin(6)011941321
Bin(6)101957331
Bin(5)011885211
Bin(5)101901221
Bin(4)011853751
Bin(4)101869761
Bin(3)011947671
Bin(3)101963681
Bin(2)011980291
Bin(2)101996301
Bin(1)012015641
Bin(1)102031651
Bin(0)012055651
Bin(0)102071661

Signal:

 RXB_PORT_B_ADDRESS
ElementFromToCountThreshold
Bin(11)0171
Bin(11)101721
Bin(10)01141
Bin(10)101791
Bin(9)01311
Bin(9)101961
Bin(8)01641
Bin(8)102291
Bin(7)011271
Bin(7)102921
Bin(6)015201
Bin(6)1011801
Bin(5)0111561
Bin(5)1018161
Bin(4)0141251
Bin(4)1057261
Bin(3)0185691
Bin(3)10101701
Bin(2)01179721
Bin(2)10195731
Bin(1)01358121
Bin(1)10374131
Bin(0)01696001
Bin(0)10712011

Signal:

 RXB_PORT_B_DATA_OUT_I
ElementFromToCountThreshold
Bin(31)01251271
Bin(31)10236681
Bin(30)01167501
Bin(30)10240021
Bin(29)01207411
Bin(29)10191601
Bin(28)01250911
Bin(28)10341001
Bin(27)01251921
Bin(27)10249661
Bin(26)01245181
Bin(26)10334761
Bin(25)01289391
Bin(25)10288621
Bin(24)01272761
Bin(24)10299341
Bin(23)01289771
Bin(23)10288911
Bin(22)01205151
Bin(22)10292601
Bin(21)01250831
Bin(21)10248321
Bin(20)01253601
Bin(20)10340911
Bin(19)01266581
Bin(19)10268711
Bin(18)01270211
Bin(18)10362041
Bin(17)01305041
Bin(17)10295941
Bin(16)01215811
Bin(16)10295911
Bin(15)01305941
Bin(15)10288201
Bin(14)01229421
Bin(14)10301511
Bin(13)01301791
Bin(13)10259001
Bin(12)01326191
Bin(12)10377951
Bin(11)01338561
Bin(11)10292591
Bin(10)01272741
Bin(10)10338591
Bin(9)01332781
Bin(9)10304341
Bin(8)01225951
Bin(8)10294331
Bin(7)01346171
Bin(7)10311021
Bin(6)01245961
Bin(6)10301131
Bin(5)01296381
Bin(5)10271081
Bin(4)01272241
Bin(4)10339701
Bin(3)01282711
Bin(3)10255341
Bin(2)01284231
Bin(2)10346351
Bin(1)01337391
Bin(1)10309481
Bin(0)01248941
Bin(0)10306261

Signal:

 RX_BUF_RST_N_D
FromToCountThreshold
Bin0185441
Bin1085321

Signal:

 RX_BUF_RST_N_Q_SCAN
FromToCountThreshold
Bin0184391
Bin1084281

Signal:

 RX_BUF_RAM_CLK_EN
FromToCountThreshold
Bin011767161
Bin101783171

Signal:

 CLK_RAM
FromToCountThreshold
Bin01136908551
Bin10136924561

Signal:

 RX_PARITY_MISMATCH_COMB
FromToCountThreshold
Bin01187251
Bin10197421

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 rst_n = '0' 
 <-------LHS-------->    <---RHS---> 

LHSRHSCountThreshold
BinFalseFalse142121
BinFalseTrue80721
BinTrueFalse4601

"=" expression on line 436:

 mr_command_rrb = '1' 
Evaluated toCountThreshold
BinFalse222841
BinTrue4601

"=" expression on line 436:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse146721
BinTrue80721

"=" expression on line 528:

 mr_mode_rxbam = RXBAM_ENABLED 
Evaluated toCountThreshold
BinFalse52921
BinTrue1573581

"and" expression on line 532:

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

LHSRHSCountThreshold
BinFalseTrue985491
BinTrueFalse69521
BinTrueTrue509201

"=" expression on line 532:

 read_attempt = '1' 
Evaluated toCountThreshold
BinFalse1161261
BinTrue578721

"=" expression on line 532:

 rx_empty_i = '0' 
Evaluated toCountThreshold
BinFalse245291
BinTrue1494691

"and" expression on lines 540 to 541:

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

LHSRHSCountThreshold
BinFalseTrue1144321
BinTrueFalse171
BinTrueTrue1123341

"and" expression on line 540:

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

LHSRHSCountThreshold
BinFalseTrue1165101
BinTrueFalse821
BinTrueTrue1123511

"=" expression on line 540:

 write_raw_intent = '1' 
Evaluated toCountThreshold
BinFalse1181561
BinTrue1124331

"=" expression on line 540:

 overrun_condition = '0' 
Evaluated toCountThreshold
BinFalse17281
BinTrue2288611

"=" expression on line 541:

 data_overrun_i = '0' 
Evaluated toCountThreshold
BinFalse38231
BinTrue2267661

"and" expression on line 552:

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

LHSRHSCountThreshold
BinTrueFalse250381
BinTrueTrue471

"and" expression on line 563:

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

LHSRHSCountThreshold
BinFalseTrue661
BinTrueFalse1123121
BinTrueTrue451

"=" expression on line 563:

 write_raw_intent = '1' 
Evaluated toCountThreshold
BinFalse1156001
BinTrue1123571

"=" expression on line 563:

 is_free_word = '0' 
Evaluated toCountThreshold
BinFalse2278461
BinTrue1111

"=" expression on line 573:

 rx_empty_i = '0' 
Evaluated toCountThreshold
BinFalse752691
BinTrue501701

"or" expression on line 620:

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

LHSRHSCountThreshold
BinFalseFalse1768551
BinFalseTrue2831
BinTrueFalse259251

"=" expression on line 620:

 rec_is_rtr = RTR_FRAME 
Evaluated toCountThreshold
BinFalse1771381
BinTrue259801

"=" expression on line 620:

 rec_erf = ERFM_ENABLED 
Evaluated toCountThreshold
BinFalse2027801
BinTrue3381

"and" expression on line 621:

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

LHSRHSCountThreshold
BinTrueFalse769701
BinTrueTrue60191

"=" expression on line 621:

 rec_frame_type = NORMAL_CAN 
Evaluated toCountThreshold
BinFalse938661
BinTrue829891

"=" expression on line 621:

 rec_dlc(3) = '1' 
Evaluated toCountThreshold
BinFalse769701
BinTrue60191

"=" expression on line 625:

 rec_erf = '1' 
Evaluated toCountThreshold
BinFalse139741
BinTrue3381

"=" expression on line 629:

 rec_erf = '1' 
Evaluated toCountThreshold
BinFalse90001
BinTrue3381

"=" expression on line 633:

 rec_erf = '1' 
Evaluated toCountThreshold
BinFalse57311
BinTrue3381

"=" expression on line 638:

 rec_lbpf = LBPF_LOOPBACK 
Evaluated toCountThreshold
BinFalse170991
BinTrue3501

"and" expression on line 648:

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

LHSRHSCountThreshold
BinFalseTrue101
BinTrueFalse2401031
BinTrueTrue129791

"=" expression on line 648:

 mr_rx_settings_rtsop = RTS_END 
Evaluated toCountThreshold
BinFalse32571
BinTrue2530821

"=" expression on line 648:

 rec_valid_f = '1' 
Evaluated toCountThreshold
BinFalse2433501
BinTrue129891

"and" expression on line 650:

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

LHSRHSCountThreshold
BinFalseTrue810841
BinTrueFalse401
BinTrueTrue151

"=" expression on line 650:

 mr_rx_settings_rtsop = RTS_BEG 
Evaluated toCountThreshold
BinFalse2433051
BinTrue551

"=" expression on line 650:

 sof_pulse = '1' 
Evaluated toCountThreshold
BinFalse1622611
BinTrue810991

"and" expression on line 652:

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

LHSRHSCountThreshold
BinFalseTrue311841
BinTrueFalse16031
BinTrueTrue3381

"=" expression on line 652:

 mr_mode_erfm = ERFM_ENABLED 
Evaluated toCountThreshold
BinFalse2414041
BinTrue19411

"=" expression on line 652:

 rec_abort_f = '1' 
Evaluated toCountThreshold
BinFalse2118231
BinTrue315221

"=" expression on line 658:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"=" expression on line 661:

 timestamp_capture_ce = '1' 
Evaluated toCountThreshold
BinFalse5471610071
BinTrue133271

"=" expression on line 685:

 rx_buf_rst_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10943453241
BinTrue24367081

"=" expression on line 690:

 read_increment = '1' 
Evaluated toCountThreshold
BinFalse5471165751
BinTrue509201

"=" expression on line 704:

 rx_buf_rst_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10943453241
BinTrue24367081

"and" expression on line 709:

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

LHSRHSCountThreshold
BinTrueFalse416621
BinTrueTrue92581

"=" expression on line 709:

 read_increment = '1' 
Evaluated toCountThreshold
BinFalse5471165751
BinTrue509201

"=" expression on line 710:

 commit_rx_frame = '0' 
Evaluated toCountThreshold
BinFalse71
BinTrue92511

"=" expression on line 715:

 commit_rx_frame = '1' 
Evaluated toCountThreshold
BinFalse5471449611
BinTrue132761

"=" expression on line 729:

 rx_buf_rst_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10943453241
BinTrue24367081

"=" expression on line 735:

 commit_intent = '1' 
Evaluated toCountThreshold
BinFalse5471541681
BinTrue133271

"=" expression on line 736:

 data_overrun_i = '0' 
Evaluated toCountThreshold
BinFalse441
BinTrue132831

"=" expression on line 757:

 rx_buf_rst_n_q_scan = '0' 
Evaluated toCountThreshold
BinFalse10943453241
BinTrue24367081

"=" expression on line 762:

 mr_command_cdo = '1' 
Evaluated toCountThreshold
BinFalse5471674751
BinTrue201

"=" expression on line 764:

 overrun_condition = '1' 
Evaluated toCountThreshold
BinFalse5471673301
BinTrue1451

"=" expression on line 789:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"or" expression on line 792:

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

LHSRHSCountThreshold
BinFalseFalse5471737291
BinFalseTrue4601
BinTrueFalse1451

"=" expression on line 792:

 overrun_condition = '1' 
Evaluated toCountThreshold
BinFalse5471741891
BinTrue1451

"=" expression on line 792:

 mr_command_rrb = '1' 
Evaluated toCountThreshold
BinFalse5471738741
BinTrue4601

"=" expression on line 794:

 reset_overrun_flag = '1' 
Evaluated toCountThreshold
BinFalse1078762761
BinTrue4392974531

"or" expression on line 808:

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

LHSRHSCountThreshold
BinFalseFalse2346371
BinFalseTrue508731
BinTrueFalse1254811

"=" expression on line 808:

 rxb_port_a_write = '1' 
Evaluated toCountThreshold
BinFalse2855101
BinTrue1256421

"=" expression on line 808:

 read_attempt = '1' 
Evaluated toCountThreshold
BinFalse3601181
BinTrue510341

"=" expression on line 810:

 mr_tst_control_tmaena = '1' 
Evaluated toCountThreshold
BinFalse2339891
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
BinFalseFalse1311641
BinFalseTrue129451
BinTrueFalse1123341

"=" expression on line 864:

 write_raw_OK = '1' 
Evaluated toCountThreshold
BinFalse1441091
BinTrue1123341

"and" expression on line 865:

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

LHSRHSCountThreshold
BinFalseTrue2397111
BinTrueFalse441
BinTrueTrue129451

"=" expression on line 865:

 select_ts_wptr = '1' 
Evaluated toCountThreshold
BinFalse2434541
BinTrue129891

"=" expression on line 865:

 data_overrun_i = '0' 
Evaluated toCountThreshold
BinFalse37871
BinTrue2526561

"=" expression on line 873:

 select_ts_wptr = '1' 
Evaluated toCountThreshold
BinFalse2247551
BinTrue259781

"=" expression on line 882:

 read_increment = '1' 
Evaluated toCountThreshold
BinFalse605551
BinTrue1458381

"=" expression on line 901:

 rst_n = '0' 
Evaluated toCountThreshold
BinFalse10943586471
BinTrue24226741

"and" expression on line 904:

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

LHSRHSCountThreshold
BinFalseTrue9941851
BinTrueFalse281
BinTrueTrue131

"and" expression on line 904:

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

LHSRHSCountThreshold
BinFalseTrue445539221
BinTrueFalse509621
BinTrueTrue411

"=" expression on line 904:

 mr_rx_data_read = '1' 
Evaluated toCountThreshold
BinFalse5471233311
BinTrue510031

"=" expression on line 904:

 rx_parity_mismatch_comb = '1' 
Evaluated toCountThreshold
BinFalse5026203711
BinTrue445539631

"=" expression on line 904:

 mr_settings_pchke = '1' 
Evaluated toCountThreshold
BinFalse5461801361
BinTrue9941981

"=" expression on line 907:

 mr_command_crxpe = '1' 
Evaluated toCountThreshold
BinFalse5471742811
BinTrue401

Uncovered FSM states:

Excluded FSM states:

Covered FSM states:

Uncovered functional coverage:

Excluded functional coverage:

Covered functional coverage: