| Description: | Blackbox BMC encoding of various modifications of an IEEE-754
compliant pipelined double precision floating point unit that supports
four basic operations (+,-,*,/), multiple rounding modes and
exceptions (VHDL code available at opencores.org). The instances
contain about 21.000 gates and 2.700 latches. | |
