General Science

General Science Experts

Anatoly Koyfman

Computer Science
IBM Research


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

Research Interest

Computer Science

Global Experts from Israel

Global Experts in Subject