An effective and flexible approach to functional verification of processor families. - David Malandain; Pim Palmen; Matthew Taylor; Merav Aharoni; Yaron Arbetman (HLDVT, 2002)

Solving Range Constraints for Binary Floating-Point Instructions. - Avi Ziv; Merav Aharoni; Sigal Asaf (IEEE Symposium on Computer Arithmetic, 2003)

FPgen - a test generation framework for datapath floating-point verification. - Merav Aharoni; Sigal Asaf; Laurent Fournier; Anatoly Koyfman; Raviv Nagel (HLDVT, 2003)

Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification. - Merav Aharoni; Sigal Asaf; Ron Maharik; Ilan Nehama; Ilya Nikulshin; Abraham Ziv (IEEE Symposium on Computer Arithmetic, 2005)

Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations. - Merav Aharoni; Ron Maharik; Abraham Ziv (IEEE Symposium on Computer Arithmetic, 2007)

Decimal floating-point in z9: An implementation and testing perspective. - Ali Y. Duale; Mark H. Decker; Hans-Georg Zipperer; Merav Aharoni; Theodore J. Bohizic (IBM J. Res. Dev., 2007)

Injecting Floating-Point Testing Knowledge into Test Generators. - Merav Aharoni; Emanuel Gofman; Elena Guralnik; Anatoly Koyfman (Haifa Verification Conference, 2011)

Floorplanning challenges in early chip planning. - Jeonghee Shin; John A. Darringer; Guojie Luo; Merav Aharoni; Alexey Lvov; Gi-Joon Nam; Michael B. Healy (SoCC, 2011)

Simulation-Based Verification of Floating-Point Division. - Elena Guralnik; Merav Aharoni; Ariel J. Birnbaum; Anatoly Koyfman (IEEE Trans. Computers, 2011)

Rectangle Placement for VLSI Testing. - Merav Aharoni; Odellia Boni; Ari Freund 001; Lidor Goren; Wesam Ibraheem; Tamir Segev (CPAIOR, 2015)

Using Graph-Based CSP to Solve the Address Translation Problem. - Merav Aharoni; Yael Ben-Haim; Shai Doron; Anatoly Koyfman; Elena Tsanko; Michael Veksler (CP, 2016)