mul.edf

这是我自己写的两个8位二进制数的乘法程序

(edif (rename mul "Mult")
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2006 11 7 20 36 15)
      (author "Synplicity, Inc.")
      (program "Synplify Pro" (version "Version 8.6.1, mapper 8.6.0, Build 246R"))
     )
   )
  (library XC9500
    (edifLevel 0)
    (technology (numberDefinition ))
(cell EQN (cellType GENERIC)
  (view  MAPPRIM (viewType NETLIST)
    (interface
      (port I1 (direction INPUT))
      (port I2 (direction INPUT))
      (port I3 (direction INPUT))
      (port I4 (direction INPUT))
      (port O (direction OUTPUT))
    )
  )
)
    (cell OBUF (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell IBUF (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
  )
  (library UNILIB
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell XOR2 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I0 (direction INPUT))
           (port I1 (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell OR2 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I0 (direction INPUT))
           (port I1 (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell AND2B1 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I0 (direction INPUT))
           (port I1 (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell AND2 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I0 (direction INPUT))
           (port I1 (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell INV (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell IPAD (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port PAD (direction OUTPUT))
         )
       )
    )
    (cell OPAD (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port PAD (direction INPUT))
         )
       )
    )
  )
  (library work
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell (rename mul "Mult") (cellType GENERIC)
       (view verilog (viewType NETLIST)
         (interface
           (port (array (rename a "a[7:0]") 8) (direction INPUT))
           (port (array (rename b "b[7:0]") 8) (direction INPUT))
           (port (array (rename out "out[15:0]") 16) (direction OUTPUT))
         )
         (contents
          (instance (rename un68_sum_1_CO5_i_a2_0 "un68_sum_1.CO5_i_a2_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un55_sum_1_CO7_i_a2_0 "un55_sum_1.CO7_i_a2_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un42_sum_1_CO6_i_a2_0 "un42_sum_1.CO6_i_a2_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_12 "sum_12[12]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_12 "sum_16[12]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_b_0_12 "sum_16_b_0[12]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_b_12 "sum_16_b[12]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_10 "sum_16[10]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_b_0_10 "sum_16_b_0[10]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_b_10 "sum_16_b[10]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_10 "sum_14[10]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_b_0_10 "sum_14_b_0[10]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_b_10 "sum_14_b[10]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_9 "sum_14[9]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_b_0_9 "sum_14_b_0[9]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_b_9 "sum_14_b[9]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_11 "sum_12[11]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_b_0_11 "sum_12_b_0[11]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_12_b_11 "sum_12_b[11]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_10_9 "sum_10[9]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_10_b_0_9 "sum_10_b_0[9]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_10_b_9 "sum_10_b[9]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_9 "sum_8[9]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_b_0_9 "sum_8_b_0[9]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_8_b_9 "sum_8_b[9]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename out_1_11 "out_1[11]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename out_1_b_0_11 "out_1_b_0[11]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename out_1_b_11 "out_1_b[11]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename out_1_10 "out_1[10]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename out_1_b_0_10 "out_1_b_0[10]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename out_1_b_10 "out_1_b[10]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename out_1_9 "out_1[9]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename out_1_b_0_9 "out_1_b_0[9]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename out_1_b_9 "out_1_b[9]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename out_1_13 "out_1[13]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename out_1_b_0_13 "out_1_b_0[13]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename out_1_b_13 "out_1_b[13]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename out_1_14 "out_1[14]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename out_1_b_0_14 "out_1_b_0[14]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename out_1_b_14 "out_1_b[14]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_13 "sum_16[13]") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_b_0_13 "sum_16_b_0[13]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_b_13 "sum_16_b[13]") (viewRef PRIM (cellRef AND2B1 (libraryRef UNILIB)))
          )
          (instance (rename out_1_15 "out_1[15]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_14_13 "sum_14[13]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename sum_16_14 "sum_16[14]") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un68_sum_1_CO7_i_a2_0 "un68_sum_1.CO7_i_a2_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO7_i_a2_0 "un81_sum_1.CO7_i_a2_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO6_i_a2 "un94_sum_1.CO6_i_a2") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO7_i_a2_0 "un94_sum_1.CO7_i_a2_0") (viewRef PRIM (cellRef AND2 (libraryRef UNILIB)))
          )
          (instance (rename un94_sum_1_CO7_i_o3 "un94_sum_1.CO7_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )
          (instance (rename un81_sum_1_CO7_i_o3 "un81_sum_1.CO7_i_o3") (viewRef PRIM (cellRef OR2 (libraryRef UNILIB)))
          )