Ariel J. Birnbaum

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Elena Guralnik, Merav Aharoni, Ariel J. Birnbaum, Anatoly Koyfman
Simulation-Based Verification of Floating-Point Division. IEEE Trans. Computers 60 (2) (2011)
Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman, Avi Kaplan
Implementation Specific Verification of Divide and Square Root Instructions. IEEE Symposium on Computer Arithmetic (2009)