alu.edf

FPGA/CPLD集成开发环境ISE使用详解实例－3

(edif alu
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2002 11 8 9 10 20)
      (author "Synplicity, Inc.")
      (program "Synplify" (version "7.0.0, Build 129R"))
     )
   )
  (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 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 XORCY (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port LI (direction INPUT))
           (port CI (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
    (cell MUXCY_L (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port DI (direction INPUT))
           (port CI (direction INPUT))
           (port S (direction INPUT))
           (port LO (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 BUFGP (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I (direction INPUT))
           (port O (direction OUTPUT))
         )
       )
    )
  )
  (library UNILIB
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell LD (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port Q (direction OUTPUT))
           (port D (direction INPUT))
           (port G (direction INPUT))
         )
       )
    )
    (cell FD (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port Q (direction OUTPUT))
           (port D (direction INPUT))
           (port C (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 alu (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 opcode "opcode[2:0]") 3) (direction INPUT))
           (port (array (rename outp_a "outp_a[7:0]") 8) (direction OUTPUT))
           (port (array (rename outp_s "outp_s[7:0]") 8) (direction OUTPUT))
           (port clk (direction INPUT)
 )
         )
         (contents
          (instance VCC (viewRef PRIM (cellRef VCC (libraryRef UNILIB)))          )
          (instance GND (viewRef PRIM (cellRef GND (libraryRef UNILIB)))          )
          (instance un1_a_1_axb_0 (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "A956"))
          )
          (instance un1_a_1_axb_1 (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "A956"))
          )
          (instance un1_a_1_axb_2 (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "A956"))
          )
          (instance un1_a_1_axb_3 (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "A956"))
          )
          (instance un1_a_1_axb_4 (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "A956"))
          )
          (instance un1_a_1_axb_5 (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "A956"))
          )
          (instance un1_a_1_axb_6 (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "A956"))
          )
          (instance (rename outp_aZ0Z_1 "outp_a[1]") (viewRef PRIM (cellRef LD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance (rename outp_aZ0Z_2 "outp_a[2]") (viewRef PRIM (cellRef LD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance (rename outp_aZ0Z_3 "outp_a[3]") (viewRef PRIM (cellRef LD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance (rename outp_aZ0Z_4 "outp_a[4]") (viewRef PRIM (cellRef LD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance (rename outp_aZ0Z_5 "outp_a[5]") (viewRef PRIM (cellRef LD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance (rename outp_aZ0Z_6 "outp_a[6]") (viewRef PRIM (cellRef LD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance (rename outp_aZ0Z_7 "outp_a[7]") (viewRef PRIM (cellRef LD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance (rename outp_sZ0Z_0 "outp_s[0]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance (rename outp_sZ0Z_1 "outp_s[1]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance (rename outp_sZ0Z_2 "outp_s[2]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance (rename outp_sZ0Z_3 "outp_s[3]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance (rename outp_sZ0Z_4 "outp_s[4]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance (rename outp_sZ0Z_5 "outp_s[5]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance (rename outp_sZ0Z_6 "outp_s[6]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance (rename outp_sZ0Z_7 "outp_s[7]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance (rename outp_aZ0Z_0 "outp_a[0]") (viewRef PRIM (cellRef LD (libraryRef UNILIB)))
           (property IOB (string "TRUE"))
          )
          (instance un1_outp_a25 (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "57"))
          )
          (instance (rename outp_s_8_0 "outp_s_8[0]") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename outp_s_8_bm_0 "outp_s_8_bm[0]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "E8"))
          )
          (instance (rename outp_s_8_am_0 "outp_s_8_am[0]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "72"))
          )
          (instance (rename outp_s_8_1 "outp_s_8[1]") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename outp_s_8_bm_1 "outp_s_8_bm[1]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "E8"))
          )
          (instance (rename outp_s_8_am_1 "outp_s_8_am[1]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "72"))
          )
          (instance (rename outp_s_8_2 "outp_s_8[2]") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename outp_s_8_bm_2 "outp_s_8_bm[2]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "E8"))
          )
          (instance (rename outp_s_8_am_2 "outp_s_8_am[2]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "72"))
          )
          (instance (rename outp_s_8_3 "outp_s_8[3]") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename outp_s_8_bm_3 "outp_s_8_bm[3]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "E8"))
          )
          (instance (rename outp_s_8_am_3 "outp_s_8_am[3]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "72"))
          )
          (instance (rename outp_s_8_4 "outp_s_8[4]") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename outp_s_8_bm_4 "outp_s_8_bm[4]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "E8"))
          )
          (instance (rename outp_s_8_am_4 "outp_s_8_am[4]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "72"))
          )
          (instance (rename outp_s_8_5 "outp_s_8[5]") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename outp_s_8_bm_5 "outp_s_8_bm[5]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "E8"))
          )
          (instance (rename outp_s_8_am_5 "outp_s_8_am[5]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "72"))
          )
          (instance (rename outp_s_8_6 "outp_s_8[6]") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename outp_s_8_bm_6 "outp_s_8_bm[6]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "E8"))
          )
          (instance (rename outp_s_8_am_6 "outp_s_8_am[6]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "72"))
          )
          (instance (rename outp_s_8_7 "outp_s_8[7]") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename outp_s_8_bm_7 "outp_s_8_bm[7]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "E8"))
          )
          (instance (rename outp_s_8_am_7 "outp_s_8_am[7]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "72"))
          )
          (instance un1_a_1_axb_7 (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "E11E"))
          )
          (instance NoName_un1_un1_opcode_i (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "E"))
          )
          (instance clk_ibuf (viewRef PRIM (cellRef BUFGP (libraryRef VIRTEX)))
          )
          (instance (rename outp_s_obuf_7 "outp_s_obuf[7]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename outp_s_obuf_6 "outp_s_obuf[6]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename outp_s_obuf_5 "outp_s_obuf[5]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename outp_s_obuf_4 "outp_s_obuf[4]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename outp_s_obuf_3 "outp_s_obuf[3]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename outp_s_obuf_2 "outp_s_obuf[2]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename outp_s_obuf_1 "outp_s_obuf[1]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename outp_s_obuf_0 "outp_s_obuf[0]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename outp_a_obuf_7 "outp_a_obuf[7]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename outp_a_obuf_6 "outp_a_obuf[6]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename outp_a_obuf_5 "outp_a_obuf[5]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename outp_a_obuf_4 "outp_a_obuf[4]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename outp_a_obuf_3 "outp_a_obuf[3]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename outp_a_obuf_2 "outp_a_obuf[2]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))
          )
          (instance (rename outp_a_obuf_1 "outp_a_obuf[1]") (viewRef PRIM (cellRef OBUF (libraryRef VIRTEX)))