Paul Shaw, George J. Milne. A Highly Parallel FPL-Based Machine and Its Formal Verification. In Herbert Grünbacher, Reiner W. Hartenstein, editors, Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping, Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31 - September 2, 1992, Selected Papers. Volume 705 of Lecture Notes in Computer Science, pages 162-173, Springer, 1992.
Abstract is missing.