共 50 条
- [12] Interfacing synchronous and asynchronous modules within a high-speed pipeline SEVENTEENTH CONFERENCE ON ADVANCED RESEARCH IN VLSI, PROCEEDINGS, 1997, : 47 - 61
- [15] Square Root and Division Elimination in PVS INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 457 - 462
- [16] On infinitely precise rounding for division, square root, reciprocal and square root reciprocal 14TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS, 1999, : 233 - 240
- [17] On infinitely precise rounding for division, square root, reciprocal and square root reciprocal Proceedings - Symposium on Computer Arithmetic, 1999, : 233 - 240
- [18] A high-speed square root algorithm in extension fields INFORMATION SECURITY AND CRYPTOLOGY - ICISC 2006, PROCEEDINGS, 2006, 4296 : 94 - +