共 50 条
- [2] An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic [J]. IEEE 22ND SYMPOSIUM ON COMPUTER ARITHMETIC ARITH 22, 2015, : 160 - 167
- [3] Hardware Implementation of Floating-point Operating Devices by Using IEEE-754 Binary Arithmetic Standard [J]. PROCEEDINGS OF THE 2019 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2019, : 1624 - 1630
- [4] Revisions to the IEEE 754 standard for floating-point arithmetic [J]. 16TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS, 2003, : 112 - 112
- [5] Design and implementation of a modular and portable IEEE 754 compliant floating-point unit [J]. 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 1556 - +
- [6] Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL [J]. COMPUTER JOURNAL, 2010, 53 (04): : 465 - 488
- [7] Area Efficient Floating-Point Adder and Multiplier with IEEE-754 Compatible Semantics [J]. PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (FPT), 2014, : 131 - 138
- [8] An Asynchronous IEEE Floating-Point Arithmetic Unit [J]. SCIENCE DILIMAN, 2007, 19 (02) : 12 - 22
- [10] A Generalized Floating-Point Representation and Manipulation of Quantum Signals Based on IEEE-754 [J]. International Journal of Theoretical Physics, 2020, 59 : 936 - 952