The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
On the design of IEEE compliant floating point units
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
Engineering design methodology recommends designing a system as follows: start with an unambiguous specification, partition the system into blocks, specify the functionality of each block, design each block separately, and glue the blocks together. Verifying the correctness of an implementation then reduces to a local verification procedure. We apply this methodology for designing a provably correct, modular, IEEE-compliant floating point unit. First, we provide a mathematical, and hopefully unambiguous, definition of IEEE Standard 754 (1985) which specifies the functionality. The design consists of an adder, a multiplier and a rounding unit, each of which is further partitioned. Our floating point unit design deals with the detection of exceptions and trapped overflow and underflow exceptions as an integral part of the rounding unit. Our abstraction level avoids bit-level arguments while still enabling the addressing of crucial implementation issues such as delay and cost.
How it got here
How it got here
agent via openalex
Added
2026-10-25 10:42 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{even1997design,
title = {On the design of IEEE compliant floating point units},
author = {Guy Even and W. J. Paul},
year = {1997},
pages = {54--63},
doi = {10.1109/arith.1997.614879},
}
This record lives at https://refs.drheap.org/even1997design/ and will keep
doing so. It used to be called even2002design, and those addresses still resolve to this one.