Commercial Applications For Equivalence Checking
Major products in the Logic Equivalence Checking (LEC) area of EDA are:
- FormalPro by Mentor Graphics
- Conformal by Cadence
- Formality by Synopsys
- SLEC by Calypto
- Quartz Formal by Magma Design Automation
Read more about this topic: Formal Equivalence Checking
Famous quotes containing the word commercial:
“There is every reason to rejoice with those self-styled prophets of commercial disaster, those harbingers of gloom,
Over the imminent lateness of the denouement that, advancing slowly, never arrives,
At the same time keeping the door open to a tongue-in-cheek attitude on the part of the perpetrators....”
—John Ashbery (b. 1927)