hdl_demo.edf

Xilinx Ise 官方源代码盘 第四章

(edif hdl_demo
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2004 6 16 16 5 5)
      (author "Synplicity, Inc.")
      (program "Synplify Pro" (version "7.3.5, Build 256R"))
     )
   )
  (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_L (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I0 (direction INPUT))
           (port I1 (direction INPUT))
           (port I2 (direction INPUT))
           (port I3 (direction INPUT))
           (port LO (direction OUTPUT))
         )
       )
    )
    (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_L (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I0 (direction INPUT))
           (port I1 (direction INPUT))
           (port LO (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 FD (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port Q (direction OUTPUT))
           (port D (direction INPUT))
           (port C (direction INPUT)
 )
         )
       )
    )
    (cell FDPE (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port Q (direction OUTPUT))
           (port D (direction INPUT))
           (port C (direction INPUT)
 )
           (port PRE (direction INPUT))
           (port CE (direction INPUT))
         )
       )
    )
    (cell FDCE (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port Q (direction OUTPUT))
           (port D (direction INPUT))
           (port C (direction INPUT)
 )
           (port CLR (direction INPUT))
           (port CE (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 netlist (viewType NETLIST)
         (interface
           (port (array (rename op_code "op_code[2:0]") 3) (direction INPUT))
           (port (array (rename result_c "result_c[7:0]") 8) (direction OUTPUT))
           (port (array (rename accum_b_c "accum_b_c[7:0]") 8) (direction INPUT))
           (port (array (rename accum_a_c "accum_a_c[7:0]") 8) (direction INPUT))
           (port clk_c (direction INPUT))
         )
         (contents
          (instance outp_1_axb_0 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "6"))
          )
          (instance outp_1_axb_1 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "6"))
          )
          (instance outp_1_axb_2 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "6"))
          )
          (instance outp_1_axb_3 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "6"))
          )
          (instance outp_1_axb_4 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "6"))
          )
          (instance outp_1_axb_5 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "6"))
          )
          (instance outp_1_axb_6 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "6"))
          )
          (instance un4_outp_axb_0 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "9"))
          )
          (instance un4_outp_axb_1 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "9"))
          )
          (instance un4_outp_axb_2 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "9"))
          )
          (instance un4_outp_axb_3 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "9"))
          )
          (instance un4_outp_axb_4 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "9"))
          )
          (instance un4_outp_axb_5 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "9"))
          )
          (instance un4_outp_axb_6 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property init (string "9"))
          )
          (instance (rename outp_0 "outp[0]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "FALSE"))
          )
          (instance (rename outp_1 "outp[1]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "FALSE"))
          )
          (instance (rename outp_2 "outp[2]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "FALSE"))
          )
          (instance (rename outp_3 "outp[3]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "FALSE"))
          )
          (instance (rename outp_4 "outp[4]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "FALSE"))
          )
          (instance (rename outp_5 "outp[5]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "FALSE"))
          )
          (instance (rename outp_6 "outp[6]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "FALSE"))
          )
          (instance (rename outp_7 "outp[7]") (viewRef PRIM (cellRef FD (libraryRef UNILIB)))
           (property IOB (string "FALSE"))
          )
          (instance (rename outp_8_7 "outp_8[7]") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename outp_8_bm_7 "outp_8_bm[7]") (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "FCAA"))
          )
          (instance (rename outp_8_am_7 "outp_8_am[7]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "5C"))
          )
          (instance (rename outp_8_6 "outp_8[6]") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename outp_8_bm_6 "outp_8_bm[6]") (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "FCAA"))
          )
          (instance (rename outp_8_am_6 "outp_8_am[6]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "5C"))
          )
          (instance (rename outp_8_5 "outp_8[5]") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename outp_8_bm_5 "outp_8_bm[5]") (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "FCAA"))
          )
          (instance (rename outp_8_am_5 "outp_8_am[5]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "5C"))
          )
          (instance (rename outp_8_4 "outp_8[4]") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))
           (property mapinfo (string "F5MUX"))
          )
          (instance (rename outp_8_bm_4 "outp_8_bm[4]") (viewRef PRIM (cellRef LUT4 (libraryRef VIRTEX)))
           (property init (string "FCAA"))
          )
          (instance (rename outp_8_am_4 "outp_8_am[4]") (viewRef PRIM (cellRef LUT3 (libraryRef VIRTEX)))
           (property init (string "5C"))
          )
          (instance (rename outp_8_3 "outp_8[3]") (viewRef PRIM (cellRef MUXF5 (libraryRef VIRTEX)))