Microwatt is a 64 bit OpenPOWER core written in VHDL. It includes an IEEE 754 double-precision binary floating-point unit as well as supervisor support that allows it to run Linux. There are hard macros for the 2 multipliers (integer and floating point), the 2 cache RAMs (icache and dcache) and the 4kB main RAM.
sky130A