underflow-detection

There are 3 repositories under underflow-detection topic.

LLNL/FPChecker
A dynamic analysis tool to detect floating-point errors in HPC applications.
Language:Python33 5 144
keithpl/checked-int
A small single-header library to detect integer overflow/underflow before it happens.
Language:C2 1 00
Anala-Keshava/Realization-of-Saturation-Logic-in-DSPA
Language:Verilog1 1 00