What is it about?
The posit representation for real numbers is an alternative to the ubiquitous IEEE 754 floating-point standard. In this work, we present PERCIVAL, an application-level posit RISC-V core based on CVA6 that can execute all posit instructions, including the quire fused operations. In addition, Xposit, a RISC-V extension for posit instructions is incorporated into the LLVM compiler. These elements allow for the native execution of posit instructions as well as the standard floating-point ones, further permitting the comparison of these representations. FPGA and ASIC synthesis show the hardware cost of implementing 32-bit posits and highlight the significant overhead of including a quire accumulator. However, results show that the quire enables a more accurate execution of dot products. In general matrix multiplications, the accuracy error is reduced up to 4 orders of magnitude. Furthermore, performance comparisons show that these accuracy improvements do not hinder their execution, as posits run as fast as single-precision floats and exhibit better timing than double-precision floats, thus potentially providing an alternative representation.
Featured Image
Photo by Volkan Olmez on Unsplash
Read the Original
This page is a summary of: PERCIVAL, May 2023, ACM (Association for Computing Machinery),
DOI: 10.1145/3587135.3591430.
You can read the full text:
Resources
PERCIVAL presentation in the ARITH 2022 conference
Technical PERCIVAL presentation in the ARITH 2022 conference.
YouTube interview
I was interviewed on The Tower YouTube channel by Antonio Flores and we talked about posit arithmetic, the PERCIVAL posit RISC-V core and the impact they could have in the future.
GitHub repository
Open-source code of the project
IEEE Spectrum article
Posits and PERCIVAL cover in IEEE Spectrum
PERCIVAL paper
PERCIVAL open paper
Contributors
The following have contributed to this page







