A computing unit for FFP function evaluation in support of correctness proofs.

Monica Alderighi, Giacomo R. Sechi, Roberto Vaccaro, Lorenzo Verdoscia

Browse the full MICRO paper archive.