Proof of correctness of high-performance 3—1 interlock collapsing ALUs

• 1 January 1993
• journal article
• Published by IBM in IBM Journal of Research and Development
• Vol. 37  (1) , 12-21
• https://doi.org/10.1147/rd.371.0012

Abstract