st_mult1.edf

veilog实现的状态机乘法器.可以参考

(edif st_mult1
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2006 3 18 10 37 15)
      (author "Synplicity, Inc.")
      (program "Synplify Pro" (version "8.1.0, Build 539R"))
     )
   )
  (library LPM_LIBRARY
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell SYNLPM_LAT1 (cellType GENERIC)
       (view LPM (viewType NETLIST)
         (interface
           (port DATA0 (direction INPUT))
           (port GATE (direction INPUT))
           (port Q0 (direction OUTPUT))
           (property LPM_WIDTH (integer 1))
           (property WIDTH (integer 1))
           (property LPM_TYPE (string "LPM_LATCH"))
           (property syn_force_seq_prim (integer 1))
         )
       )
    )
    (cell SYNLPM_LATRS1 (cellType GENERIC)
       (view LPM (viewType NETLIST)
         (interface
           (port DATA0 (direction INPUT))
           (port GATE (direction INPUT))
           (port ASET (direction INPUT))
           (port ACLR (direction INPUT))
           (port Q0 (direction OUTPUT))
           (property LPM_WIDTH (integer 1))
           (property WIDTH (integer 1))
           (property LPM_TYPE (string "LPM_LATCH"))
           (property syn_force_seq_prim (integer 1))
         )
       )
    )
    (cell SYNLPM_LATR1 (cellType GENERIC)
       (view LPM (viewType NETLIST)
         (interface
           (port DATA0 (direction INPUT))
           (port GATE (direction INPUT))
           (port ACLR (direction INPUT))
           (port Q0 (direction OUTPUT))
           (property LPM_WIDTH (integer 1))
           (property WIDTH (integer 1))
           (property LPM_TYPE (string "LPM_LATCH"))
           (property syn_force_seq_prim (integer 1))
         )
       )
    )
  )
  (library ALTERA_FLEX
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell S_DFF (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port D (direction INPUT))
           (port CLK (direction INPUT))
           (port CLRN (direction INPUT))
           (port PRN (direction INPUT))
           (port Q (direction OUTPUT))
           (property syn_gatedclk_equiv_encell (string "S_DFFE"))
           (property syn_force_seq_prim (string "CLK"))
         )
       )
    )
    (cell LUT (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port IN1 (direction INPUT))
           (port IN2 (direction INPUT))
           (port IN3 (direction INPUT))
           (port IN4 (direction INPUT))
           (port A_OUT (direction OUTPUT))
         )
       )
    )
    (cell LCELL (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port A_IN (direction INPUT))
           (port A_OUT (direction OUTPUT))
         )
       )
    )
    (cell CARRY_SUM (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port sin (direction INPUT))
           (port cin (direction INPUT))
           (port sout (direction OUTPUT))
           (port cout (direction OUTPUT))
         )
       )
    )
    (cell CASCADE (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port A_IN (direction INPUT))
           (port A_OUT (direction OUTPUT))
         )
       )
    )
  )
  (library PrimLib
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell inv1 (cellType GENERIC)
      (view prim (viewType NETLIST)
        (interface
         (port OUT0 (direction OUTPUT))
         (port I0 (direction INPUT))
        )
      )
    )
    (cell and2 (cellType GENERIC)
      (view prim (viewType NETLIST)
        (interface
         (port OUT (direction OUTPUT))
         (port I0 (direction INPUT))
         (port I1 (direction INPUT))
        )
      )
    )
  )
  (library work
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell st_mult1 (cellType GENERIC)
       (view verilog (viewType NETLIST)
         (interface
           (port (array (rename cheng_shu "cheng_shu[15:0]") 16) (direction INPUT))
           (port (array (rename bei_cheng_shu "bei_cheng_shu[15:0]") 16) (direction INPUT))
           (port (array (rename result "result[31:0]") 32) (direction OUTPUT))
           (port clk (direction INPUT))
           (port rst (direction INPUT))
           (port ok (direction OUTPUT))
           (property syn_partition (string "fpga=EPF10K10TC144-3"))
           (property hold (integer 3))
           (property shift (integer 2))
           (property add (integer 1))
           (property ini (integer 0))
         )
         (contents
          (instance (rename current_state0 "current_state_0_") (viewRef PRIM (cellref S_DFF (libraryRef ALTERA_FLEX)))
 (property region (string "st_mult1"))
)
          (instance (rename current_state1 "current_state_1_") (viewRef PRIM (cellref S_DFF (libraryRef ALTERA_FLEX)))
 (property region (string "st_mult1"))
)
          (instance (rename result64 "result_10_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result65 "result_9_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result66 "result_8_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result67 "result_7_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result68 "result_6_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result69 "result_5_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result70 "result_4_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result71 "result_3_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result72 "result_2_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result73 "result_1_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result74 "result_0_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename ok1 "ok") (viewRef LPM (cellref SYNLPM_LATRS1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
 (property combinational (integer 1))
)
          (instance (rename result75 "result_25_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result76 "result_24_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result77 "result_23_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result78 "result_22_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result79 "result_21_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result80 "result_20_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result81 "result_19_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result82 "result_18_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result83 "result_17_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result84 "result_16_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result85 "result_15_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result86 "result_14_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result87 "result_13_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result88 "result_12_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename result89 "result_11_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename cheng_shu_temp8 "cheng_shu_temp_8_") (viewRef LPM (cellref SYNLPM_LAT1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename cheng_shu_temp7 "cheng_shu_temp_7_") (viewRef LPM (cellref SYNLPM_LAT1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename cheng_shu_temp6 "cheng_shu_temp_6_") (viewRef LPM (cellref SYNLPM_LAT1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename cheng_shu_temp5 "cheng_shu_temp_5_") (viewRef LPM (cellref SYNLPM_LAT1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename cheng_shu_temp4 "cheng_shu_temp_4_") (viewRef LPM (cellref SYNLPM_LAT1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))