Abstract:Reconfigurable devices, such as Field Programmable Gate Arrays (FPGAs), enable application- specific number representations. Well-known number formats include fixed-point, floating- point, logarithmic number system (LNS), and residue number system (RNS). Such different number representations lead to different arithmetic designs and error behaviours, thus produc- ing implementations with different performance, accuracy, and cost. To investigate the design options in number representations, the first part of this thesis presents a platform that enables automated exploration of the number representation design space. The second part of the thesis shows case studies that optimise the designs for area, latency or throughput from the perspective of number representations. Automated design space exploration in the first part addresses the following two major issues: ² Automation requires arithmetic unit generation. This thesis provides optimised arithmetic library generators for logarithmic and residue arithmetic units, which support a wide range of bit widths and achieve significant improvement over previous designs. ² Generation of arithmetic units requires specifying the bit widths for each variable. This thesis describes an automatic bit-width optimisation tool called R-Tool, which combines dynamic and static analysis methods, and supports different number systems (fixed-point, floating-point, and LNS numbers). Putting it all together, the second part explores the effects of application-specific number representation on practical benchmarks, such as radiative Monte Carlo simulation, and seismic imaging computations. Experimental results show …

Navigating Number Systems for Computational Precision: An Analytical Exploration

On the precision attainable with various floating-point number systems

More Comprehensive Computational Number Theory

Rational Arithmetic with a Round-Off

Missing digits, and good approximations

On representations of real numbers and the computational complexity of converting between such representations

Number systems and the Chinese Remainder Theorem

The Extended Infinite Geometric Series Theorem for 10-adic Number Conversion

An Alternate Method to Compute the Decimal Expansion of Rational Numbers

Numerical point of view on Calculus for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains

On the representation functions of certain numeration systems

Application-specific number representation

Sums Associated with Orbits in the Binary Dynamical System

Fractal Oracle Numbers

Two New Kinds of Numbers and Their Arithmetic Properties

Noncommutative Number Systems for Quantum Information

Automatic Numerical Analysis Based on Infinite-Precision Arithmetic

Floating point numbers are real numbers

An Approximation of the Prime Counting Function and a New Representation of the Riemann Zeta Function

A finiteness condition for complex continued fraction algorithms

Mixed radix numeration bases: Hörner's rule, Yang-Baxter equation and Furstenberg's conjecture