rsnikhil / Forvis_RISCV-ISA-Spec

Formal specification of RISC-V Instruction Set
MIT License
96 stars 19 forks source link

FPU Abstraction #8

Closed nirajnsharma closed 5 years ago

nirajnsharma commented 5 years ago

Hi Nikhil,

I have created the FPU abstraction on the lines of the ALU, and all Softfloat functionality is now restricted to the FPU. Consequently, moving to a non-softfloat floating point implementation will only involve changing the operators inside the FPU.

The other change is in the cleanup of the FCSR functionality. The special function to handle fcsr writes has been removed. A new CSR API to handle accrue-able fields has been introduced. Currently fcsr.fflags is the only user of this function.

Regards, Niraj