Merav Aharoni

According to our database, Merav Aharoni authored at least 11 papers between 2002 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Using Graph-Based CSP to Solve the Address Translation Problem.

Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko, Michael Veksler

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Rectangle Placement for VLSI Testing.

Merav Aharoni, Odellia Boni, Ari Freund, Lidor Goren, Wesam Ibraheem, Tamir Segev

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

2011

Simulation-Based Verification of Floating-Point Division.

Elena Guralnik, Merav Aharoni, Ariel J. Birnbaum, Anatoly Koyfman

IEEE Trans. Computers, 2011

Floorplanning challenges in early chip planning.

Jeonghee Shin, John A. Darringer, Guojie Luo, Merav Aharoni, Alexey Lvov, Gi-Joon Nam, Michael B. Healy

Proceedings of the IEEE 24th International SoC Conference, SOCC 2011, Taipei, Taiwan, 2011

Injecting Floating-Point Testing Knowledge into Test Generators.

Merav Aharoni, Emanuel Gofman, Elena Guralnik, Anatoly Koyfman

Proceedings of the Hardware and Software: Verification and Testing, 2011

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

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

Merav Aharoni, Ron Maharik, Abraham Ziv

Proceedings of the 18th IEEE Symposium on Computer Arithmetic (ARITH-18 2007), 2007

2005

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

Proceedings of the 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 2005

2003

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

Merav Aharoni, Sigal Asaf, Laurent Fournier, Anatoly Koyfman, Raviv Nagel

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

Solving Range Constraints for Binary Floating-Point Instructions.

Avi Ziv, Merav Aharoni, Sigal Asaf

Proceedings of the 16th IEEE Symposium on Computer Arithmetic (Arith-16 2003), 2003

2002

An effective and flexible approach to functional verification of processor families.

David Malandain, Pim Palmen, Matthew Taylor, Merav Aharoni, Yaron Arbetman

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002