Elena Guralnik Ariel J. Birnbaum Anatoly Koyfman Avi Kaplan Implementation Specific Verification of Divide and Square Root Instructions. 114-121 2009 IEEE Symposium on Computer Arithmetic http://doi.ieeecomputersociety.org/10.1109/ARITH.2009.24 conf/arith/2009 db/conf/arith/arith2009.html#GuralnikBKK09