underflow-detection

There are 0 repository under underflow-detection topic.

LLNL / FPChecker
A dynamic analysis tool to detect floating-point errors in HPC applications.
floating-point-arithmetic floating-point llvm clang cuda exceptions cancellation underflow-detection overflow overflow-detection infinity
Language:Python 28
keithpl / checked-int
A small single-header library to detect integer overflow/underflow before it happens.
c integer overflow overflow-detection underflow underflow-detection
Language:C 2
Anala-Keshava / Realization-of-Saturation-Logic-in-DSPA
dspa verilog saturationlogic mac signed overflow-detection underflow-detection
Language:Verilog 1