الفهرس | Only 14 pages are availabe for public view |
Abstract In this work, we have added the support of the fused multiply Add (FMA) unit in OpenSparc T2 open-source processor. The FMA unit used supports both binary and decimal formats. The used FMA optimizes the area and power consumption by sharing most of the hardware between the binary and decimal operations. The work done includes modifying the processor instruction set architecture (ISA) to support the new operations, integrating the FMA unit inside the floating point unit of the processor, updating the processor to understand the new instructions and communicate correctly with the new unit. The work done also includes modifying the assembler to understand the assembly of the new instructions and generates the executable accordingly. During our work we verified the FMA unit using formal verification technology and found and fixed many bugs in the implementation. We also proposed a methodology for verifying the floating point units using formal verification |