peoplepill id: limor-fix
Israeli electronic design automation engineer
Limor Fix
The basics
Quick Facts
Intro
Israeli electronic design automation engineer
From
Work field
Gender
Female
Education
Technion – Israel Institute of Technology,
The details (from wikipedia)
Biography
Limor Fix is an Israeli electronic design automation engineer and executive,senior principal engineer and director of academic programs and research at Intel. Her research interests include formal verification languages.
She has Ph.D in computer science from Technion. After than she did post-doc research at the Cornell University. In 1994 she joined Intel in Israel.Limor led the development of a new formal specification language, ForSpec, later donated by Intel to Accellera/IEEE.ForSpec influenced the IEEE 1850-Property Specification Language standard.
She is among the authors of the Electronic Design Automation for Integrated Circuits handbook.
Awards and recognition
- 2011: Marie Pistilli Award"... recognizes Dr. Fix's lengthy set of contributions to EDA, including the development of the ForSpec formal specification language, donated by Intel to Accellera and an important factor in the IEEE-1850 standard, and her work in the areas of SAT solvers and model checking for both hardware and distributed software systems".
The contents of this page are sourced from Wikipedia
article on 22 Apr 2020.
The contents are available under the CC BY-SA 4.0 license.
Lists
Limor Fix is in following lists
By field of work
By work and/or country
By category
Electronic design automation people
Electronic design automation people
Electronic engineering award winners
Electronic engineering award winners
Intel people
Intel people
Israeli computer scientists
Israeli computer scientists
Israeli electrical engineers
Israeli electrical engineers
Israeli women engineers
Israeli women engineers
Technion – Israel Institute of Technology alumni
Technion – Israel Institute of Technology alumni
comments so far.
Comments
Reference sources
References
Limor Fix