Merav Aharoni

Publication Activity (10 Years)

Years Active: 2002-2016
Publications (10 Years): 2

Top Topics

Graph Theoretic

Machine Translation

Constraint Satisfaction Problems

Top Venues

Publications

Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko, Michael Veksler
Using Graph-Based CSP to Solve the Address Translation Problem. CP (2016)
Merav Aharoni, Odellia Boni, Ari Freund, Lidor Goren, Wesam Ibraheem, Tamir Segev
Rectangle Placement for VLSI Testing. CPAIOR (2015)
Elena Guralnik, Merav Aharoni, Ariel J. Birnbaum, Anatoly Koyfman
Simulation-Based Verification of Floating-Point Division. IEEE Trans. Computers 60 (2) (2011)
Merav Aharoni, Emanuel Gofman, Elena Guralnik, Anatoly Koyfman
Injecting Floating-Point Testing Knowledge into Test Generators. Haifa Verification Conference (2011)
Jeonghee Shin, John A. Darringer, Guojie Luo, Merav Aharoni, Alexey Lvov, Gi-Joon Nam, Michael B. Healy
Floorplanning challenges in early chip planning. SoCC (2011)
Merav Aharoni, Ron Maharik, Abraham Ziv
Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations. IEEE Symposium on Computer Arithmetic (2007)
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 J. Res. Dev. 51 (1/2) (2007)
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)
Merav Aharoni, Sigal Asaf, Laurent Fournier, Anatoly Koyfman, Raviv Nagel
FPgen - a test generation framework for datapath floating-point verification. HLDVT (2003)
Avi Ziv, Merav Aharoni, Sigal Asaf
Solving Range Constraints for Binary Floating-Point Instructions. IEEE Symposium on Computer Arithmetic (2003)
David Malandain, Pim Palmen, Matthew Taylor, Merav Aharoni, Yaron Arbetman
An effective and flexible approach to functional verification of processor families. HLDVT (2002)