Global Sources
EE Times-Asia
Stay in touch with EE Times Asia
EE Times-Asia > T&M

Interoperable tools ease equivalence checking

Posted: 18 Aug 2003 ?? ?Print Version ?Bookmark and Share

Keywords:equivalence checking? verification? false negative? logic cone? design transformation?

Without postponing the verification cycle and risk to design integrity, an automated setup allows users to solve new verification problems.

View the PDF document for more information.

Article Comments - Interoperable tools ease equivalence...
*? You can enter [0] more charecters.
*Verify code:


Visit Asia Webinars to learn about the latest in technology and get practical design tips.

Back to Top