Concepedia

Merav Aharoni

MA

Statistics

Publications

5

Citations

162

H-Index

5

Active since

2004

Affiliations

IBM (United States)(Current)

IBM Research - Haifa

University of Haifa

Merav Aharoni is an author at IBM (United States) specializing in engineering, computer engineering, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationComputer EngineeringVerificationHardware SecurityProgram AnalysisComputer ArchitectureSoftware Testing

Publications per year

2004–2010

5

Publications

5

Decimal floating-point in z9: An implementation and testing perspective

Ali Y. Duale, Martina Decker, H.-G. Zipperer et al. · IBM Journal of Research and Development · 2007 · 68 citations

Dfp Results, Engineering, Hardware Verification Language +21

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

Merav Aharoni, Sigal Asaf, Laurent Sébastien Fournier et al. · 2004 · 47 citations

Engineering, Hardware Verification Language, Verification +22

Simulation-Based Verification of Floating-Point Division

Elena Guralnik, Merav Aharoni, Ariel J. Birnbaum et al. · IEEE Transactions on Computers · 2010 · 23 citations

Engineering, Hardware Verification Language, Verification +23

Solving range constraints for binary floating-point instructions

Avi Ziv, Merav Aharoni, Sigal Asaf · 2004 · 14 citations

Mathematical Programming, Engineering, Constrained Optimization +19

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

Merav Aharoni, Ron Maharik, Abraham Ziv · Proceedings/Proceedings - Symposium on Computer Arithmetic · 2007 · 10 citations

Mathematical Programming, Numerical Analysis, Engineering +18

1–5 of 5