A Highly Parallel FPL-Based Machine and Its Formal Verification

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.

Authors

Paul Shaw

This author has not been identified. Look up 'Paul Shaw' in Google

George J. Milne

This author has not been identified. Look up 'George J. Milne' in Google