spi_master_interface_bt_top.edf

a verilog prigram for SPI

           (portRef N_19)
           (portRef I3 (instanceRef N_56_i))
          ))
          (net (rename n_18 "N_18") (joined
           (portRef N_18)
           (portRef I2 (instanceRef N_56_i))
          ))
          (net (rename n_17 "N_17") (joined
           (portRef N_17)
           (portRef I1 (instanceRef N_56_i))
          ))
          (net sck_int (joined
           (portRef sck_int)
           (portRef I0 (instanceRef next_state_1_1_iv_i_a3_2_1_1))
           (portRef I0 (instanceRef next_state_1_1_iv_i_o2_1))
           (portRef I0 (instanceRef next_state_1_1_iv_i_1_2))
           (portRef I2 (instanceRef next_state_1_1_iv_i_o2_0_1))
          ))
          (net sck_int_delay (joined
           (portRef sck_int_delay)
           (portRef I1 (instanceRef next_state_1_1_iv_i_a3_2_1_1))
           (portRef I1 (instanceRef next_state_1_1_iv_i_o2_1))
           (portRef I1 (instanceRef next_state_1_1_iv_i_1_2))
           (portRef I1 (instanceRef next_state_1_1_iv_i_o2_0_1))
          ))
          (net (rename ssn_iZ0 "ssn_i") (joined
           (portRef O (instanceRef ssn_i))
           (portRef ssn_i)
          ))
          (net ssn (joined
           (portRef O (instanceRef ss_n_int_i_a3))
           (portRef I (instanceRef ssn_i))
           (portRef ssn)
          ))
          (net clk_c (joined
           (portRef clk_c)
           (portRef C (instanceRef state_3))
           (portRef C (instanceRef state_2))
           (portRef C (instanceRef state_1))
           (portRef C (instanceRef state_0))
           (portRef C (instanceRef rec_full))
          ))
          (net rec_full_reset (joined
           (portRef rec_full_reset)
           (portRef I0 (instanceRef N_56_i))
           (portRef D (instanceRef rec_full))
          ))
          (net rec_full_c (joined
           (portRef Q (instanceRef rec_full))
           (portRef rec_full_c)
          ))
          (net spien_i (joined
           (portRef spien_i)
           (portRef CLR (instanceRef tx_empty_fast))
           (portRef CLR (instanceRef state_3))
           (portRef CLR (instanceRef state_2))
           (portRef CLR (instanceRef state_1))
           (portRef CLR (instanceRef state_0))
           (portRef CLR (instanceRef rec_full))
           (portRef CLR (instanceRef tx_empty))
          ))
          (net (rename n_35_iclk "N_35_iclk") (joined
           (portRef N_35_iclk)
           (portRef N_35_iclk (instanceRef cnt_4))
           (portRef C (instanceRef tx_empty_fast))
           (portRef C (instanceRef tx_empty))
          ))
          (net tx_empty_reset (joined
           (portRef tx_empty_reset)
           (portRef I1 (instanceRef un1_tx_load_i))
           (portRef D (instanceRef tx_empty_fast))
           (portRef D (instanceRef tx_empty))
          ))
          (net tx_empty_c (joined
           (portRef Q (instanceRef tx_empty))
           (portRef tx_empty_c)
          ))
          (net done (joined
           (portRef LO (instanceRef done_1df0_0))
           (portRef done)
          ))
          (net un1_tx_load_i_n (joined
           (portRef O (instanceRef un1_tx_load_i))
           (portRef CE (instanceRef tx_empty_fast))
           (portRef CE (instanceRef tx_empty))
          ))
          (net (rename N_56_iZ0 "N_56_i") (joined
           (portRef O (instanceRef N_56_i))
           (portRef CE (instanceRef rec_full))
          ))
          (net (rename next_stateZ0Z_0 "next_state[0]") (joined
           (portRef Q (instanceRef next_state_0))
           (portRef I2 (instanceRef next_state_1_1_iv_i_0))
           (portRef D (instanceRef state_0))
          ))
          (net (rename next_state_1_1_iv_i_n_0 "next_state_1_1_iv_i_n[0]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_0))
           (portRef D (instanceRef next_state_0))
          ))
          (net un1_state_4_0_a3_n (joined
           (portRef O (instanceRef un1_state_4_0_a3))
           (portRef G (instanceRef next_state_3))
           (portRef G (instanceRef next_state_2))
           (portRef G (instanceRef next_state_1))
           (portRef G (instanceRef next_state_0))
          ))
          (net N_50_i (joined
           (portRef O (instanceRef N_50_i_0))
           (portRef CLR (instanceRef next_state_3))
           (portRef CLR (instanceRef next_state_2))
           (portRef CLR (instanceRef next_state_1))
           (portRef CLR (instanceRef next_state_0))
          ))
          (net (rename next_stateZ0Z_1 "next_state[1]") (joined
           (portRef Q (instanceRef next_state_1))
           (portRef I1 (instanceRef next_state_1_1_iv_i_1))
           (portRef D (instanceRef state_1))
          ))
          (net (rename next_state_1_1_iv_i_n_1 "next_state_1_1_iv_i_n[1]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_1))
           (portRef D (instanceRef next_state_1))
          ))
          (net (rename next_stateZ0Z_2 "next_state[2]") (joined
           (portRef Q (instanceRef next_state_2))
           (portRef I2 (instanceRef next_state_1_1_iv_i_a3_1_0_2))
           (portRef D (instanceRef state_2))
          ))
          (net (rename next_state_1_1_iv_i_n_2 "next_state_1_1_iv_i_n[2]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_2))
           (portRef D (instanceRef next_state_2))
          ))
          (net (rename next_stateZ0Z_3 "next_state[3]") (joined
           (portRef Q (instanceRef next_state_3))
           (portRef I2 (instanceRef next_state_1_1_iv_i_3))
           (portRef D (instanceRef state_3))
          ))
          (net (rename next_state_1_1_iv_i_n_3 "next_state_1_1_iv_i_n[3]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_3))
           (portRef D (instanceRef next_state_3))
          ))
          (net (rename tx_empty_fastZ0 "tx_empty_fast") (joined
           (portRef Q (instanceRef tx_empty_fast))
           (portRef I0 (instanceRef next_state_1_1_iv_i_o2_2))
          ))
          (net N_104 (joined
           (portRef O (instanceRef next_state_1_1_iv_i_o2_0_1))
           (portRef I0 (instanceRef next_state_1_1_iv_i_a3_4_1))
           (portRef I0 (instanceRef next_state_1_1_iv_i_a3_0_1))
          ))
          (net (rename next_state_1_1_iv_i_o2_n_0 "next_state_1_1_iv_i_o2_n[0]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_o2_0))
           (portRef I0 (instanceRef next_state_1_1_iv_i_3))
           (portRef I0 (instanceRef next_state_1_1_iv_i_1))
           (portRef I0 (instanceRef next_state_1_1_iv_i_0))
          ))
          (net (rename next_state_1_1_iv_i_a2_2_n_0 "next_state_1_1_iv_i_a2_2_n[0]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_a2_2_0))
           (portRef I2 (instanceRef tx_load_iv_i_o3))
           (portRef I1 (instanceRef next_state_1_1_iv_i_3))
           (portRef I1 (instanceRef next_state_1_1_iv_i_0))
          ))
          (net (rename next_state_1_1_iv_i_3Z0Z_1 "next_state_1_1_iv_i_3[1]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_3_1))
           (portRef I2 (instanceRef next_state_1_1_iv_i_1))
          ))
          (net (rename next_state_1_1_iv_i_a3_0Z0Z_1 "next_state_1_1_iv_i_a3_0[1]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_a3_0_1_1))
           (portRef I3 (instanceRef next_state_1_1_iv_i_1))
          ))
          (net N_139 (joined
           (portRef O (instanceRef next_state_1_1_iv_i_a3_2_2))
           (portRef I0 (instanceRef next_state_1_1_iv_i_2))
          ))
          (net done_1df0_0_a2_n (joined
           (portRef O (instanceRef done_1df0_0_a2))
           (portRef I1 (instanceRef next_state_1_1_iv_i_a2_2_0))
           (portRef I1 (instanceRef cnt_rstdf0_0_o3))
           (portRef I2 (instanceRef m5_0_o3))
           (portRef I0 (instanceRef m5_0_a2_0))
           (portRef I1 (instanceRef next_state_1_1_iv_i_a3_2_2))
           (portRef I1 (instanceRef next_state_1_1_iv_i_2))
          ))
          (net (rename next_state_1_1_iv_i_1Z0Z_2 "next_state_1_1_iv_i_1[2]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_1_2))
           (portRef I2 (instanceRef next_state_1_1_iv_i_2))
          ))
          (net (rename next_state_1_1_iv_i_a3_1_2 "next_state_1_1_iv_i_a3_1[2]") (joined
           (portRef LO (instanceRef next_state_1_1_iv_i_a3_1_0_2))
           (portRef I3 (instanceRef next_state_1_1_iv_i_2))
          ))
          (net (rename next_state_1_1_iv_i_1Z0Z_3 "next_state_1_1_iv_i_1[3]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_1_3))
           (portRef I3 (instanceRef next_state_1_1_iv_i_3))
          ))
          (net N_109 (joined
           (portRef O (instanceRef cnt_reset10_i_0_o2))
           (portRef I0 (instanceRef cnt_reset10_i_0))
          ))
          (net cnt_rst (joined
           (portRef O (instanceRef cnt_rstdf0_0_o3))
           (portRef cnt_rst (instanceRef cnt_4))
           (portRef I1 (instanceRef cnt_reset10_i_0))
          ))
          (net cnt_reset10_i_0_n (joined
           (portRef O (instanceRef cnt_reset10_i_0))
           (portRef cnt_reset10_i_0_n (instanceRef cnt_4))
          ))
          (net (rename next_state_1_1_iv_i_o2_n_1 "next_state_1_1_iv_i_o2_n[1]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_o2_1))
           (portRef I0 (instanceRef next_state_1_1_iv_i_3_1))
          ))
          (net (rename next_state_1_1_iv_i_0Z0Z_1 "next_state_1_1_iv_i_0[1]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_0_1))
           (portRef I1 (instanceRef next_state_1_1_iv_i_3_1))
          ))
          (net (rename next_state_1_1_iv_i_1Z0Z_1 "next_state_1_1_iv_i_1[1]") (joined
           (portRef LO (instanceRef next_state_1_1_iv_i_1_1))
           (portRef I2 (instanceRef next_state_1_1_iv_i_3_1))
          ))
          (net (rename next_state_1_1_iv_i_a3_1_0Z0Z_1 "next_state_1_1_iv_i_a3_1_0[1]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_a3_1_0_1))
           (portRef I3 (instanceRef next_state_1_1_iv_i_3_1))
          ))
          (net clk1_mask28_0_m2_n (joined
           (portRef O (instanceRef clk1_mask28_0_m2))
           (portRef I1 (instanceRef next_state_1_1_iv_i_o2_0))
           (portRef I1 (instanceRef m5_0_a2_0))
           (portRef I2 (instanceRef next_state_1_1_iv_i_a3_2_2))
           (portRef I3 (instanceRef tx_load_iv_i_o3))
          ))
          (net m5_0_a2_1_n (joined
           (portRef O (instanceRef m5_0_a2_1))
           (portRef I0 (instanceRef m5_0_a3))
           (portRef I2 (instanceRef next_state_1_1_iv_i_1_1))
           (portRef I2 (instanceRef next_state_1_1_iv_i_1_2))
           (portRef I1 (instanceRef next_state_1_1_iv_i_1_3))
          ))
          (net (rename next_state_1_1_iv_i_0Z0Z_3 "next_state_1_1_iv_i_0[3]") (joined
           (portRef LO (instanceRef next_state_1_1_iv_i_0_3))
           (portRef I2 (instanceRef next_state_1_1_iv_i_1_3))
          ))
          (net (rename next_state_1_1_iv_i_0Z0Z_2 "next_state_1_1_iv_i_0[2]") (joined
           (portRef LO (instanceRef next_state_1_1_iv_i_0_2))
           (portRef I3 (instanceRef next_state_1_1_iv_i_1_2))
          ))
          (net N_131 (joined
           (portRef LO (instanceRef next_state_1_1_iv_i_a3_0_1))
           (portRef I1 (instanceRef next_state_1_1_iv_i_1_1))
          ))
          (net N_135 (joined
           (portRef LO (instanceRef next_state_1_1_iv_i_a3_4_1))
           (portRef I0 (instanceRef next_state_1_1_iv_i_0_1))
          ))
          (net (rename next_state_1_1_iv_i_a3_2_1Z0Z_1 "next_state_1_1_iv_i_a3_2_1[1]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_a3_2_1_1))
           (portRef I1 (instanceRef next_state_1_1_iv_i_0_1))
          ))
          (net (rename next_state_1_1_iv_i_a2_1_n_0 "next_state_1_1_iv_i_a2_1_n[0]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_a2_1_0))
           (portRef I0 (instanceRef ss_n_int_i_a3))
           (portRef I1 (instanceRef next_state_1_1_iv_i_a3_0_1))
           (portRef I1 (instanceRef next_state_1_1_iv_i_0_3))
          ))
          (net (rename next_state_1_1_iv_i_a2_n_3 "next_state_1_1_iv_i_a2_n[3]") (joined
           (portRef O (instanceRef next_state_1_1_iv_i_a2_3))
           (portRef I2 (instanceRef next_state_1_1_iv_i_0_3))
          ))
          (net (rename next_state_1_1_iv_i_a3_0_0Z0Z_2 "next_state_1_1_iv_i_a3_0_0[2]") (joined
           (portRef LO (instanceRef next_state_1_1_iv_i_a3_0_0_2))
           (portRef I1 (instanceRef next_state_1_1_iv_i_0_2))
          ))
          (net (rename q_fast_0 "q_fast[0]") (joined
           (portRef (member q_fast 1) (instanceRef cnt_4))
           (portRef I0 (instanceRef next_state_1_1_iv_i_a3_5_1_0))
          ))
          (net (rename q_fast_1 "q_fast[1]") (joined
           (portRef (member q_fast 0) (instanceRef cnt_4))
           (portRef I1 (instanceRef next_state_1_1_iv_i_a3_5_1_0))
          ))
         )
        (property negate_ssn (integer 10))
        (property hold_ssn2 (integer 9))
        (property hold_ssn1 (integer 8))
        (property mask_sck (integer 7))
        (property chk_start (integer 6))
        (property assert_done (integer 5))
        (property xfer_bit (integer 4))
        (property unmask_sck (integer 3))
        (property assert_ssn2 (integer 2))
        (property assert_ssn1 (integer 1))
        (property idle (integer 0))
       )
    )
    (cell rec_shift (cellType GENERIC)
       (view netlist (viewType NETLIST)
         (interface
           (port (array (rename receive_data "receive_data[7:0]") 8) (direction OUTPUT))
           (port N_19 (direction OUTPUT))
           (port N_18 (direction OUTPUT))
           (port rec_cpol (direction INPUT))
           (port N_17 (direction OUTPUT))