• Aucun résultat trouvé

[PDF] Top 20 Multipliers for Floating-Point Double Precision and Beyond on FPGAs

Has 10000 "Multipliers for Floating-Point Double Precision and Beyond on FPGAs" found on our website. Below are the top 20 most common "Multipliers for Floating-Point Double Precision and Beyond on FPGAs".

Multipliers for Floating-Point Double Precision and Beyond on FPGAs

Multipliers for Floating-Point Double Precision and Beyond on FPGAs

... Truncated multipliers [17] discard some of the lower bits of the mantissa to save hardware ...resources. For a floating-point multiplier, the impact of this truncation can be kept small enough ... Voir le document complet

7

Single Precision Natural Logarithm Architecture for Hard Floating-Point and DSP-Enabled FPGAs

Single Precision Natural Logarithm Architecture for Hard Floating-Point and DSP-Enabled FPGAs

... architecture for the single-precision natural logarithm targeted at FPGA architec- tures with hardware support for floating-point addition and multiplication, such as the Arria10 ... Voir le document complet

8

Arithmetic algorithms for extended precision using floating-point expansions

Arithmetic algorithms for extended precision using floating-point expansions

... templates for both the number of terms in the expansion and the native type for the ...input-output precision combinations (e.g. add a double-double with a quad-double ... Voir le document complet

18

A new multiplication algorithm for extended precision using floating-point expansions

A new multiplication algorithm for extended precision using floating-point expansions

... done for standard FP formats. When using double-precision (p = 53) we defined bins of size b = 45, that allows for c = 7 bits of carry to happen; this means that we can add 128 numbers that ... Voir le document complet

9

On formal methods for certifying floating-point C programs

On formal methods for certifying floating-point C programs

... with floating-point computations. As we rely more and more on softwares, the consequences of a bug are more and more dramatic, causing great finan- cial and even human ...a ... Voir le document complet

35

Accurate Complex Multiplication in Floating-Point Arithmetic

Accurate Complex Multiplication in Floating-Point Arithmetic

... Keywords. Floating-point arithmetic, Complex multiplica- tion, Rounding error ...NTRODUCTION AND NOTATION This paper deals with accurate (from a normwise point of view) complex multiplication ... Voir le document complet

8

Generating high-performance custom floating-point pipelines

Generating high-performance custom floating-point pipelines

... operators for FPGAs FPGA-based coprocessors are available from a variety of vendors and may be used for accelerating intensive compu- tations, including floating-point (FP) ... Voir le document complet

7

Parallel floating-point expansions for extended-precision GPU computations

Parallel floating-point expansions for extended-precision GPU computations

... memory for each term of the expansion. For comparison, we report to Bailey’s GQD library [8] and CAMPARY [11], which offer extended precision using FP expansions on ...to ... Voir le document complet

9

Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming

Implementation and performance evaluation of an extended precision floating-point arithmetic library for high-accuracy semidefinite programming

... improved and proved to be correct in ...applications and applications deployed on NVIDIA GPU platforms (compute capability ...language) and a GPU version (written in CUDA C programming lan- guage ... Voir le document complet

9

Floating-point exponential functions for DSP-enabled FPGAs

Floating-point exponential functions for DSP-enabled FPGAs

... a floating-point exponential operator generator targeting recent FPGAs with embedded memories and DSP ...memory, and 392 slices on Virtex-4. For larger precisions, a generic ... Voir le document complet

9

Computing floating-point logarithms with fixed-point operations

Computing floating-point logarithms with fixed-point operations

... input and output floating-point ...1985 and 2005, because mainstream processor hardware supported 64-bit floating-point, but only 32-bit ...between floating- point ... Voir le document complet

10

MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding

MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding

... single and double precision, with respectively 24 and 53 bits of ...exist for multiple-precision floating-point arithmetic, for example, MP [2], MPF [11], ... Voir le document complet

19

Verified Compilation of Floating-Point Computations

Verified Compilation of Floating-Point Computations

... 6.2, and to prove them correct. For the semantic preservation theorem to remain valid, however, only alge- braic identities that hold for all representable FP numbers (including the payload of NaN ) ... Voir le document complet

32

C-language floating-point proofs layered with VST and Flocq

C-language floating-point proofs layered with VST and Flocq

... VST, and avaiable at ...tant, for proving correctness of C programs—for example, that C programs refine functional ...754 floating-point ...library for reasoning about ... Voir le document complet

17

Contain the floating point naming explosion

Contain the floating point naming explosion

... available for implementations. Question 18. Shall we rename the new floating types for C2x as indicated in N2426? If WG14 instead prefers to push the whole issue of type names for the decimal ... Voir le document complet

87

Symbolic execution of floating-point computations

Symbolic execution of floating-point computations

... (single and double), without any overestimation. Examples 2 and 3 show that even when expressions are not targeted to exemplify oating-point computation problems ( ...reals and the ... Voir le document complet

42

Toward Scalable Source Level Accuracy Analysis for Floating-point to Fixed-point Conversion

Toward Scalable Source Level Accuracy Analysis for Floating-point to Fixed-point Conversion

... {first.last}@irisa.fr Abstract—In embedded systems, many numerical algorithms are implemented with fixed-point arithmetic to meet area cost and power constraints. Fixed-point encoding decisions can ... Voir le document complet

9

Sub-domain Selection Strategies For Floating Point Constraint Systems

Sub-domain Selection Strategies For Floating Point Constraint Systems

... N floating-point numbers instead of a single value, gives opportunities to the filtering process to operate some pruning through ...change. For instance, if N = |α|, with α = [x, x+x 2 ], this ... Voir le document complet

10

Real Behavior of Floating Point Numbers

Real Behavior of Floating Point Numbers

... value for all the arguments and the result of a constraint, no other propagation is done on it; it is ...integers and reals have no meaning for {NaN, +∞, ...interpretation for these ... Voir le document complet

13

Recursive double-size fixed precision arithmetic

Recursive double-size fixed precision arithmetic

... fixed precision arithmetic package called RecInt. It uses a recursive double-size ...bitrary precision packages like GMP, that create vectors of words on the heap, RecInt large integers are created ... Voir le document complet

9

Show all 10000 documents...