Merav Aharoni

Decimal floating-point in z9: An implementation and testing perspective

Ali Y. Duale, Mark H. Decker, Hans-Georg Zipperer, 2007, IBM J. Res. Dev..

Solving range constraints for binary floating-point instructions

Avi Ziv, Sigal Asaf, Merav Aharoni, 2003, Proceedings 2003 16th IEEE Symposium on Computer Arithmetic.

Floorplanning challenges in early chip planning

Gi-Joon Nam, Guojie Luo, John A. Darringer, 2011, 2011 IEEE International SOC Conference.

An effective and flexible approach to functional verification of processor families

Matthew Taylor, Merav Aharoni, David Malandain, 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..

FPgen - a test generation framework for datapath floating-point verification

Sigal Asaf, Laurent Fournier, Merav Aharoni, 2003, Eighth IEEE International High-Level Design Validation and Test Workshop.

Rectangle Placement for VLSI Testing

Merav Aharoni, Odellia Boni, Ari Freund, 2015, CPAIOR.

Solving constraints on the invisible bits of the intermediate result for floating-point verification

Sigal Asaf, Merav Aharoni, Ilan Nehama, 2005, 17th IEEE Symposium on Computer Arithmetic (ARITH'05).

Simulation-Based Verification of Floating-Point Division

Merav Aharoni, Anatoly Koyfman, Elena Guralnik, 2011, IEEE Transactions on Computers.

Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations

Merav Aharoni, Abraham Ziv, Ron Maharik, 2007, 18th IEEE Symposium on Computer Arithmetic (ARITH '07).

Injecting Floating-Point Testing Knowledge into Test Generators

Emanuel Gofman, Merav Aharoni, Anatoly Koyfman, 2011, Haifa Verification Conference.

Using Graph-Based CSP to Solve the Address Translation Problem

Elena Tsanko, Yael Ben-Haim, Merav Aharoni, 2016, CP.