-
ICAT: engine to perform range analysis and allocate bit-widths for arithmetic datapaths
Y Pang, Y Yan, J Lin,
G Li, H Huang, L Shi... - Journal of Circuits ..., 2015 - World Scientific
... The hybrid method, ICAT, combines four techniques, including Interval arithmetic, consistency
checking, affine arithmetic and arithmetic transform and is the only method that is aware ...
On Rigorous Numerical Computation as a Scala Library
E Darulová,
V Kuncak - 2010 - infoscience.epfl.ch
... Indeed, if we use affine arithmetic on the same ... or affine arithmetic computation implies
the correctness of our overall approach: for each operation in interval or affine arithmetic the ...