John Hauser

The HardFloat, SoftFloat, and TestFloat Packages

[] Berkeley HardFloat is a free collection of Verilog modules implementing hardware binary floating-point that conforms to the IEEE Standard for Floating-Point Arithmetic. HardFloat is written for the 2001 standard for Verilog.
[] Berkeley SoftFloat is a free software implementation of binary floating-point that conforms to the IEEE Standard for Floating-Point Arithmetic. SoftFloat is written in ISO/ANSI C, and should be compilable with most ISO-conformant C compilers.
[] Berkeley TestFloat is a small collection of programs for testing that an implementation of binary floating-point conforms to the IEEE Standard for Floating-Point Arithmetic. TestFloat relies on SoftFloat to provide an implementation to compare against.


John Hauser, 2019 July 29