st_mult1.edf

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

(edif st_mult1
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2006 3 17 22 6 39)
      (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 CARRY (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port A_IN (direction INPUT))
           (port A_OUT (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 none (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 bei_cheng_shu_Temp0 "bei_cheng_shu_Temp_0_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
 (property combinational (integer 1))
)
          (instance (rename count2 "count_2_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count1 "count_1_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count0 "count_0_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename state_temp1 "state_temp_1_") (viewRef LPM (cellref SYNLPM_LATRS1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
 (property combinational (integer 1))
)
          (instance (rename state_temp0 "state_temp_0_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
 (property combinational (integer 1))
)
          (instance (rename count17 "count_17_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count16 "count_16_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count15 "count_15_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count14 "count_14_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count13 "count_13_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count12 "count_12_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count11 "count_11_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count10 "count_10_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count9 "count_9_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count8 "count_8_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count7 "count_7_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count6 "count_6_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count5 "count_5_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count4 "count_4_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count3 "count_3_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename bei_cheng_shu_Temp1 "bei_cheng_shu_Temp_1_") (viewRef LPM (cellref SYNLPM_LAT1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count31 "count_31_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count30 "count_30_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count29 "count_29_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count28 "count_28_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count27 "count_27_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count26 "count_26_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count25 "count_25_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count24 "count_24_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count23 "count_23_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count22 "count_22_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count21 "count_21_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)
          (instance (rename count20 "count_20_") (viewRef LPM (cellref SYNLPM_LATR1 (libraryRef LPM_LIBRARY)))
 (property region (string "st_mult1"))
)