Merav Aharoni

Most-cited papers

Decimal floating-point in z9: An implementation and testing perspective
A. Y. Duale, M. H. Decker, Hans-Georg Zipperer, Merav Aharoni +1 more
2007IBM Journal of Research and Development70 citations
Semantic Scholar
FPgen - a test generation framework for datapath floating-point verification
Merav Aharoni, Sigal Asaf, L. Fournier, Anatoly Koifman +1 more
2003Eighth IEEE International High-Level Design Validation and Test Workshop51 citations
Semantic Scholar
Simulation-Based Verification of Floating-Point Division
E. Guralnik, Merav Aharoni, Ariel J. Birnbaum, Anatoly Koyfman
2011IEEE transactions on computers22 citations
Semantic Scholar
Solving range constraints for binary floating-point instructions
A. Ziv, Merav Aharoni, Sigal Asaf
2003Proceedings 2003 16th IEEE Symposium on Computer Arithmetic14 citations
Semantic Scholar
Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations
Merav Aharoni, Ron Maharik, A. Ziv
2007IEEE Symposium on Computer Arithmetic10 citations Open access
Semantic Scholar
An effective and flexible approach to functional verification of processor families
David Malandain, P. Palmen, M.B. Taylor, Merav Aharoni +1 more
2002Seventh IEEE International High-Level Design Validation and Test Workshop, 2002.10 citations
Semantic Scholar
Floorplanning challenges in early chip planning
Jeonghee Shin, J. Darringer, Guojie Luo, Merav Aharoni +3 more
20112011 IEEE International SOC Conference8 citations
Semantic Scholar
Solving constraints on the invisible bits of the intermediate result for floating-point verification
Merav Aharoni, Sigal Asaf, Ron Maharik, Ilan Nehama +2 more
2005IEEE Symposium on Computer Arithmetic8 citations
Semantic Scholar
Rectangle Placement for VLSI Testing
Merav Aharoni, O. Boni, Ari Freund, L. Goren +2 more
2015Integration of AI and OR Techniques in Constraint Programming3 citations
Semantic Scholar
Using Graph-Based CSP to Solve the Address Translation Problem
Merav Aharoni, Y. Ben-Haim, Shai Doron, Anatoly Koyfman +2 more
2016International Conference on Principles and Practice of Constraint Programming2 citations
Semantic Scholar
Injecting Floating-Point Testing Knowledge into Test Generators
M. Aharoni, E. Gofman, E. Guralnik, Anatoly Koyfman
2011Haifa Verification Conference1 citations
Semantic Scholar
Implementing Social Choice Correspondences using k-Strong Nash Equilibrium zizxag dxiga zen ` zd yenin wfg
Ilan Nehama, Michal Feldman, E. Lehrer, Y. Mansour +6 more
20090 citations
Semantic Scholar