shift.edf

从Xilinx网站上下的

(edif shift
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2002 4 11 10 53 45)
      (author "Synplicity, Inc.")
      (program "Synplify" (version "7.0.0, Build 139R"))
     )
   )
  (library VIRTEX
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell LUT4 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I0 (direction INPUT))
           (port I1 (direction INPUT))
           (port I2 (direction INPUT))
           (port I3 (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell LUT3 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I0 (direction INPUT))
           (port I1 (direction INPUT))
           (port I2 (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell LUT2 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I0 (direction INPUT))
           (port I1 (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell LUT1 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I0 (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell MUXF5 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I0 (direction INPUT))
           (port I1 (direction INPUT))
           (port S (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell BUFG (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
  )
  (library UNILIB
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell FDR (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port Q (direction OUTPUT))
           (port D (direction INPUT))
           (port C (direction INPUT))
           (port R (direction INPUT))
         )
       )
    )
    (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 shift (cellType GENERIC)
       (view verilog (viewType NETLIST)
         (interface
           (port (array (rename q "Q[16:0]") 17) (direction OUTPUT))
           (port (array (rename a "A[15:0]") 16) (direction INPUT))
           (port (array (rename b "B[15:0]") 16) (direction INPUT))
           (port clock (direction INPUT)
 )
           (port reset (direction INPUT))
         )
         (contents
          (instance VCC (viewRef PRIM (cellRef VCC (libraryRef UNILIB)))          )
          (instance GND (viewRef PRIM (cellRef GND (libraryRef UNILIB)))          )
          (instance (rename Q_3_G_22_G_1 "Q_3.G_22.G_1") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_7_G_1 "Q_3.G_7.G_1") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_5_G_1 "Q_3.G_5.G_1") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_30_G_1 "Q_3.G_30.G_1") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_15_G_1 "Q_3.G_15.G_1") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_13_G_1 "Q_3.G_13.G_1") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_26_G_1 "Q_3.G_26.G_1") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_9_G_1 "Q_3.G_9.G_1") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_11_G_1 "Q_3.G_11.G_1") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance G_74 (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "A020"))
          )
          (instance G_74_1 (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "7362"))
          )
          (instance (rename Q_3_G_23 "Q_3.G_23") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))          )
          (instance (rename Q_3_G_3 "Q_3.G_3") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_5 "Q_3.G_5") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_6 "Q_3.G_6") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_7 "Q_3.G_7") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_8 "Q_3.G_8") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_9 "Q_3.G_9") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_10 "Q_3.G_10") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_11 "Q_3.G_11") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_12 "Q_3.G_12") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_13 "Q_3.G_13") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_14 "Q_3.G_14") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_15 "Q_3.G_15") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_16 "Q_3.G_16") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_17 "Q_3.G_17") (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "4"))
          )
          (instance (rename Q_3_G_18 "Q_3.G_18") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename Q_3_G_18_bm "Q_3.G_18_bm") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "D8"))
          )
          (instance (rename Q_3_G_18_am "Q_3.G_18_am") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "D8"))
          )
          (instance (rename Q_3_G_19 "Q_3.G_19") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename Q_3_G_19_bm "Q_3.G_19_bm") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "D8"))
          )
          (instance (rename Q_3_G_19_am "Q_3.G_19_am") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "D8"))
          )
          (instance (rename Q_3_G_21 "Q_3.G_21") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename Q_3_G_21_bm "Q_3.G_21_bm") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "D8"))
          )
          (instance (rename Q_3_G_21_am "Q_3.G_21_am") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "D8"))
          )
          (instance (rename Q_3_G_24 "Q_3.G_24") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_25 "Q_3.G_25") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename Q_3_G_25_bm "Q_3.G_25_bm") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "D8"))
          )
          (instance (rename Q_3_G_25_am "Q_3.G_25_am") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "D8"))
          )
          (instance (rename Q_3_G_27 "Q_3.G_27") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_28 "Q_3.G_28") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_29 "Q_3.G_29") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_31 "Q_3.G_31") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_32 "Q_3.G_32") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_36 "Q_3.G_36") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_37 "Q_3.G_37") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename Q_3_G_37_bm "Q_3.G_37_bm") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "D8"))
          )
          (instance (rename Q_3_G_37_am "Q_3.G_37_am") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "D8"))
          )
          (instance (rename Q_3_G_38 "Q_3.G_38") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_39 "Q_3.G_39") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_43 "Q_3.G_43") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_44 "Q_3.G_44") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_45 "Q_3.G_45") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_46 "Q_3.G_46") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "CA"))
          )
          (instance (rename Q_3_G_47 "Q_3.G_47") (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "22E2"))
          )
          (instance (rename Q_3_G_51 "Q_3.G_51") (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "0010"))
          )
          (instance (rename Q_3_G_52 "Q_3.G_52") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename Q_3_G_52_bm "Q_3.G_52_bm") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "D8"))
          )
          (instance (rename Q_3_G_52_am "Q_3.G_52_am") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "D8"))
          )
          (instance (rename Q_3_G_58 "Q_3.G_58") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename Q_3_G_58_bm "Q_3.G_58_bm") (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "5140"))
          )
          (instance (rename Q_3_G_58_am "Q_3.G_58_am") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "D8"))
          )
          (instance (rename Q_3_G_59 "Q_3.G_59") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename Q_3_G_59_bm "Q_3.G_59_bm") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "04"))
          )