Limor Fix

{{short description|Israeli electronic design automation engineer}}

{{Infobox scientist

| name = Limor Fix

| native_name = לימור פיקס

| native_name_lang = he

| fields = Electronic Design Automation

| workplaces = Intel

| alma_mater = Technion – Israel Institute of Technology, Cornell University

| known_for = Formal verification languages, ForSpec

| awards = Marie Pistilli Award (2011)

}}

Limor Fix ({{Langx|he|לימור פיקס}}) 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. [https://cra.org/ccc/limor-fix/ "Limor Fix"], a profile at a Computing Community Consortium website

She has Ph.D in computer science from Technion. After that 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.