Global

Engineering Experts

Cindy Eisner

Senior Technical Staff Member
Formal technologies
IBM Research
Israel

Biography

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.

Research Interest

applications of formal techniques to problems of low power design and verification

Global Experts from Israel

Global Experts in Subject

Share This Profile
Recent Expert Updates
  • Matthew L Stone
    Matthew L Stone
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.   Matthew
    Dr. Matthew
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.  L Stone Matthew
    Dr. L Stone Matthew
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.  L Stone
    Dr. L Stone
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr. Matthew L Stone
    Dr. Matthew L Stone
    pediatrics
    University of Virginia Health System; Charlottesville, VA
    United States of America
  • Dr.  R Sameh
    Dr. R Sameh
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Dr.   R Ismail,
    Dr. R Ismail,
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Sameh R Ismail,
    Sameh R Ismail,
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Dr.   Sameh R Ismail,
    Dr. Sameh R Ismail,
    pediatrics
    King Abdul Aziz University
    United Arab Emirates
  • Dr.   William
    Dr. William
    pediatrics
    Maimonides Medical Center
    United States of America