Publications

2 results for Ariel J. Birnbaum

Simulation-based verification of floating-point division
- - Elena Guralnik
  - Merav Aharoni
  - et al.
- 2011
- IEEE TC
Implementation specific verification of divide and square root instructions
- - Elena Guralnik
  - Ariel J. Birnbaum
  - et al.
- 2009
- ARITH 2009