alu.edf

从Xilinx网站上下的

(edif alu
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2002 3 26 11 23 55)
      (author "Synplicity, Inc.")
      (program "Synplify" (version "7.0.0, Build 139R"))
     )
   )
  (library VIRTEX
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell IBUF (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port O (direction OUTPUT))
           (port I (direction INPUT))
         )
       )
    )
    (cell OBUF (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port O (direction OUTPUT))
           (port I (direction INPUT))
         )
       )
    )
    (cell BUFGP (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
  )
  (library UNILIB
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell GND (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port G (direction OUTPUT))
         )
       )
    )
    (cell VCC (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port P (direction OUTPUT))
         )
       )
    )
  )
  (library work
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell bm_4b_v2 (cellType GENERIC)
       (view verilog (viewType NETLIST)
         (interface
           (port (array (rename li "LI[3:0]") 4) (direction INPUT))
           (port (array (rename lt "LT[3:0]") 4) (direction INPUT))
           (port (array (rename ri "RI[3:0]") 4) (direction INPUT))
           (port (array (rename rt "RT[3:0]") 4) (direction INPUT))
           (port (array (rename o "O[3:0]") 4) (direction OUTPUT))
         )
       )
    )
    (cell bm16_1 (cellType GENERIC)
       (view netlist (viewType NETLIST)
         (interface
           (port (array (rename datar "dataR[15:0]") 16) (direction OUTPUT))
           (port (array (rename q2_c "Q2_c[15:0]") 16) (direction INPUT))
           (port triR2_c (direction INPUT))
           (port triL2_c (direction INPUT))
         )
         (contents
          (instance bus4 (viewRef verilog (cellRef bm_4b_v2))          )
          (instance bus3 (viewRef verilog (cellRef bm_4b_v2))          )
          (instance bus2 (viewRef verilog (cellRef bm_4b_v2))          )
          (instance bus1 (viewRef verilog (cellRef bm_4b_v2))          )
          (instance GND (viewRef PRIM (cellRef GND (libraryRef UNILIB)))          )
          (net (rename datar_0 "dataR[0]") (joined
           (portRef (member o 3) (instanceRef bus1))
           (portRef (member datar 15))
          ))
          (net (rename datar_1 "dataR[1]") (joined
           (portRef (member o 2) (instanceRef bus1))
           (portRef (member datar 14))
          ))
          (net (rename datar_2 "dataR[2]") (joined
           (portRef (member o 1) (instanceRef bus1))
           (portRef (member datar 13))
          ))
          (net (rename datar_3 "dataR[3]") (joined
           (portRef (member o 0) (instanceRef bus1))
           (portRef (member datar 12))
          ))
          (net (rename datar_4 "dataR[4]") (joined
           (portRef (member o 3) (instanceRef bus2))
           (portRef (member datar 11))
          ))
          (net (rename datar_5 "dataR[5]") (joined
           (portRef (member o 2) (instanceRef bus2))
           (portRef (member datar 10))
          ))
          (net (rename datar_6 "dataR[6]") (joined
           (portRef (member o 1) (instanceRef bus2))
           (portRef (member datar 9))
          ))
          (net (rename datar_7 "dataR[7]") (joined
           (portRef (member o 0) (instanceRef bus2))
           (portRef (member datar 8))
          ))
          (net (rename datar_8 "dataR[8]") (joined
           (portRef (member o 3) (instanceRef bus3))
           (portRef (member datar 7))
          ))
          (net (rename datar_9 "dataR[9]") (joined
           (portRef (member o 2) (instanceRef bus3))
           (portRef (member datar 6))
          ))
          (net (rename datar_10 "dataR[10]") (joined
           (portRef (member o 1) (instanceRef bus3))
           (portRef (member datar 5))
          ))
          (net (rename datar_11 "dataR[11]") (joined
           (portRef (member o 0) (instanceRef bus3))
           (portRef (member datar 4))
          ))
          (net (rename datar_12 "dataR[12]") (joined
           (portRef (member o 3) (instanceRef bus4))
           (portRef (member datar 3))
          ))
          (net (rename datar_13 "dataR[13]") (joined
           (portRef (member o 2) (instanceRef bus4))
           (portRef (member datar 2))
          ))
          (net (rename datar_14 "dataR[14]") (joined
           (portRef (member o 1) (instanceRef bus4))
           (portRef (member datar 1))
          ))
          (net (rename datar_15 "dataR[15]") (joined
           (portRef (member o 0) (instanceRef bus4))
           (portRef (member datar 0))
          ))
          (net (rename q2_c_0 "Q2_c[0]") (joined
           (portRef (member q2_c 15))
           (portRef (member ri 3) (instanceRef bus1))
          ))
          (net (rename q2_c_1 "Q2_c[1]") (joined
           (portRef (member q2_c 14))
           (portRef (member ri 2) (instanceRef bus1))
          ))
          (net (rename q2_c_2 "Q2_c[2]") (joined
           (portRef (member q2_c 13))
           (portRef (member ri 1) (instanceRef bus1))
          ))
          (net (rename q2_c_3 "Q2_c[3]") (joined
           (portRef (member q2_c 12))
           (portRef (member ri 0) (instanceRef bus1))
          ))
          (net (rename q2_c_4 "Q2_c[4]") (joined
           (portRef (member q2_c 11))
           (portRef (member ri 3) (instanceRef bus2))
          ))
          (net (rename q2_c_5 "Q2_c[5]") (joined
           (portRef (member q2_c 10))
           (portRef (member ri 2) (instanceRef bus2))
          ))
          (net (rename q2_c_6 "Q2_c[6]") (joined
           (portRef (member q2_c 9))
           (portRef (member ri 1) (instanceRef bus2))
          ))
          (net (rename q2_c_7 "Q2_c[7]") (joined
           (portRef (member q2_c 8))
           (portRef (member ri 0) (instanceRef bus2))
          ))
          (net (rename q2_c_8 "Q2_c[8]") (joined
           (portRef (member q2_c 7))
           (portRef (member ri 3) (instanceRef bus3))
          ))
          (net (rename q2_c_9 "Q2_c[9]") (joined
           (portRef (member q2_c 6))
           (portRef (member ri 2) (instanceRef bus3))
          ))
          (net (rename q2_c_10 "Q2_c[10]") (joined
           (portRef (member q2_c 5))
           (portRef (member ri 1) (instanceRef bus3))
          ))
          (net (rename q2_c_11 "Q2_c[11]") (joined
           (portRef (member q2_c 4))
           (portRef (member ri 0) (instanceRef bus3))
          ))
          (net (rename q2_c_12 "Q2_c[12]") (joined
           (portRef (member q2_c 3))
           (portRef (member ri 3) (instanceRef bus4))
          ))
          (net (rename q2_c_13 "Q2_c[13]") (joined
           (portRef (member q2_c 2))
           (portRef (member ri 2) (instanceRef bus4))
          ))
          (net (rename q2_c_14 "Q2_c[14]") (joined
           (portRef (member q2_c 1))
           (portRef (member ri 1) (instanceRef bus4))
          ))
          (net (rename q2_c_15 "Q2_c[15]") (joined
           (portRef (member q2_c 0))
           (portRef (member ri 0) (instanceRef bus4))
          ))
          (net (rename trir2_c "triR2_c") (joined
           (portRef triR2_c)
           (portRef (member rt 0) (instanceRef bus1))
           (portRef (member rt 1) (instanceRef bus1))
           (portRef (member rt 2) (instanceRef bus1))
           (portRef (member rt 3) (instanceRef bus1))
           (portRef (member rt 0) (instanceRef bus2))
           (portRef (member rt 1) (instanceRef bus2))
           (portRef (member rt 2) (instanceRef bus2))
           (portRef (member rt 3) (instanceRef bus2))
           (portRef (member rt 0) (instanceRef bus3))
           (portRef (member rt 1) (instanceRef bus3))
           (portRef (member rt 2) (instanceRef bus3))
           (portRef (member rt 3) (instanceRef bus3))
           (portRef (member rt 0) (instanceRef bus4))
           (portRef (member rt 1) (instanceRef bus4))
           (portRef (member rt 2) (instanceRef bus4))
           (portRef (member rt 3) (instanceRef bus4))
          ))
          (net (rename tril2_c "triL2_c") (joined
           (portRef triL2_c)
           (portRef (member lt 0) (instanceRef bus1))
           (portRef (member lt 1) (instanceRef bus1))
           (portRef (member lt 2) (instanceRef bus1))
           (portRef (member lt 3) (instanceRef bus1))
           (portRef (member lt 0) (instanceRef bus2))
           (portRef (member lt 1) (instanceRef bus2))
           (portRef (member lt 2) (instanceRef bus2))
           (portRef (member lt 3) (instanceRef bus2))
           (portRef (member lt 0) (instanceRef bus3))
           (portRef (member lt 1) (instanceRef bus3))
           (portRef (member lt 2) (instanceRef bus3))
           (portRef (member lt 3) (instanceRef bus3))
           (portRef (member lt 0) (instanceRef bus4))
           (portRef (member lt 1) (instanceRef bus4))
           (portRef (member lt 2) (instanceRef bus4))
           (portRef (member lt 3) (instanceRef bus4))
          ))
          (net (rename GNDZ0 "GND") (joined
           (portRef G (instanceRef GND))
           (portRef (member li 0) (instanceRef bus1))
           (portRef (member li 1) (instanceRef bus1))
           (portRef (member li 2) (instanceRef bus1))
           (portRef (member li 3) (instanceRef bus1))
           (portRef (member li 0) (instanceRef bus2))
           (portRef (member li 1) (instanceRef bus2))
           (portRef (member li 2) (instanceRef bus2))
           (portRef (member li 3) (instanceRef bus2))
           (portRef (member li 0) (instanceRef bus3))
           (portRef (member li 1) (instanceRef bus3))
           (portRef (member li 2) (instanceRef bus3))
           (portRef (member li 3) (instanceRef bus3))
           (portRef (member li 0) (instanceRef bus4))
           (portRef (member li 1) (instanceRef bus4))
           (portRef (member li 2) (instanceRef bus4))
           (portRef (member li 3) (instanceRef bus4))
          ))
          (net (rename VCCZ0 "VCC") (joined
          ))
         )
       )
    )
    (cell bm16 (cellType GENERIC)
       (view netlist (viewType NETLIST)
         (interface
           (port (array (rename datal "dataL[15:0]") 16) (direction OUTPUT))
           (port (array (rename q1_c "Q1_c[15:0]") 16) (direction INPUT))
           (port triR1_c (direction INPUT))
           (port triL1_c (direction INPUT))
         )
         (contents
          (instance bus4 (viewRef verilog (cellRef bm_4b_v2))          )
          (instance bus3 (viewRef verilog (cellRef bm_4b_v2))          )
          (instance bus2 (viewRef verilog (cellRef bm_4b_v2))          )
          (instance bus1 (viewRef verilog (cellRef bm_4b_v2))          )
          (instance GND (viewRef PRIM (cellRef GND (libraryRef UNILIB)))          )
          (net (rename datal_0 "dataL[0]") (joined
           (portRef (member o 3) (instanceRef bus1))
           (portRef (member datal 15))
          ))
          (net (rename datal_1 "dataL[1]") (joined
           (portRef (member o 2) (instanceRef bus1))
           (portRef (member datal 14))
          ))
          (net (rename datal_2 "dataL[2]") (joined
           (portRef (member o 1) (instanceRef bus1))
           (portRef (member datal 13))
          ))
          (net (rename datal_3 "dataL[3]") (joined
           (portRef (member o 0) (instanceRef bus1))
           (portRef (member datal 12))
          ))
          (net (rename datal_4 "dataL[4]") (joined
           (portRef (member o 3) (instanceRef bus2))
           (portRef (member datal 11))
          ))
          (net (rename datal_5 "dataL[5]") (joined