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 commercial class has always mistrusted verbal brilliancy and wit, deeming such qualities, perhaps with some justice, frivolous and unprofitable.”
—Dorothy Nevill (1826–1913)
Related Phrases
Related Words