Limor Fix
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 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.
Link from a Wikipage to another Wikipage
primaryTopic
Limor Fix
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 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.
has abstract
Limor Fix is an Israeli electr ...... Integrated Circuits handbook.
@en
Wikipage page ID
63,210,517
page length (characters) of wiki page
Wikipage revision ID
1,006,556,784
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
type
comment
Limor Fix is an Israeli electr ...... ecification Language standard.
@en
label
Limor Fix
@en