Cited By
View all- Rager DEbergen JNadezhin DLee AChau CSelfridge BPiskac RTalupur M(2016)Formal verification of division and square root implementations, an Oracle reportProceedings of the 16th Conference on Formal Methods in Computer-Aided Design10.5555/3077629.3077656(149-152)Online publication date: 3-Oct-2016
- Hosseiny AJaberipur G(2016)Decimal GoldschmidtComputers and Electrical Engineering10.1016/j.compeleceng.2016.06.00553:C(40-55)Online publication date: 1-Jul-2016
- Hosseiny AJaberipur G(2016)Decimal Square RootCircuits, Systems, and Signal Processing10.1007/s00034-015-0215-135:12(4195-4219)Online publication date: 1-Dec-2016
- Show More Cited By