Journal Article10.1109/tcsi.2023.3299009
Generating Posit-Based Accelerators With High-Level Synthesis
4
TL;DR: This paper incorporates the posit data type into the high-level synthesis (HLS) design process, so that it can generate the acrfull RTL implementation directly from a given behavioral specification, but using posit numbers instead of the classical floating-point notations.
read more
Abstract: Recently, the posit number system has demonstrated a higher accuracy over standard floating-point arithmetic for many scientific applications. However, when it comes to implementing accelerators for these applications, the tool support for this arithmetic format is still missing, especially during the step. In this paper, we incorporate the posit data type into the high-level synthesis (HLS) design process, so that we can generate the implementation directly from a given behavioral specification, but using posit numbers instead of the classical floating-point notations. Our evaluations show that, even if posit-based circuits require more area than their floating-point counterparts, they offer higher accuracy when using the same bitwidth. For example, using posit arithmetic can reduce computation errors by about two orders of magnitude when compared to using standard floating-point numbers. Our approach also includes an alternative to mitigate the high overheads of the posits and broadening the potential use of this format. We also propose a hybrid scheme that uses posit numbers only in the private local memory, while the accelerator operates in the classic floating-point notation. This solution is useful when the designers want to optimize local memories and data transfers, but still use legacy high-level synthesis (HLS) tools that only support traditional floating-point notations.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
A System Development Kit for Big Data Applications on FPGA-based Clusters: The EVEREST Approach
Christian Pilato,Subhadeep Banik,Jakub Beránek,Fabien Brocheton,Jerónimo Castrillón,Riccardo Cevasco,Radim Cmar,Serena Curzel,Fabrizio Ferrandi,Karl F. A. Friebel,Antonella Galizia,Antonietta Grasso,Paulo Silva,Jan Martinovič,Gianluca Palermo,Michele Paolino,Antonio Parodi,Antonio Parodi,Fabio Pintus,Raphael Polig,David Poulet,Francesco Regazzoni,Burkhard Ringlein,Roberto Rocco,Kateřina Slaninová,Tjjh Thomas Slooff,Stephanie Soldavini,Felix Suchert,Mattia Tibaldi,Beat Weiss,Christoph Hagleitner +30 more
- 25 Mar 2024
1
Navigating Posit Arithmetic: A Comprehensive Survey of Principles, Hardware, and Applications
David Mallasén Quintana,Raúl Murillo,Guillermo Botella,Alberto Antonio Del Barrio +3 more
Abstract: The IEEE 754 Standard for Floating-Point Arithmetic has long dominated real-number representation in modern computing. Posit arithmetic, a recent alternative, has garnered growing attention for its potential advantages over IEEE 754, inspiring research across academia and industry. This survey provides a detailed examination of the theoretical foundations of posits, their applications in fields such as scientific computing and neural networks, and notable advancements in hardware implementations, including accelerators and RISC-V cores. By synthesizing these developments, this work offers key insights and highlights opportunities for future research, providing a comprehensive resource for understanding and advancing posit arithmetic in diverse computational domains.
Integration of Posit Arithmetic in RISC-V Targeting Low-Power Computations
David Mallasén,Raúl Murillo,Alberto A. Del Barrio,Guillermo Botella,Manuel Prieto +4 more
- 08 Jul 2024
TL;DR: This talk integrates Posit arithmetic into RISC-V to reduce energy consumption, leveraging its accuracy near 1 and machine-independent reproducibility, enabling low-power computations and real-world deployments on the RISC-V Instruction Set Architecture.
References
IEEE Standard for Floating-Point Arithmetic
Dan Zuras,M. F. Cowlishaw,Alex Aiken,Matthew Applegate,David H. Bailey,Steve Bass,Dileep Bhandarkar,Mahesh Bhat,David Bindel,Sylvie Boldo,Stephen Canon,Steven R. Carlough,Marius Cornea,John H. Crawford,Joseph D. Darcy,Debjit Das Sarma,Marc Daumas,Bob Davis,Mark Davis,Dick Delp,James Demmel,Mark A. Erle,Hossam A. H. Fahmy,J. P. Fasano,Richard J. Fateman,Eric Feng,Warren E. Ferguson,Alex Fit-Florea,Laurent Fournier,Chip Freitag,Ivan Godard,Roger A. Golliver,David Gustafson,Michel Hack,John R. Harrison,John Hauser,Yozo Hida,Chris N. Hinds,Graydon Hoare,David G. Hough,Jerry Huck,Jim Hull,Michael Ingrassia,David V. James,Rick James,William Kahan,John Kapernick,Richard Karpinski,Jeff Kidder,Plamen Koev,Ren-Cang Li,Zhishun A. Liu,Raymond Mak,Peter Markstein,David W. Matula,Guillaume Melquiond,Nobuyoshi Mori,Ricardo Morin,Ned Nedialkov,Craig Nelson,Stuart Oberman,Jon Okada,Ian Ollmann,Michael Parks,Tom Pittman,Eric Postpischil,Jason Riedy,Eric M. Schwarz,David Scott,Don Senzig,Ilya Sharapov,Jim Shearer,Michael Siu,Ron Smith,Chuck Stevens,Peter Tang,Pamela J. Taylor,James W. Thomas,Brandon Thompson,Wendy Thrash,Neil Toda,Son Dao Trong,Leonard Tsai,Charles Tsen,Fred Tydeman,Liang Wang,Scott Westbrook,Steve Winkler,Anthony Wood,Umit Yalcinalp,Fred Zemke,Paul Zimmermann +91 more
- 01 Jan 2008
1.8K
A new golden age for computer architecture
TL;DR: Innovations like domain-specific hardware, enhanced security, open instruction sets, and agile chip development will lead the way.
645
An Introduction to High-Level Synthesis
TL;DR: The authors introduce the FSMD model, which forms the basis for synthesis, and discuss the main considerations in a high-level synthesis environment: the input description language, the internal representation, and the main synthesis tasks-allocation, scheduling, and binding.
Beating Floating Point at its Own Game: Posit Arithmetic
John L. Gustafson,Isaac T. Yonemoto +1 more
- 25 Apr 2017
TL;DR: A new data type called a posit is designed as a direct drop-in replacement for IEEE Standard 754 floating-point numbers (floats), and provides compelling advantages over floats, including larger dynamic range, higher accuracy, better closure, bitwise identical results across systems, simpler hardware, and simpler exception handling.
394
LegUp: An open-source high-level synthesis tool for FPGA-based processor/accelerator systems
Andrew Canis,Jongsok Choi,Mark Aldham,Victor Zhang,Ahmed Kammoona,Tomasz Czajkowski,Stephen J. Brown,Jason H. Anderson +7 more
TL;DR: Results show that the tool produces hardware solutions of comparable quality to a commercial high-level synthesis tool, and results demonstrate the ability of the tool to explore the hardware/software codesign space by varying the amount of a program that runs in software versus hardware.
372