Anatoly Koyfman  Anatoly Koyfman photo         

contact information

Haifa Research Lab, Haifa, Israel



I completed my B. Sc amd M. Sc. degrees in Computer Science at the Technion Institute of Technology in Haifa, Israel. I work for Simulation Based Verification Technologies department in IBM Research Labs in Haifa since 1996, developing software that aids hardware functional verification. I specialize in tools that are directed towards address translation and floating point functionality. My main areas of interest are processor and system level verification, hardware architectures, address translation, and floating point verification