A proof of the nonrestoring division algorithm and its implementation on an ALU

DOI10.1007/BF01383955zbMath0788.68070OpenAlexW2081371283MaRDI QIDQ1314510

L. Claesen, Diederik Verkest, H. De Man

Publication date: 3 March 1994

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01383955

zbMATH Keywords

correctnessALU implementationBoyer- Moore theorem-proving systemnonrestoring division algorithm

Mathematics Subject Classification ID

Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

Related Items (1)

Formal verification of the VAMP floating point unit

Uses Software

• NQTHM

Cites Work

• Unnamed Item

This page was built for publication: A proof of the nonrestoring division algorithm and its implementation on an ALU