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.

Authors

Diederik Verkest

This author has not been identified. Look up 'Diederik Verkest' in Google

Luc J. M. Claesen

This author has not been identified. Look up 'Luc J. M. Claesen' in Google

Hugo De Man

This author has not been identified. Look up 'Hugo De Man' in Google