jk.edf

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

(edif  JK
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap
    (keywordLevel 0)
  )
  (status
    (written
      (timeStamp 2002 8 4 23 5 43)
      (program "UNKNOWN"
	(version "3.4.0.5124")
      )
      (author "liou")
    )
  )
  (external SPARTAN2
    (edifLevel 0)
    (technology
      (numberDefinition)
    )
    (cell FDC
      (cellType GENERIC)
      (view Netlist_representation
	(viewType NETLIST)
	(interface
	  (port Q
	    (direction OUTPUT)
	  )
	  (port D
	    (direction INPUT)
	  )
	  (port C
	    (direction INPUT)
	  )
	  (port CLR
	    (direction INPUT)
	  )
	)
      )
    )
    (cell IBUF
      (cellType GENERIC)
      (view Netlist_representation
	(viewType NETLIST)
	(interface
	  (port O
	    (direction OUTPUT)
	  )
	  (port I
	    (direction INPUT)
	  )
	)
      )
    )
    (cell LUT1
      (cellType GENERIC)
      (view Netlist_representation
	(viewType NETLIST)
	(interface
	  (port I0
	    (direction INPUT)
	  )
	  (port O
	    (direction OUTPUT)
	  )
	)
      )
    )
    (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 JK
      (cellType GENERIC)
      (view Netlist_representation
	(viewType NETLIST)
	(interface
	  (port J
	    (direction INPUT)
	  )
	  (port K
	    (direction INPUT)
	  )
	  (port CLK
	    (direction INPUT)
	  )
	  (port RESET
	    (direction INPUT)
	  )
	  (port Q
	    (direction OUTPUT)
	  )
	  (port Q_Bar
	    (direction OUTPUT)
	  )
	)
	(contents
	  (instance Qout_reg
	    (viewRef Netlist_representation
	      (cellRef FDC
		(libraryRef SPARTAN2)
	      )
	    )
	    (property IOB
	      (string "FALSE")
	    )
	  )
	  (instance C_J
	    (viewRef Netlist_representation
	      (cellRef IBUF
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C_K
	    (viewRef Netlist_representation
	      (cellRef IBUF
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C_CLK
	    (viewRef Netlist_representation
	      (cellRef IBUF
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C_RESET
	    (viewRef Netlist_representation
	      (cellRef IBUF
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C_Q
	    (viewRef Netlist_representation
	      (cellRef OBUF_S_12
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C_Q_Bar
	    (viewRef Netlist_representation
	      (cellRef OBUF_S_12
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C63
	    (viewRef Netlist_representation
	      (cellRef LUT1
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0')")
	    )
	    (property INIT
	      (string "1")
	    )
	    (property EQN
	      (string "(~I0)")
	    )
	  )
	  (instance C64
	    (viewRef Netlist_representation
	      (cellRef LUT3
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I1' I2 + I2' I0)")
	    )
	    (property INIT
	      (string "3A")
	    )
	    (property EQN
	      (string "(~I1 * I2 + ~I2 * I0)")
	    )
	  )
	  (net N_J
	    (joined
	      (portRef O
		(instanceRef C_J)
	      )
	      (portRef I0
		(instanceRef C64)
	      )
	    )
	  )
	  (net N_K
	    (joined
	      (portRef O
		(instanceRef C_K)
	      )
	      (portRef I1
		(instanceRef C64)
	      )
	    )
	  )
	  (net N_CLK
	    (joined
	      (portRef C
		(instanceRef Qout_reg)
	      )
	      (portRef O
		(instanceRef C_CLK)
	      )
	    )
	  )
	  (net N_RESET
	    (joined
	      (portRef CLR
		(instanceRef Qout_reg)
	      )
	      (portRef O
		(instanceRef C_RESET)
	      )
	    )
	  )
	  (net N_Q
	    (joined
	      (portRef Q
		(instanceRef Qout_reg)
	      )
	      (portRef I
		(instanceRef C_Q)
	      )
	      (portRef I0
		(instanceRef C63)
	      )
	      (portRef I2
		(instanceRef C64)
	      )
	    )
	  )
	  (net N24
	    (joined
	      (portRef D
		(instanceRef Qout_reg)
	      )
	      (portRef O
		(instanceRef C64)
	      )
	    )
	  )
	  (net J
	    (joined
	      (portRef I
		(instanceRef C_J)
	      )
	      (portRef J)
	    )
	  )
	  (net K
	    (joined
	      (portRef I
		(instanceRef C_K)
	      )
	      (portRef K)
	    )
	  )
	  (net CLK
	    (joined
	      (portRef I
		(instanceRef C_CLK)
	      )
	      (portRef CLK)
	    )
	  )
	  (net RESET
	    (joined
	      (portRef I
		(instanceRef C_RESET)
	      )
	      (portRef RESET)
	    )
	  )
	  (net Q
	    (joined
	      (portRef O
		(instanceRef C_Q)
	      )
	      (portRef Q)
	    )
	  )
	  (net Q_Bar
	    (joined
	      (portRef O
		(instanceRef C_Q_Bar)
	      )
	      (portRef Q_Bar)
	    )
	  )
	  (net N39
	    (joined
	      (portRef I
		(instanceRef C_Q_Bar)
	      )
	      (portRef O
		(instanceRef C63)
	      )
	    )
	  )
	)
      )
    )
  )
  (design JK
    (cellRef JK
      (libraryRef DESIGNS)
    )
    (property PART
      (string "2S100-TQ144-6")
    )
  )
)