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:
“The cultivation of one set of faculties tends to the disuse of others. The loss of one faculty sharpens others; the blind are sensitive in touch. Has not the extreme cultivation of the commercial faculty permitted others as essential to national life, to be blighted by disease?”
—J. Ellen Foster (1840–1910)