jiaotongdeng.root_partition.map.kpt

这程序是利用状态机来控制交通灯verilog码

    </key_point>
    <key_point id="129" type="register">
      <name>inst1|count_p[19]</name>
    </key_point>
    <key_point id="130" type="register">
      <name>inst|count_p[6]</name>
    </key_point>
    <key_point id="131" type="register">
      <name>inst1|count_p[10]</name>
    </key_point>
    <key_point id="132" type="register">
      <name>inst1|count_p[26]</name>
    </key_point>
    <key_point id="133" type="register">
      <name>inst|count_p[2]</name>
    </key_point>
    <key_point id="134" type="register">
      <name>inst1|count_p[16]</name>
    </key_point>
    <key_point id="135" type="register">
      <name>inst|count_p[16]</name>
    </key_point>
    <key_point id="136" type="register">
      <name>inst1|count_p[2]</name>
    </key_point>
    <key_point id="137" type="register">
      <name>inst|count_p[26]</name>
    </key_point>
    <key_point id="138" type="register">
      <name>inst3|ql[3]</name>
    </key_point>
    <key_point id="139" type="register">
      <name>inst|count_p[12]</name>
    </key_point>
    <key_point id="140" type="register">
      <name>inst|clk_p_r</name>
    </key_point>
    <key_point id="141" type="register">
      <name>inst1|count_p[8]</name>
    </key_point>
    <key_point id="142" type="register">
      <name>inst3|qh[0]</name>
    </key_point>
    <key_point id="143" type="register">
      <name>inst1|count_p[21]</name>
    </key_point>
    <key_point id="144" type="register">
      <name>inst|count_p[9]</name>
    </key_point>
    <key_point id="145" type="register">
      <name>inst|count_p[22]</name>
    </key_point>
    <key_point id="146" type="register">
      <name>inst1|count_p[13]</name>
    </key_point>
    <key_point id="147" type="register">
      <name>inst|count_p[7]</name>
    </key_point>
    <key_point id="148" type="register">
      <name>inst1|count_p[27]</name>
    </key_point>
    <key_point id="149" type="register">
      <name>inst4|a[0]</name>
    </key_point>
    <key_point id="150" type="register">
      <name>inst|count_p[3]</name>
    </key_point>
    <key_point id="151" type="register">
      <name>inst1|count_p[3]</name>
    </key_point>
    <key_point id="152" type="register">
      <name>inst1|count_p[17]</name>
    </key_point>
    <key_point id="153" type="register">
      <name>inst|count_p[29]</name>
    </key_point>
    <key_point id="154" type="register">
      <name>inst|count_p[19]</name>
    </key_point>
    <key_point id="155" type="register">
      <name>inst|count_p[25]</name>
    </key_point>
    <key_point id="156" type="register">
      <name>inst|count_p[21]</name>
    </key_point>
    <key_point id="157" type="register">
      <name>inst|count_p[8]</name>
    </key_point>
    <key_point id="158" type="register">
      <name>inst1|clk_p_r</name>
    </key_point>
    <key_point id="159" type="register">
      <name>inst1|count_p[20]</name>
    </key_point>
    <key_point id="160" type="register">
      <name>inst1|count_p[7]</name>
    </key_point>
    <key_point id="161" type="register">
      <name>inst|count_p[15]</name>
    </key_point>
    <key_point id="162" type="register">
      <name>inst|count_p[11]</name>
    </key_point>
    <key_point id="163" type="register">
      <name>inst|count_p[31]</name>
    </key_point>
    <key_point id="164" type="register">
      <name>inst1|count_p[28]</name>
    </key_point>
    <key_point id="165" type="register">
      <name>inst3|ql[0]</name>
    </key_point>
    <key_point id="166" type="register">
      <name>inst1|count_p[12]</name>
    </key_point>
    <key_point id="167" type="register">
      <name>inst1|count_p[31]</name>
    </key_point>
    <key_point id="168" type="register">
      <name>inst|count_p[4]</name>
    </key_point>
    <key_point id="169" type="register">
      <name>inst3|qh[3]</name>
    </key_point>
    <key_point id="170" type="register">
      <name>inst|count_p[0]</name>
    </key_point>
    <key_point id="171" type="register">
      <name>inst|count_p[28]</name>
    </key_point>
    <key_point id="172" type="register">
      <name>inst1|count_p[4]</name>
    </key_point>
    <key_point id="173" type="register">
      <name>inst1|count_p[24]</name>
    </key_point>
    <key_point id="174" type="register">
      <name>inst1|count_p[14]</name>
    </key_point>
  </key_points_set>
  <transformations_set hier_sep="|">
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="39" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="132" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="65" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="92" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="88" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="118" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="37" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="137" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="16" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="116" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="82" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="172" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="83" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="159" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="89" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="120" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="47" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="147" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="28" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="169" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="50" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="135" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="57" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="167" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="67" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="163" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="20" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="100" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="58" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="148" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="76" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="136" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="33" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="111" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="56" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="150" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="4" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="131" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="53" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="123" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="45" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="124" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="72" type="proxy">          </kp>
        </kp_state>
      </kp_set>
      <kp_set type="transformed">
        <kp_state index="0">
          <kp id="99" type="proxy">          </kp>
        </kp_state>
      </kp_set>
    </transformation>
    <transformation>
      <kp_set type="reference">
        <kp_state index="0">
          <kp id="86" type="proxy">          </kp>
          <kp id="2" type="inveq">          </kp>