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:
“I do seriously believe that if we can measure among the States the benefits resulting from the preservation of the Union, the rebellious States have the larger share. It destroyed an institution that was their destruction. It opened the way for a commercial life that, if they will only embrace it and face the light, means to them a development that shall rival the best attainments of the greatest of our States.”
—Benjamin Harrison (1833–1901)
Related Phrases
Related Words