sub.edf

从Xilinx网站上下的

(edif sub
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2001 10 23 14 55 34)
      (author "Synplicity, Inc.")
      (program "Synplify" (version "6.2.0, Build 083R"))
     )
   )
  (library VIRTEX
    (edifLevel 0)
    (technology (numberDefinition ))
    (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 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))
         )
       )
    )
  )
  (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 sub (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 GND (viewRef PRIM (cellRef GND (libraryRef UNILIB)))          )
          (instance (rename QZ0Z_0 "Q[0]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_1 "Q[1]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_2 "Q[2]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_3 "Q[3]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_4 "Q[4]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_5 "Q[5]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_6 "Q[6]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_7 "Q[7]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_8 "Q[8]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_9 "Q[9]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_10 "Q[10]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_11 "Q[11]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_12 "Q[12]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_13 "Q[13]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_14 "Q[14]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_15 "Q[15]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance (rename QZ0Z_16 "Q[16]") (viewRef PRIM (cellRef FDR (libraryRef UNILIB)))
          )
          (instance VCC (viewRef PRIM (cellRef VCC (libraryRef UNILIB)))          )
          (instance un3_Q_axb_0 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_1 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_2 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_3 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_4 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_5 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_6 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_7 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_8 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_9 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_10 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_11 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_12 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_13 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_14 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_15 (viewRef PRIM (cellRef LUT2 (libraryRef VIRTEX)))
           (property INIT (string "9"))
          )
          (instance un3_Q_axb_16 (viewRef PRIM (cellRef LUT1 (libraryRef VIRTEX)))
           (property INIT (string "2"))
          )
          (instance un3_Q_cry_0 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_cry_1 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_cry_2 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_cry_3 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_cry_4 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_cry_5 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_cry_6 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_cry_7 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_cry_8 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_cry_9 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_cry_10 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_cry_11 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_cry_12 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_cry_13 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_cry_14 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_cry_15 (viewRef PRIM (cellRef MUXCY_L (libraryRef VIRTEX)))          )
          (instance un3_Q_s_0 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_1 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_2 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_3 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_4 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_5 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_6 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_7 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_8 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_9 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_10 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_11 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_12 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_13 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_14 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_15 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (instance un3_Q_s_16 (viewRef PRIM (cellRef XORCY (libraryRef VIRTEX)))          )
          (net (rename un3_Q_cryZ0Z_5 "un3_Q_cry_5") (joined
           (portRef LO (instanceRef un3_Q_cry_5))
           (portRef CI (instanceRef un3_Q_s_6))
           (portRef CI (instanceRef un3_Q_cry_6))
          ))
          (net (rename un3_Q_cryZ0Z_6 "un3_Q_cry_6") (joined
           (portRef LO (instanceRef un3_Q_cry_6))
           (portRef CI (instanceRef un3_Q_s_7))
           (portRef CI (instanceRef un3_Q_cry_7))
          ))
          (net (rename a_0 "A[0]") (joined
           (portRef (member a 15))
           (portRef I0 (instanceRef un3_Q_axb_0))
           (portRef DI (instanceRef un3_Q_cry_0))
          ))
          (net (rename un3_Q_cryZ0Z_7 "un3_Q_cry_7") (joined
           (portRef LO (instanceRef un3_Q_cry_7))
           (portRef CI (instanceRef un3_Q_s_8))
           (portRef CI (instanceRef un3_Q_cry_8))
          ))
          (net (rename un3_Q_cryZ0Z_15 "un3_Q_cry_15") (joined
           (portRef LO (instanceRef un3_Q_cry_15))
           (portRef CI (instanceRef un3_Q_s_16))
          ))
          (net (rename un3_Q_cryZ0Z_8 "un3_Q_cry_8") (joined
           (portRef LO (instanceRef un3_Q_cry_8))
           (portRef CI (instanceRef un3_Q_s_9))
           (portRef CI (instanceRef un3_Q_cry_9))
          ))
          (net (rename un3_Q_cryZ0Z_0 "un3_Q_cry_0") (joined
           (portRef LO (instanceRef un3_Q_cry_0))
           (portRef CI (instanceRef un3_Q_s_1))
           (portRef CI (instanceRef un3_Q_cry_1))
          ))
          (net (rename un3_Q_cryZ0Z_9 "un3_Q_cry_9") (joined
           (portRef LO (instanceRef un3_Q_cry_9))
           (portRef CI (instanceRef un3_Q_s_10))
           (portRef CI (instanceRef un3_Q_cry_10))
          ))
          (net (rename un3_Q_sZ0Z_16 "un3_Q_s_16") (joined
           (portRef O (instanceRef un3_Q_s_16))
           (portRef D (instanceRef QZ0Z_16))
          ))
          (net (rename un3_Q_cryZ0Z_10 "un3_Q_cry_10") (joined
           (portRef LO (instanceRef un3_Q_cry_10))
           (portRef CI (instanceRef un3_Q_s_11))
           (portRef CI (instanceRef un3_Q_cry_11))
          ))
          (net (rename un3_Q_cryZ0Z_2 "un3_Q_cry_2") (joined
           (portRef LO (instanceRef un3_Q_cry_2))
           (portRef CI (instanceRef un3_Q_s_3))
           (portRef CI (instanceRef un3_Q_cry_3))
          ))
          (net (rename un3_Q_cryZ0Z_11 "un3_Q_cry_11") (joined
           (portRef LO (instanceRef un3_Q_cry_11))
           (portRef CI (instanceRef un3_Q_s_12))
           (portRef CI (instanceRef un3_Q_cry_12))
          ))
          (net (rename un3_Q_cryZ0Z_3 "un3_Q_cry_3") (joined
           (portRef LO (instanceRef un3_Q_cry_3))
           (portRef CI (instanceRef un3_Q_s_4))
           (portRef CI (instanceRef un3_Q_cry_4))
          ))
          (net (rename un3_Q_cryZ0Z_12 "un3_Q_cry_12") (joined
           (portRef LO (instanceRef un3_Q_cry_12))
           (portRef CI (instanceRef un3_Q_s_13))
           (portRef CI (instanceRef un3_Q_cry_13))
          ))
          (net (rename un3_Q_cryZ0Z_4 "un3_Q_cry_4") (joined
           (portRef LO (instanceRef un3_Q_cry_4))
           (portRef CI (instanceRef un3_Q_s_5))
           (portRef CI (instanceRef un3_Q_cry_5))
          ))
          (net (rename un3_Q_cryZ0Z_13 "un3_Q_cry_13") (joined
           (portRef LO (instanceRef un3_Q_cry_13))
           (portRef CI (instanceRef un3_Q_s_14))
           (portRef CI (instanceRef un3_Q_cry_14))
          ))
          (net (rename un3_Q_cryZ0Z_1 "un3_Q_cry_1") (joined
           (portRef LO (instanceRef un3_Q_cry_1))
           (portRef CI (instanceRef un3_Q_s_2))
           (portRef CI (instanceRef un3_Q_cry_2))
          ))
          (net (rename un3_Q_cryZ0Z_14 "un3_Q_cry_14") (joined
           (portRef LO (instanceRef un3_Q_cry_14))
           (portRef CI (instanceRef un3_Q_s_15))
           (portRef CI (instanceRef un3_Q_cry_15))
          ))
          (net (rename un3_Q_axbZ0Z_0 "un3_Q_axb_0") (joined
           (portRef O (instanceRef un3_Q_axb_0))
           (portRef LI (instanceRef un3_Q_s_0))
           (portRef S (instanceRef un3_Q_cry_0))
          ))
          (net (rename a_1 "A[1]") (joined
           (portRef (member a 14))
           (portRef I0 (instanceRef un3_Q_axb_1))
           (portRef DI (instanceRef un3_Q_cry_1))
          ))
          (net (rename un3_Q_axbZ0Z_1 "un3_Q_axb_1") (joined
           (portRef O (instanceRef un3_Q_axb_1))
           (portRef LI (instanceRef un3_Q_s_1))
           (portRef S (instanceRef un3_Q_cry_1))
          ))
          (net (rename un3_Q_sZ0Z_15 "un3_Q_s_15") (joined
           (portRef O (instanceRef un3_Q_s_15))
           (portRef D (instanceRef QZ0Z_15))
          ))
          (net (rename b_0 "B[0]") (joined
           (portRef (member b 15))
           (portRef I1 (instanceRef un3_Q_axb_0))
          ))
          (net (rename un3_Q_sZ0Z_14 "un3_Q_s_14") (joined
           (portRef O (instanceRef un3_Q_s_14))
           (portRef D (instanceRef QZ0Z_14))
          ))
          (net (rename a_2 "A[2]") (joined
           (portRef (member a 13))
           (portRef I0 (instanceRef un3_Q_axb_2))
           (portRef DI (instanceRef un3_Q_cry_2))
          ))
          (net (rename un3_Q_axbZ0Z_2 "un3_Q_axb_2") (joined
           (portRef O (instanceRef un3_Q_axb_2))
           (portRef LI (instanceRef un3_Q_s_2))
           (portRef S (instanceRef un3_Q_cry_2))
          ))
          (net (rename b_1 "B[1]") (joined
           (portRef (member b 14))
           (portRef I1 (instanceRef un3_Q_axb_1))
          ))
          (net (rename a_3 "A[3]") (joined
           (portRef (member a 12))
           (portRef I0 (instanceRef un3_Q_axb_3))
           (portRef DI (instanceRef un3_Q_cry_3))
          ))
          (net (rename un3_Q_axbZ0Z_3 "un3_Q_axb_3") (joined
           (portRef O (instanceRef un3_Q_axb_3))
           (portRef LI (instanceRef un3_Q_s_3))
           (portRef S (instanceRef un3_Q_cry_3))
          ))
          (net (rename un3_Q_sZ0Z_13 "un3_Q_s_13") (joined
           (portRef O (instanceRef un3_Q_s_13))
           (portRef D (instanceRef QZ0Z_13))
          ))
          (net (rename b_2 "B[2]") (joined