Merav Aharoni - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2016

Using Graph-Based CSP to Solve the Address Translation ProblemMerav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko, Michael Veksler. cp 2016: 843-858 [doi]

2015

Rectangle Placement for VLSI TestingMerav Aharoni, Odellia Boni, Ari Freund, Lidor Goren, Wesam Ibraheem, Tamir Segev. cpaior 2015: 18-30 [doi]

2011

2007

Solving Constraints on the Intermediate Result of Decimal Floating-Point OperationsMerav Aharoni, Ron Maharik, Abraham Ziv. arith 2007: 38-45 [doi]

Decimal floating-point in z9: An implementation and testing perspectiveAli Y. Duale, Mark H. Decker, Hans-Georg Zipperer, Merav Aharoni, Theodore J. Bohizic. ibmrd, 51(1/2):217-228, 2007. [doi]

2005

Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point VerificationMerav Aharoni, Sigal Asaf, Ron Maharik, Ilan Nehama, Ilya Nikulshin, Abraham Ziv. arith 2005: 76-83 [doi]

2003

FPgen - a test generation framework for datapath floating-point verificationMerav Aharoni, Sigal Asaf, Laurent Fournier, Anatoly Koyfman, Raviv Nagel. hldvt 2003: 17-22 [doi]

Solving Range Constraints for Binary Floating-Point InstructionsAvi Ziv, Merav Aharoni, Sigal Asaf. arith 2003: 158-164 [doi]

2002

An effective and flexible approach to functional verification of processor familiesDavid Malandain, Pim Palmen, Matthew Taylor, Merav Aharoni, Yaron Arbetman. hldvt 2002: 93-98 [doi]

Sign in or sign up to see more results.

runs on WebDSL