# set_vendor xilinx
# set_family spartan3a
# set_device 3s700a
# set_package fg484
# set_speed -4