A Proof of the Non-Restoring Division Algorithm and its Implementation on the Cathedral-II ALU

Diederik Verkest, Luc J. M. Claesen, Hugo De Man. A Proof of the Non-Restoring Division Algorithm and its Implementation on the Cathedral-II ALU. In Jørgen Staunstrup, Robin Sharp, editors, Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992. Volume A-5 of IFIP Transactions, pages 173-192, North-Holland, 1992.

Abstract

Abstract is missing.