stp1.stp

机器状态机。控制工作方式。用vhdl写的。很不错哦

<session sof_file="">
  <display_tree gui_logging_enabled="0">
    <display_branch instance="auto_signaltap_0" signal_set="USE_GLOBAL_TEMP" trigger="USE_GLOBAL_TEMP"/>
  </display_tree>
  <instance compilation_mode="full" entity_name="sld_signaltap" is_auto_node="yes" is_expanded="true" name="auto_signaltap_0" source_file="sld_signaltap.vhd">
    <node_ip_info instance_id="0" mfg_id="110" node_id="0" version="4"/>
    <signal_set global_temp="1" is_expanded="true" name="signal_set: 2007/07/18 14:20:40  #0">
      <clock name="clk_pll" polarity="posedge"/>
      <config ram_type="M4K" reserved_data_nodes="0" reserved_trigger_nodes="0" sample_depth="512" trigger_in_enable="no" trigger_out_enable="no"/>
      <top_entity/>
      <signal_vec>
        <trigger_input_vec>
          <wire connection_status="true" name="OE" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="WE" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[0]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[10]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[11]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[12]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[13]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[14]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[15]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[16]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[17]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[18]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[19]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[1]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[2]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[3]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[4]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[5]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[6]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[7]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[8]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[9]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="clk_bai" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data1061[0]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[10]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[11]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[12]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[13]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[1]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[2]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[3]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[4]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[5]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[6]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[7]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[8]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[9]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data[0]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[10]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[11]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[12]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[13]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[1]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[2]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[3]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[4]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[5]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[6]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[7]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[8]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[9]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="sync" tap_mode="classic" type="output pin"/>
        </trigger_input_vec>
        <data_input_vec>
          <wire connection_status="true" name="OE" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="WE" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[0]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[10]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[11]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[12]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[13]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[14]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[15]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[16]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[17]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[18]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[19]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[1]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[2]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[3]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[4]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[5]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[6]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[7]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[8]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="adr1061[9]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="clk_bai" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data1061[0]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[10]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[11]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[12]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[13]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[1]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[2]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[3]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[4]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[5]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[6]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[7]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[8]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data1061[9]" tap_mode="classic" type="bidir pin"/>
          <wire connection_status="true" name="data[0]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[10]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[11]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[12]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[13]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[1]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[2]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[3]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[4]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[5]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[6]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[7]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[8]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="data[9]" tap_mode="classic" type="output pin"/>
          <wire connection_status="true" name="sync" tap_mode="classic" type="output pin"/>
        </data_input_vec>
      </signal_vec>
      <presentation>
        <data_view>
          <net is_signal_inverted="no" name="clk_bai"/>
          <bus is_signal_inverted="no" link="all" name="data" order="msb_to_lsb" radix="hex" state="collapse" type="output pin">
            <net is_signal_inverted="no" name="data[13]"/>
            <net is_signal_inverted="no" name="data[12]"/>
            <net is_signal_inverted="no" name="data[11]"/>
            <net is_signal_inverted="no" name="data[10]"/>
            <net is_signal_inverted="no" name="data[9]"/>
            <net is_signal_inverted="no" name="data[8]"/>
            <net is_signal_inverted="no" name="data[7]"/>
            <net is_signal_inverted="no" name="data[6]"/>