boolean1.edf

VHDL子程序集,包括各种例程资料以及源码.

(edif  BOOLEAN1
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap
    (keywordLevel 0)
  )
  (status
    (written
      (timeStamp 2002 8 4 16 17 57)
      (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 LUT2
      (cellType GENERIC)
      (view Netlist_representation
	(viewType NETLIST)
	(interface
	  (port I0
	    (direction INPUT)
	  )
	  (port I1
	    (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 BOOLEAN1
      (cellType GENERIC)
      (view Netlist_representation
	(viewType NETLIST)
	(interface
	  (port A
	    (direction INPUT)
	  )
	  (port B
	    (direction INPUT)
	  )
	  (port
	    (rename Y_0 "Y<0>")
	    (direction OUTPUT)
	  )
	  (port
	    (rename Y_1 "Y<1>")
	    (direction OUTPUT)
	  )
	  (port
	    (rename Y_2 "Y<2>")
	    (direction OUTPUT)
	  )
	  (port
	    (rename Y_3 "Y<3>")
	    (direction OUTPUT)
	  )
	)
	(contents
	  (instance C_A
	    (viewRef Netlist_representation
	      (cellRef IBUF
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C_B
	    (viewRef Netlist_representation
	      (cellRef IBUF
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C_Y_0 "C_Y<0>")
	    (viewRef Netlist_representation
	      (cellRef OBUF_S_12
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C_Y_1 "C_Y<1>")
	    (viewRef Netlist_representation
	      (cellRef OBUF_S_12
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C_Y_2 "C_Y<2>")
	    (viewRef Netlist_representation
	      (cellRef OBUF_S_12
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C_Y_3 "C_Y<3>")
	    (viewRef Netlist_representation
	      (cellRef OBUF_S_12
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C10
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0 I1)")
	    )
	    (property INIT
	      (string "8")
	    )
	    (property EQN
	      (string "(I0 * I1)")
	    )
	  )
	  (instance C11
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0 I1')")
	    )
	    (property INIT
	      (string "2")
	    )
	    (property EQN
	      (string "(I0 * ~I1)")
	    )
	  )
	  (instance C12
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1)")
	    )
	    (property INIT
	      (string "4")
	    )
	    (property EQN
	      (string "(~I0 * I1)")
	    )
	  )
	  (instance C13
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1')")
	    )
	    (property INIT
	      (string "1")
	    )
	    (property EQN
	      (string "(~I0 * ~I1)")
	    )
	  )
	  (net N_A
	    (joined
	      (portRef O
		(instanceRef C_A)
	      )
	      (portRef I0
		(instanceRef C10)
	      )
	      (portRef I0
		(instanceRef C11)
	      )
	      (portRef I0
		(instanceRef C12)
	      )
	      (portRef I0
		(instanceRef C13)
	      )
	    )
	  )
	  (net N_B
	    (joined
	      (portRef O
		(instanceRef C_B)
	      )
	      (portRef I1
		(instanceRef C10)
	      )
	      (portRef I1
		(instanceRef C11)
	      )
	      (portRef I1
		(instanceRef C12)
	      )
	      (portRef I1
		(instanceRef C13)
	      )
	    )
	  )
	  (net
	    (rename N_Y_0 "N_Y<0>")
	    (joined
	      (portRef I
		(instanceRef C_Y_0)
	      )
	      (portRef O
		(instanceRef C13)
	      )
	    )
	  )
	  (net
	    (rename N_Y_1 "N_Y<1>")
	    (joined
	      (portRef I
		(instanceRef C_Y_1)
	      )
	      (portRef O
		(instanceRef C12)
	      )
	    )
	  )
	  (net
	    (rename N_Y_2 "N_Y<2>")
	    (joined
	      (portRef I
		(instanceRef C_Y_2)
	      )
	      (portRef O
		(instanceRef C11)
	      )
	    )
	  )
	  (net
	    (rename N_Y_3 "N_Y<3>")
	    (joined
	      (portRef I
		(instanceRef C_Y_3)
	      )
	      (portRef O
		(instanceRef C10)
	      )
	    )
	  )
	  (net A
	    (joined
	      (portRef I
		(instanceRef C_A)
	      )
	      (portRef A)
	    )
	  )
	  (net B
	    (joined
	      (portRef I
		(instanceRef C_B)
	      )
	      (portRef B)
	    )
	  )
	  (net
	    (rename Y_0 "Y<0>")
	    (joined
	      (portRef O
		(instanceRef C_Y_0)
	      )
	      (portRef Y_0)
	    )
	  )
	  (net
	    (rename Y_1 "Y<1>")
	    (joined
	      (portRef O
		(instanceRef C_Y_1)
	      )
	      (portRef Y_1)
	    )
	  )
	  (net
	    (rename Y_2 "Y<2>")
	    (joined
	      (portRef O
		(instanceRef C_Y_2)
	      )
	      (portRef Y_2)
	    )
	  )
	  (net
	    (rename Y_3 "Y<3>")
	    (joined
	      (portRef O
		(instanceRef C_Y_3)
	      )
	      (portRef Y_3)
	    )
	  )
	)
      )
    )
  )
  (design BOOLEAN1
    (cellRef BOOLEAN1
      (libraryRef DESIGNS)
    )
    (property PART
      (string "2S100-TQ144-6")
    )
  )
)