Limor Fix is an Israeli

electronic design automation Electronic design automation (EDA), also referred to as electronic computer-aided design (ECAD), is a category of software tools for designing Electronics, electronic systems such as integrated circuits and printed circuit boards. The tools wo ...

engineer and executive, senior principal engineer and director of academic programs and research at

Intel Intel Corporation is an American multinational corporation and technology company headquartered in Santa Clara, California. It is the world's largest semiconductor chip manufacturer by revenue, and is one of the developers of the x86 seri ...

. Her research interests include

formal verification In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal metho ...

languages. "Limor Fix"
a profile at a Computing Community Consortium website She has Ph.D in

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

from Technion. After that she did post-doc research at the

Cornell University Cornell University is a private statutory land-grant research university based in Ithaca, New York. It is a member of the Ivy League. Founded in 1865 by Ezra Cornell and Andrew Dickson White, Cornell was founded with the intention to teach an ...

. In 1994 she joined Intel in Israel. Limor led the development of a new formal specification language, ForSpec, later donated by Intel to

Accellera Accellera Systems Initiative (Accellera) is a standards organization that supports a mix of user and vendor standards and open interfaces development in the area of electronic design automation (EDA) and integrated circuit (IC) design and manufactu ...

IEEE The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operation ...

. 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 The Marie R. Pistilli Women in Engineering Achievement Award is issued annually since 2000 by the Design Automation Conference (DAC) to honor the outstanding achievements of women in Electronic Design Automation. It is named after the co-founder of ...

"Dr. Limor Fix to Receive Marie R. Pistilli Award for Contributions to the Advancement of Women in EDA at 48th DAC"
/ref> "... 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"."2011 MRP Award: Dr. Limor Fix
''Electronic Design News'', April 22, 2011

References

Year of birth missing (living people) Living people Electronic design automation people Israeli computer scientists Israeli electrical engineers Israeli women engineers Technion – Israel Institute of Technology alumni Intel people Electronic engineering award winners {{Israel-engineer-stub