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:
“It is only by not paying one’s bills that one can hope to live in the memory of the commercial classes.”
—Oscar Wilde (1854–1900)