If you are still looking for an ACEX1K development board, here are a couple of options.
The (now obsolete and soon-to-be-discontinued) FTDI/DLP Morph-IC board has an FT2232C and an ACEX1K FPGA.
http://www.dlpdesign.com/fpga/morphic.shtml Mouser has these boards in stock:
http://www.mouser.com/productdetail/ftdi/morph-ic-1k-blk/?qs=sgaepimzzmuvjc7vq%252bml5zjbddcilvze I have one of these boards. I wrote a programmer and an FT2232 FIFO to FPGA interface. I can give you that code if you get one of these boards. The problem with the Morph-IC, is that it has a small ACEX1K device on it. The device is a EP1K10TC100-3, with 576 LEs, which is around the number of LEs as the MAX II EPM570 device (which is a more useful device for this amount of LEs, in that the MAX II configuration is non-volatile).
Today I stumbled upon this ACEX1K board, the EZ1KUSB;
http://www.easyfpga.com/ http://www.easyfpga.com/ez1kusb_config.htm This board can be ordered with larger devices, so might be more useful for your testing.
Cheers,
Dave