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