fadder_c.edf

来自「VHDL子程序集,包括各种例程资料以及源码.」· EDF 代码 · 共 276 行

(edif  FADDER_C
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap
    (keywordLevel 0)
  )
  (status
    (written
      (timeStamp 2002 7 14 9 5 55)
      (program "UNKNOWN"
	(version "3.4.0.5124")
      )
      (author "liou")
    )
  )
  (external SPARTAN2
    (edifLevel 0)
    (technology
      (numberDefinition)
    )
    (cell IBUF
      (cellType GENERIC)
      (view Netlist_representation
	(viewType NETLIST)
	(interface
	  (port O
	    (direction OUTPUT)
	  )
	  (port I
	    (direction INPUT)
	  )
	)
      )
    )
    (cell LUT3
      (cellType GENERIC)
      (view Netlist_representation
	(viewType NETLIST)
	(interface
	  (port I0
	    (direction INPUT)
	  )
	  (port I1
	    (direction INPUT)
	  )
	  (port I2
	    (direction INPUT)
	  )
	  (port O
	    (direction OUTPUT)
	  )
	)
      )
    )
    (cell OBUF_S_12
      (cellType GENERIC)
      (view Netlist_representation
	(viewType NETLIST)
	(interface
	  (port O
	    (direction OUTPUT)
	  )
	  (port I
	    (direction INPUT)
	  )
	)
      )
    )
  )
  (library DESIGNS
    (edifLevel 0)
    (technology
      (numberDefinition)
    )
    (cell FADDER_C
      (cellType GENERIC)
      (view Netlist_representation
	(viewType NETLIST)
	(interface
	  (port X0
	    (direction INPUT)
	  )
	  (port Y0
	    (direction INPUT)
	  )
	  (port C0
	    (direction INPUT)
	  )
	  (port S0
	    (direction OUTPUT)
	  )
	  (port C1
	    (direction OUTPUT)
	  )
	)
	(contents
	  (instance C_X0
	    (viewRef Netlist_representation
	      (cellRef IBUF
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C_Y0
	    (viewRef Netlist_representation
	      (cellRef IBUF
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C_C0
	    (viewRef Netlist_representation
	      (cellRef IBUF
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C_S0
	    (viewRef Netlist_representation
	      (cellRef OBUF_S_12
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C_C1
	    (viewRef Netlist_representation
	      (cellRef OBUF_S_12
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C72
	    (viewRef Netlist_representation
	      (cellRef LUT3
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0 I1 + I0 I2 + I1 I2)")
	    )
	    (property INIT
	      (string "E8")
	    )
	    (property EQN
	      (string "(I0 * I1 + I0 * I2 + I1 * I2)")
	    )
	  )
	  (instance C73
	    (viewRef Netlist_representation
	      (cellRef LUT3
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0 I1 I2 + I0' I1' I2 + I0' I1 I2' + I0 I1' I2')")
	    )
	    (property INIT
	      (string "96")
	    )
	    (property EQN
	      (string "(I0 * I1 * I2 + ~I0 * ~I1 * I2 + ~I0 * I1 * ~I2 + I0 * ~I1 * ~I2)")
	    )
	  )
	  (net N_X0
	    (joined
	      (portRef O
		(instanceRef C_X0)
	      )
	      (portRef I1
		(instanceRef C72)
	      )
	      (portRef I1
		(instanceRef C73)
	      )
	    )
	  )
	  (net N_Y0
	    (joined
	      (portRef O
		(instanceRef C_Y0)
	      )
	      (portRef I2
		(instanceRef C72)
	      )
	      (portRef I2
		(instanceRef C73)
	      )
	    )
	  )
	  (net N_C0
	    (joined
	      (portRef O
		(instanceRef C_C0)
	      )
	      (portRef I0
		(instanceRef C72)
	      )
	      (portRef I0
		(instanceRef C73)
	      )
	    )
	  )
	  (net N1
	    (joined
	      (portRef I
		(instanceRef C_S0)
	      )
	      (portRef O
		(instanceRef C73)
	      )
	    )
	  )
	  (net N3
	    (joined
	      (portRef I
		(instanceRef C_C1)
	      )
	      (portRef O
		(instanceRef C72)
	      )
	    )
	  )
	  (net X0
	    (joined
	      (portRef I
		(instanceRef C_X0)
	      )
	      (portRef X0)
	    )
	  )
	  (net Y0
	    (joined
	      (portRef I
		(instanceRef C_Y0)
	      )
	      (portRef Y0)
	    )
	  )
	  (net C0
	    (joined
	      (portRef I
		(instanceRef C_C0)
	      )
	      (portRef C0)
	    )
	  )
	  (net S0
	    (joined
	      (portRef O
		(instanceRef C_S0)
	      )
	      (portRef S0)
	    )
	  )
	  (net C1
	    (joined
	      (portRef O
		(instanceRef C_C1)
	      )
	      (portRef C1)
	    )
	  )
	)
      )
    )
  )
  (design FADDER_C
    (cellRef FADDER_C
      (libraryRef DESIGNS)
    )
    (property PART
      (string "2S100-TQ144-6")
    )
  )
)