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. |