scientific article; zbMATH DE number 139976

MaRDI QIDQ4028332zbMATH OpenFDO

Authors L. Claesen, H. De Man, Diederik Verkest

Publication date 28 March 1993

zbMATH Keywords

Boyer-Moore theorem provinghierarchical verification of sequential hardware

Mathematics Subject Classification ID

Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35) Circuits, networks (94C99)

Recommendations

• A proof of the nonrestoring division algorithm and its implementation on an ALU
• A novel division algorithm for the residue number system
• scientific article; zbMATH DE number 1670746
• A parallel residue-to-binary conversion algorithm without trial division
• Hardware implementation of finite-field division
• scientific article; zbMATH DE number 3856404
• On a property of the division algorithm and its application to the theory of non-unique factorizations

Cited in

(4)

• A proof of the nonrestoring division algorithm and its implementation on an ALU
• scientific article; zbMATH DE number 1670746 (Why is no real title available?)
• Formal proof of integer adders using all-prefix-sums operation
• Formal proof of prefix adders

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028332)