Implementation Specific Verification of Divide and Square Root Instructions.
Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman, Avi Kaplan
VenueCARITH
Year2009
ProceedingsIEEE Symposium on Computer Arithmetic
DBLP recordconf/arith/GuralnikBKK09 ↗
Browse the full ARITH paper archive.