Abstract:The IEEE 754 standard for floating-point (FP) arithmetic is widely used for real numbers. Recently, a variant called posit was proposed to improve the precision around 1 and −1. Since FP multiplication requires high computational complexity, various algorithmic approaches and hardware accelerator solutions have been explored. In this context, this article proposes a novel area-efficient logarithmic multiplier architecture for different real number formats, which also provides a significant and useful accuracy/latency tradeoff at runtime. To reduce the logic area in field-programmable gate arrays (FPGAs), this article offers two innovations: applying logarithm to only a single operand and mitigating the accuracy drop caused by this modification with advanced error converging and operand selection schemes. Our multiplier design for single-precision FP (SPFP) numbers uses 58% fewer hardware resources than the iterative Mitchell's multiplier (IMM) design of Babić et al. extended for SPFP numbers. The error falls within 0.5% when the number of iterations reaches 5. In JPEG, our SPFP multiplier with four iterations produces nearly identical image quality results to the conventional exact multiplier. We further show how to merge two SPFP multipliers for double-precision FP (DPFP) multiplication. This DPFP multiplier design reduces the hardware resources of the IMM design extended for DPFP numbers by 60%. Finally, we demonstrate how our SPFP multiplier design can be slightly modified for 32-bit posit multiplication. It achieves a significantly higher accuracy by increasing the number of iterations compared to state-of-the-art approximate posit multiplier designs.

Approximate Translation from Floating-Point to Real-Interval Arithmetic

Approximate Floating-Point FFT Design with Wide Precision-Range and High Energy Efficiency.

Optimally Approximated and Unbiased Floating-Point Multiplier with Runtime Configurability

On Approximate 8-bit Floating-Point Operations Using Integer Operations

Elfficient Exact Arithmetic Over Constructive Reals

Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations

Inexactness and Correction of Floating-Point Reciprocal, Division and Square Root

PAM: A Piecewise-Linearly-Approximated Floating-Point Multiplier with Unbiasedness and Configurability

Searching input values hitting suspicious Intervals in programs with floating-point operations

A Synthesis Method of General Floating-Point Arithmetic Units by Aligned Partition

FMplex: A Novel Method for Solving Linear Real Arithmetic Problems

A Probabilistic Approach to Floating-Point Arithmetic

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

FTApprox: A Fault-Tolerant Approximate Arithmetic Computing Data Format

Computer-Assisted Verification of Four Interval Arithmetic Operators

Floating-point to Fixed-point Transformation Using Extreme Value Theory

Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version

Extending Answer Set Programming with Rational Numbers

Group decision making based on linguistic interval-valued Atanassov intuitionistic fuzzy Yager weighted arithmetic aggregation operator of linguistic interval-valued Atanassov intuitionistic fuzzy numbers

Floating-Point Numbers with Error Estimates (revised)

Area-Efficient Iterative Logarithmic Approximate Multipliers for IEEE 754 and Posit Numbers