共 18 条
[1]
AGBO IO, 2019, INT TEST CONF P
[2]
[Anonymous], 2018, INTEL ARRIA DEVICE O
[4]
Chevillard S, 2010, LECT NOTES COMPUT SC, V6327, P28, DOI 10.1007/978-3-642-15582-6_5
[5]
Certification of Bounds on Expressions Involving Rounded Operators
[J].
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE,
2010, 37 (01)
[6]
de Dinechin F., 2010, Proceedings of the 21st IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP 2010), P216, DOI 10.1109/ASAP.2010.5540952
[7]
de Schryver C., 2010, Proceedings 2010 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2010), P190, DOI 10.1109/ReConFig.2010.20
[8]
Echeverría P, 2007, MIDWEST SYMP CIRCUIT, P727
[9]
MPFR: A multiple-precision binary floating-point library with correct rounding
[J].
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE,
2007, 33 (02)
[10]
Hormann W., 2003, ACM Transactions on Modeling and Computer Simulation, V13, P347, DOI 10.1145/945511.945517