Senior Technical Staff Member
I am a Senior Technical Staff Member at the IBM Haifa Research Laboratory, where I have been working on various aspects of formal technologies since 1994. I am interested in formal specification and verification and their applications to hardware and software development, as well as applications of formal techniques to problems of low power design and verification. I was an active participant in the Formal Verification Technical Committee of the Accellera EDA standards organization, which selected IBM's Sugar specification language for IEEE standardization. Sugar forms the basis of the Accellera standard property specification language PSL, upon which the IEEE Std P1850-2005 (PSL) was based.
applications of formal techniques to problems of low power design and verification