Edge Rewrite
everything Source code View original
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a2244ba88de84b2a

Jump to content

// Workers AI · dad joke modeWhat did Limor Fix say to the car? I'm a little "fixed" on you.

Add links
From Wikipedia, the free encyclopedia
Limor Fix
לימור פיקס
Alma materTechnion – Israel Institute of Technology, Cornell University
Known forFormal verification languages, ForSpec
AwardsMarie Pistilli Award (2011)
Scientific career
FieldsElectronic Design Automation
InstitutionsIntel

Limor Fix (Hebrew: לימור פיקס) 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. [1][2]

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. [2] 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.[2]

She is among the authors of the Electronic Design Automation for Integrated Circuits handbook.[2]

Awards and recognition

[edit]
  • 2011: Marie Pistilli Award[1] "... 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".[3]

References

[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Limor_Fix&oldid=1330741388"