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.
[2] Limor led the development of a new formal specification language, ForSpec, later donated by Intel to Accellera/IEEE.
[2] She is among the authors of the Electronic Design Automation for Integrated Circuits handbook.
[2] This article about an Israeli engineer, inventor or industrial designer is a stub.