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, 2024 October 18

	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.