General Science
Global

General Science Experts

Anatoly Koyfman


Computer Science
IBM Research
Israel

Biography

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