A Highly Parallel FPL-Based Machine and Its Formal Verification.

Paul Shaw, George J. Milne

Browse the full FPGA paper archive.