floating-point-arithmetic topic
universal
Large collection of number systems providing custom arithmetic and mixed-precision algorithms for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, control, optimization, estimation,...
jfs
Constraint solver based on coverage-guided fuzzing
AccurateArithmetic.jl
Calculate with error-free, faithful, and compensated transforms and extended significands.
FPChecker
A dynamic analysis tool to detect floating-point errors in HPC applications.
Floating-point-MAC-verilog
32 - bit floating point Multiplier Accumulator Unit (MAC)
Fast-Float4HLS
Fast Floating Point Operators for High Level Synthesis
cpfloat
Custom-Precision Floating-point numbers.