共 50 条
- [42] Experimental Results for Slow-speed Timing Characterization of High-speed Pipelined Datapaths Journal of Electronic Testing, 2011, 27 : 9 - 17
- [44] The application of redundant encoding in iterative implementation of division and square root 2001 4TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS, 2001, : 603 - 606
- [45] Radix-16 Combined Division and Square Root Unit 2011 20TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC (ARITH-20), 2011, : 169 - 176
- [46] A Formal Proof of Square Root and Division Elimination in Embedded Programs JOURNAL OF FORMALIZED REASONING, 2013, 6 (01): : 89 - 111
- [47] Formal Verification of Division and Square Root Implementations, an Oracle Report PROCEEDINGS OF THE 2016 16TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016), 2016, : 149 - 152
- [49] In-Stream Stochastic Division and Square Root via Correlation PROCEEDINGS OF THE 2019 56TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2019,