The Krawczyk Algorithm: Rigorous Bounds for Linear Equation Solution on an FPGA. - Christophe Le Lann; David Boland; George A. Constantinides (ARC, 2011)