A proof of the nonrestoring division algorithm and its implementation on an ALU
type: Item
instance of: scholarly article
title: A proof of the nonrestoring division algorithm and its implementation on an ALU
zbMATH Open document ID: 0788.68070
DOI: 10.1007/BF01383955
author: L. Claesen
author: Diederik Verkest
author: H. De Man
published in: Formal Methods in System Design
publication date: 1994-03-03T00:00:00Z
Mathematics Subject Classification ID: 68W35
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 94C10
zbMATH DE Number: 502991
zbMATH Keywords: ALU implementation
zbMATH Keywords: correctness
zbMATH Keywords: nonrestoring division algorithm
zbMATH Keywords: Boyer- Moore theorem-proving system
describes a project that uses: NQTHM
MaRDI profile type: Publication
cites work: Q4040283
full work available at URL: https://doi.org/10.1007/bf01383955
OpenAlex ID: W2081371283
description: scientific article; zbMATH DE number 502991