Simulation-based verification of floating-point division
- Elena Guralnik
- Merav Aharoni
- et al.
- 2011
- IEEE TC
Publications
Date
Featured collections
Popular topics
8 results for Merav Aharoni
Floorplanning challenges in early chip planning
- Jeonghee Shin
- John A. Darringer
- et al.
- 2011
- SOCC 2011
Solving constraints on the intermediate result of decimal floating-point operations
- Merav Aharoni
- Ron Maharik
- et al.
- 2007
- ARITH 2007
Solving constraints on the invisible bits of the intermediate result for floating-point verification
- Merav Aharoni
- Sigal Asaf
- et al.
- 2005
- ARITH 2005
FPgen - A test generation framework for datapath floating-point verification
- M. Aharoni
- S. Asaf
- et al.
- 2003
- HLDVT 2003
Solving range constraints for binary floating-point instructions
- Abraham Ziv
- Merav Aharoni
- et al.
- 2003
- ARITH 2003
An effective and flexible approach to functional verification of processor families
- D. Malandain
- P. Palmen
- et al.
- 2002
- HLDVT 2002
Decimal floating-point in z9: An implementation and testing perspective
- Ali Y. Duale
- Mark H. Decker
- et al.
- 2007
- IBM J. Res. Dev