Anatoly Koyfman  Anatoly Koyfman photo       

contact information

Haifa Research Lab, Haifa, Israel
  +972dash4dash829dash6382

links



2014

Verification of transactional memory in power8

... (DAC), 2014 51st ..., 2014 - ieeexplore.ieee.org


2013



2012

Leveraging Accelerated Simulation for Floating-Point Regression
J. Paul, E. Guralnik, A. Koyfman, A. Nahir, S.K. Panda
Haifa Verification Conference, pp. 118-131, Springer, 2012



2011

Simulation-based verification of floating-point division

... , IEEE Transactions on, 2011 - ieeexplore.ieee.org

Injecting Floating-Point Testing Knowledge into Test Generators
Merav Aharoni, Emanuel Gofman, Elena Guralnik and Anatoly Koyfman
Haifa Verification Conference (HVC), 2011


2006



2003



1999

Developing an architecture validation suite: application to the PowerPC architecture

... of the 36th annual ACM/IEEE ..., 1999 - dl.acm.org


Year Unknown

Implementation Specific Verification of Divide and Square Root Instructions

... , 2009. ARITH 2009. ..., 2009 - ieeexplore.ieee.org

Genesys-X86: An Automatic Test-Program Generator for X86 Microprocessors

... Journal on Software ... - researcher.ibm.com, 0




Projects and Groups