Customizing the CVA6 RISC-V Core to Integrate Posit and Quire Instructions

  1. Mallasen, David 2
  2. Murillo, Raul 1
  3. Del Barrio, Alberto A. 2
  4. Botella, Guillermo 3
  5. Pinuel, Luis 1
  6. Prieto-Matias, Manuel 3
  1. 1 Facultad de Ciencias Físicas Universidad Complutense de Madrid,Madrid,Spain,28040
  2. 2 Facultad de Informática Universidad Complutense de Madrid,Madrid,Spain,28040
  3. 3 Facultad de Informática Instituto de Tecnología del Conocimiento Universidad Complutense de Madrid,Madrid,Spain,28040
2022 37th Conference on Design of Circuits and Integrated Circuits (DCIS)

Publisher: IEEE

Year of publication: 2022

Type: Conference paper

DOI: 10.1109/DCIS55711.2022.9970026 GOOGLE SCHOLAR lock_openOpen access editor

Sustainable development goals


The posit representation for real numbers, aka Unum-v3, is an alternative to substitute the IEEE 754 standard and thus mitigate the inherent problems to the construction of floating-point numbers. Nonetheless, posits are not standard yet, and previously there was no approach, neither academically nor industrially, which implemented a fully compliant core for deploying this novel format. Recently, the open-source PERCIVAL posit RISC-V core was presented as the first work that fully integrates posit arithmetic and quire capabilities into hardware. In addition, Xposit, a RISC-V extension for posit operations allows for the compilation of C programs with inline assembly posit and quire instructions. As a study platform, PERCIVAL is based on the CVA6 core and has support for both posit and IEEE 754 formats, further permitting the comparison of these representations. This paper details the microarchitecture of the Posit Arithmetic Unit with quire added to this core. It also describes how to perform the necessary additions and modifications to the CVA6 core to add support for the Xposit RISC-V custom extension. Furthermore, FPGA synthesis results highlight the cost of including support for both posits with quire and IEEE 754 formats. This is done by breaking down the area resources needed for every arithmetic configuration.

Bibliographic References

  • 10.1145/3457388.3458657
  • (2022), OpenHW Group
  • (0), Buildroot
  • 10.1109/TVLSI.2020.3044752
  • (2022), Standard for Posit Arithmetic (2022)
  • 10.1007/978-3-031-09779-9_6
  • 10.1109/FPL.2019.00026
  • 10.1109/ICCD.2018.00057
  • 10.1145/3316279.3316281
  • 10.23919/DATE48585.2020.9116196
  • 10.1016/j.dsp.2020.102762
  • 10.1109/ICCD53106.2021.00024
  • mallasén, (2021), PERCIVAL Open-Source Posit RISC-V Core with Quire Capability
  • cococcioni, (2021), IEEE Transactions on Emerging Topics in Computing, pp. 1
  • 10.1109/CVPRW53098.2021.00346
  • 10.1109/ICASSP39728.2021.9413919
  • 10.21236/ADA605735
  • 10.1109/TVLSI.2019.2926114
  • gustafson, (2017), Supercomputing Frontiers and Innovations, 4, pp. 71
  • (2019), IEEE Std 754–2019 (Revision of IEEE 754–2008), pp. 1
  • gustafson, (2018), RISC-V Proposed Extension for 32-bit Posits
  • 10.1109/ACCESS.2019.2920936
  • 10.1109/TETC.2021.3109127
  • 10.1109/ISCAS45731.2020.9180771
  • sharma, (0), CLARINET A RISC-V Based Framework for Posit Arithmetic Empiricism
  • 10.1109/ICCD53106.2021.00032
  • 10.1145/3446210
  • arunkumar, (0), 4th Workshop on Computer Architecture Research with RISC-V (CARRV'20), pp. 8