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
