moore_2.edf

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

(edif  MOORE_2
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap
    (keywordLevel 0)
  )
  (status
    (written
      (timeStamp 2002 11 8 2 25 3)
      (program "UNKNOWN"
	(version "3.4.0.5124")
      )
      (author "liou")
    )
  )
  (external SPARTAN2
    (edifLevel 0)
    (technology
      (numberDefinition)
    )
    (cell BUFGP
      (cellType GENERIC)
      (view Netlist_representation
	(viewType NETLIST)
	(interface
	  (port O
	    (direction OUTPUT)
	  )
	  (port I
	    (direction INPUT)
	  )
	)
      )
    )
    (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 FDP
      (cellType GENERIC)
      (view Netlist_representation
	(viewType NETLIST)
	(interface
	  (port Q
	    (direction OUTPUT)
	  )
	  (port D
	    (direction INPUT)
	  )
	  (port C
	    (direction INPUT)
	  )
	  (port PRE
	    (direction INPUT)
	  )
	)
      )
    )
    (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 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 LUT4
      (cellType GENERIC)
      (view Netlist_representation
	(viewType NETLIST)
	(interface
	  (port I0
	    (direction INPUT)
	  )
	  (port I1
	    (direction INPUT)
	  )
	  (port I2
	    (direction INPUT)
	  )
	  (port I3
	    (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 MOORE_2
      (cellType GENERIC)
      (view Netlist_representation
	(viewType NETLIST)
	(interface
	  (port CLK
	    (direction INPUT)
	  )
	  (port RESET
	    (direction INPUT)
	  )
	  (port X
	    (direction INPUT)
	  )
	  (port Z
	    (direction OUTPUT)
	  )
	)
	(contents
	  (instance
	    (rename Present_State_reg_0 "Present_State_reg<0>")
	    (viewRef Netlist_representation
	      (cellRef FDC
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename Present_State_reg_2 "Present_State_reg<2>")
	    (viewRef Netlist_representation
	      (cellRef FDC
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename Present_State_reg_3 "Present_State_reg<3>")
	    (viewRef Netlist_representation
	      (cellRef FDP
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename Present_State_reg_1 "Present_State_reg<1>")
	    (viewRef Netlist_representation
	      (cellRef FDC
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C_RESET
	    (viewRef Netlist_representation
	      (cellRef IBUF
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C_X
	    (viewRef Netlist_representation
	      (cellRef IBUF
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C_Z
	    (viewRef Netlist_representation
	      (cellRef OBUF_S_12
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance C105
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0 + I1)")
	    )
	    (property INIT
	      (string "E")
	    )
	    (property EQN
	      (string "(I0 + I1)")
	    )
	  )
	  (instance C106
	    (viewRef Netlist_representation
	      (cellRef LUT4
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I2 + I0 I3)")
	    )
	    (property INIT
	      (string "EEE4")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * I2 + I0 * I3)")
	    )
	  )
	  (instance C107
	    (viewRef Netlist_representation
	      (cellRef LUT3
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0' I2)")
	    )
	    (property INIT
	      (string "54")
	    )
	    (property EQN
	      (string "(~I0 * I1 + ~I0 * I2)")
	    )
	  )
	  (instance C108
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0 I1)")
	    )
	    (property INIT
	      (string "8")
	    )
	    (property EQN
	      (string "(I0 * I1)")
	    )
	  )
	  (instance C109
	    (viewRef Netlist_representation
	      (cellRef LUT3
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0 I1 + I0' I2)")
	    )
	    (property INIT
	      (string "D8")
	    )
	    (property EQN
	      (string "(I0 * I1 + ~I0 * I2)")
	    )
	  )
	  (instance C110
	    (viewRef Netlist_representation
	      (cellRef BUFGP
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (net CLK_BUFGPed
	    (joined
	      (portRef C
		(instanceRef Present_State_reg_0)
	      )
	      (portRef C
		(instanceRef Present_State_reg_2)
	      )
	      (portRef C
		(instanceRef Present_State_reg_3)
	      )
	      (portRef C
		(instanceRef Present_State_reg_1)
	      )
	      (portRef O
		(instanceRef C110)
	      )
	    )
	  )
	  (net N_RESET
	    (joined
	      (portRef CLR
		(instanceRef Present_State_reg_0)
	      )
	      (portRef CLR
		(instanceRef Present_State_reg_2)
	      )
	      (portRef PRE
		(instanceRef Present_State_reg_3)
	      )
	      (portRef CLR
		(instanceRef Present_State_reg_1)
	      )
	      (portRef O
		(instanceRef C_RESET)
	      )
	    )
	  )
	  (net N_X
	    (joined
	      (portRef O
		(instanceRef C_X)
	      )
	      (portRef I0
		(instanceRef C106)
	      )
	      (portRef I0
		(instanceRef C107)
	      )
	      (portRef I0
		(instanceRef C108)
	      )
	      (portRef I0
		(instanceRef C109)
	      )
	    )
	  )
	  (net
	    (rename Present_State_0 "Present_State<0>")
	    (joined
	      (portRef Q
		(instanceRef Present_State_reg_0)
	      )
	      (portRef I1
		(instanceRef C108)
	      )
	      (portRef I2
		(instanceRef C109)
	      )
	    )
	  )
	  (net
	    (rename Present_State_2 "Present_State<2>")
	    (joined
	      (portRef Q
		(instanceRef Present_State_reg_2)
	      )
	      (portRef I1
		(instanceRef C105)
	      )
	      (portRef I3
		(instanceRef C106)
	      )
	      (portRef I2
		(instanceRef C107)
	      )
	    )
	  )
	  (net
	    (rename Present_State_3 "Present_State<3>")
	    (joined
	      (portRef Q
		(instanceRef Present_State_reg_3)
	      )
	      (portRef I2
		(instanceRef C106)
	      )
	      (portRef I1
		(instanceRef C107)
	      )
	    )
	  )
	  (net
	    (rename Present_State_1 "Present_State<1>")
	    (joined
	      (portRef Q
		(instanceRef Present_State_reg_1)
	      )
	      (portRef I0
		(instanceRef C105)
	      )
	      (portRef I1
		(instanceRef C106)
	      )
	      (portRef I1
		(instanceRef C109)
	      )
	    )
	  )
	  (net N18
	    (joined
	      (portRef I
		(instanceRef C_Z)
	      )
	      (portRef O
		(instanceRef C105)
	      )
	    )
	  )
	  (net
	    (rename C5_N11 "C5/N11")
	    (joined
	      (portRef D
		(instanceRef Present_State_reg_3)
	      )
	      (portRef O
		(instanceRef C107)
	      )
	    )
	  )
	  (net
	    (rename C5_N16 "C5/N16")
	    (joined
	      (portRef D
		(instanceRef Present_State_reg_2)
	      )
	      (portRef O
		(instanceRef C108)
	      )
	    )
	  )
	  (net
	    (rename C5_N27 "C5/N27")
	    (joined
	      (portRef D
		(instanceRef Present_State_reg_1)
	      )
	      (portRef O
		(instanceRef C106)
	      )
	    )
	  )
	  (net
	    (rename C5_N35 "C5/N35")
	    (joined
	      (portRef D
		(instanceRef Present_State_reg_0)
	      )
	      (portRef O
		(instanceRef C109)
	      )
	    )
	  )
	  (net CLK
	    (joined
	      (portRef CLK)
	      (portRef I
		(instanceRef C110)
	      )
	    )
	  )
	  (net RESET
	    (joined
	      (portRef I
		(instanceRef C_RESET)
	      )
	      (portRef RESET)
	    )
	  )
	  (net X
	    (joined
	      (portRef I
		(instanceRef C_X)
	      )
	      (portRef X)
	    )
	  )
	  (net Z
	    (joined
	      (portRef O
		(instanceRef C_Z)
	      )
	      (portRef Z)
	    )
	  )
	)
      )
    )
  )
  (design MOORE_2
    (cellRef MOORE_2
      (libraryRef DESIGNS)
    )
    (property PART
      (string "2S100-TQ144-6")
    )
  )
)