add4in.edf

台湾全华科技VHDL教材实例

	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C6_C5_C1 "C6/C5/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C6_C5_C2 "C6/C5/C2")
	    (viewRef Netlist_representation
	      (cellRef MUXCY_L
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C6_C6_C0 "C6/C6/C0")
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I1')")
	    )
	    (property INIT
	      (string "6")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C6_C6_C1 "C6/C6/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C6_C6_C2 "C6/C6/C2")
	    (viewRef Netlist_representation
	      (cellRef MUXCY_L
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C6_C7_C0 "C6/C7/C0")
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I1')")
	    )
	    (property INIT
	      (string "6")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C6_C7_C1 "C6/C7/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C6_C7_C2 "C6/C7/C2")
	    (viewRef Netlist_representation
	      (cellRef MUXCY_L
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C6_C8_C0 "C6/C8/C0")
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I1')")
	    )
	    (property INIT
	      (string "6")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C6_C8_C1 "C6/C8/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C6_C8_C2 "C6/C8/C2")
	    (viewRef Netlist_representation
	      (cellRef MUXCY_L
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C6_C9_C0 "C6/C9/C0")
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I1')")
	    )
	    (property INIT
	      (string "6")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C6_C9_C1 "C6/C9/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C6_C9_C2 "C6/C9/C2")
	    (viewRef Netlist_representation
	      (cellRef MUXCY_L
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C6_C10_C0 "C6/C10/C0")
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I1')")
	    )
	    (property INIT
	      (string "6")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C6_C10_C1 "C6/C10/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C6_C10_C2 "C6/C10/C2")
	    (viewRef Netlist_representation
	      (cellRef MUXCY_L
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C6_C11_C0 "C6/C11/C0")
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I1')")
	    )
	    (property INIT
	      (string "6")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C6_C11_C1 "C6/C11/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C2_C0 "C7/C2/C0")
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I1')")
	    )
	    (property INIT
	      (string "6")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C7_C2_C1 "C7/C2/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C2_C2 "C7/C2/C2")
	    (viewRef Netlist_representation
	      (cellRef MUXCY_L
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C3_C0 "C7/C3/C0")
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I1')")
	    )
	    (property INIT
	      (string "6")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C7_C3_C1 "C7/C3/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C3_C2 "C7/C3/C2")
	    (viewRef Netlist_representation
	      (cellRef MUXCY_L
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C4_C0 "C7/C4/C0")
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I1')")
	    )
	    (property INIT
	      (string "6")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C7_C4_C1 "C7/C4/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C4_C2 "C7/C4/C2")
	    (viewRef Netlist_representation
	      (cellRef MUXCY_L
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C5_C0 "C7/C5/C0")
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I1')")
	    )
	    (property INIT
	      (string "6")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C7_C5_C1 "C7/C5/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C5_C2 "C7/C5/C2")
	    (viewRef Netlist_representation
	      (cellRef MUXCY_L
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C6_C0 "C7/C6/C0")
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I1')")
	    )
	    (property INIT
	      (string "6")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C7_C6_C1 "C7/C6/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C6_C2 "C7/C6/C2")
	    (viewRef Netlist_representation
	      (cellRef MUXCY_L
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C7_C0 "C7/C7/C0")
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I1')")
	    )
	    (property INIT
	      (string "6")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C7_C7_C1 "C7/C7/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C7_C2 "C7/C7/C2")
	    (viewRef Netlist_representation
	      (cellRef MUXCY_L
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C8_C0 "C7/C8/C0")
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I1')")
	    )
	    (property INIT
	      (string "6")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C7_C8_C1 "C7/C8/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C8_C2 "C7/C8/C2")
	    (viewRef Netlist_representation
	      (cellRef MUXCY_L
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C9_C0 "C7/C9/C0")
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I1')")
	    )
	    (property INIT
	      (string "6")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C7_C9_C1 "C7/C9/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C9_C2 "C7/C9/C2")
	    (viewRef Netlist_representation
	      (cellRef MUXCY_L
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename C7_C10_C0 "C7/C10/C0")
	    (viewRef Netlist_representation
	      (cellRef LUT2
		(libraryRef SPARTAN2)
	      )
	    )
	    (property lut_function
	      (string "(I0' I1 + I0 I1')")
	    )
	    (property INIT
	      (string "6")
	    )
	    (property EQN
	      (string "(~I0 * I1 + I0 * ~I1)")
	    )
	  )
	  (instance
	    (rename C7_C10_C1 "C7/C10/C1")
	    (viewRef Netlist_representation
	      (cellRef XORCY
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename Q_reg_0 "Q_reg<0>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	    (property IOB
	      (string "FALSE")
	    )
	  )
	  (instance
	    (rename Q_reg_1 "Q_reg<1>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	    (property IOB
	      (string "FALSE")
	    )
	  )
	  (instance
	    (rename Q_reg_2 "Q_reg<2>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	    (property IOB
	      (string "FALSE")
	    )
	  )
	  (instance
	    (rename Q_reg_3 "Q_reg<3>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	    (property IOB
	      (string "FALSE")
	    )
	  )
	  (instance
	    (rename Q_reg_4 "Q_reg<4>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	    (property IOB
	      (string "FALSE")
	    )
	  )
	  (instance
	    (rename Q_reg_5 "Q_reg<5>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	    (property IOB
	      (string "FALSE")
	    )
	  )
	  (instance
	    (rename Q_reg_6 "Q_reg<6>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	    (property IOB
	      (string "FALSE")
	    )
	  )
	  (instance
	    (rename Q_reg_7 "Q_reg<7>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	    (property IOB
	      (string "FALSE")
	    )
	  )
	  (instance
	    (rename Q_reg_8 "Q_reg<8>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	    (property IOB
	      (string "FALSE")
	    )
	  )
	  (instance
	    (rename Q_reg_9 "Q_reg<9>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	    (property IOB
	      (string "FALSE")
	    )
	  )
	  (instance
	    (rename SumB_reg_0 "SumB_reg<0>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename SumB_reg_1 "SumB_reg<1>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename SumB_reg_2 "SumB_reg<2>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename SumB_reg_3 "SumB_reg<3>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename SumB_reg_4 "SumB_reg<4>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename SumB_reg_5 "SumB_reg<5>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename SumB_reg_6 "SumB_reg<6>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename SumB_reg_7 "SumB_reg<7>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename SumB_reg_8 "SumB_reg<8>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename SumA_reg_0 "SumA_reg<0>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename SumA_reg_1 "SumA_reg<1>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename SumA_reg_2 "SumA_reg<2>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename SumA_reg_3 "SumA_reg<3>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename SumA_reg_4 "SumA_reg<4>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename SumA_reg_5 "SumA_reg<5>")
	    (viewRef Netlist_representation
	      (cellRef FD
		(libraryRef SPARTAN2)
	      )
	    )
	  )
	  (instance
	    (rename SumA_reg_6 "SumA_reg<6>")