synthesiseable ieee 754 floating point library in verilog
Verilog Python C++
Switch branches/tags
Nothing to show
Clone or download
Latest commit 97a7682 Dec 10, 2017


IEEE 754 floating point arithmetic

Synthesiseable IEEE 754 floating point library in Verilog.

  • Provides Divider, Multiplier and Adder
  • Provides float_to_int and int_to_float
  • Supports Denormal Numbers
  • Round-to-nearest (ties to even)
  • Optimised for area
  • Over 100,000,000 test vectors (for each function)



To run the test suite, you will need the g++ compiler, and the icarus verilog simulator.


For each arithmetic function, a test-bench is provided. The testbench consists of a Python script and a Simple C model used as the reference for verification. The C reference model is contained in the c_test subfolder. To recompile the C model run the following command:

~$ cd c_test
~$ g++ -o test test.cpp

The test suite consists of corner cases, edge cases, and 100,000,000 constrained random vectors. The test suite could take several days to run to completion. To run the test suite, run the following command:

~$ ./


Each arithmetic module accepts two 32-bit data streams a and b, and outputs a data stream z. The stream interface is decribed in the chips manual manual.