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.
@inproceedings{ShawM92,
title = {A Highly Parallel FPL-Based Machine and Its Formal Verification},
author = {Paul Shaw and George J. Milne},
year = {1992},
tags = {rule-based},
researchr = {https://researchr.org/publication/ShawM92},
cites = {0},
citedby = {0},
pages = {162-173},
booktitle = {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},
editor = {Herbert Grünbacher and Reiner W. Hartenstein},
volume = {705},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57091-8},
}