Merav Aharoni

11 papers A 1B 1C 3Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2016 A conf
Using Graph-Based CSP to Solve the Address Translation Problem.
CP
Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko, Michael Veksler
2015 B conf
Rectangle Placement for VLSI Testing.
CPAIOR
Merav Aharoni, Odellia Boni, Ari Freund, Lidor Goren, Wesam Ibraheem, Tamir Segev
2011 — conf
Floorplanning challenges in early chip planning.
SoCC
Jeonghee Shin, John A. Darringer, Guojie Luo, Merav Aharoni, Alexey Lvov, Gi-Joon Nam, Michael B. Healy
2011 — conf
Injecting Floating-Point Testing Knowledge into Test Generators.
Haifa Verification Conference
Merav Aharoni, Emanuel Gofman, Elena Guralnik, Anatoly Koyfman
2011 J jnl
Simulation-Based Verification of Floating-Point Division.
IEEE Trans. Computers
Elena Guralnik, Merav Aharoni, Ariel J. Birnbaum, Anatoly Koyfman
2007 J jnl
Decimal floating-point in z9: An implementation and testing perspective.
IBM J. Res. Dev.
Ali Y. Duale, Mark H. Decker, Hans-Georg Zipperer, Merav Aharoni, Theodore J. Bohizic
2007 C conf
Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations.
IEEE Symposium on Computer Arithmetic
Merav Aharoni, Ron Maharik, Abraham Ziv
2005 C conf
Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification.
IEEE Symposium on Computer Arithmetic
Merav Aharoni, Sigal Asaf, Ron Maharik, Ilan Nehama, Ilya Nikulshin, Abraham Ziv
2003 — conf
FPgen - a test generation framework for datapath floating-point verification.
HLDVT
Merav Aharoni, Sigal Asaf, Laurent Fournier, Anatoly Koyfman, Raviv Nagel
2003 C conf
Solving Range Constraints for Binary Floating-Point Instructions.
IEEE Symposium on Computer Arithmetic
Avi Ziv, Merav Aharoni, Sigal Asaf
2002 — conf
An effective and flexible approach to functional verification of processor families.
HLDVT
David Malandain, Pim Palmen, Matthew Taylor, Merav Aharoni, Yaron Arbetman