| 2007 |
|---|
| 4 | EE | Merav Aharoni,
Ron Maharik,
Abraham Ziv:
Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations.
IEEE Symposium on Computer Arithmetic 2007: 38-45 |
| 3 | EE | Ali Y. Duale,
Mark H. Decker,
Hans-Georg Zipperer,
Merav Aharoni,
Theodore J. Bohizic:
Decimal floating-point in z9: An implementation and testing perspective.
IBM Journal of Research and Development 51(1/2): 217-228 (2007) |
| 2005 |
|---|
| 2 | EE | Merav Aharoni,
Sigal Asaf,
Ron Maharik,
Ilan Nehama,
Ilya Nikulshin,
Abraham Ziv:
Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification.
IEEE Symposium on Computer Arithmetic 2005: 76-83 |
| 2003 |
|---|
| 1 | EE | Avi Ziv,
Merav Aharoni,
Sigal Asaf:
Solving Range Constraints for Binary Floating-Point Instructions.
IEEE Symposium on Computer Arithmetic 2003: 158-164 |
