Global Sources
EE Times-Asia
Stay in touch with EE Times Asia
?
EE Times-Asia > EDA/IP
?
?
EDA/IP??

Using formality in LSI Logic's FlexStream design flow

Posted: 24 May 2001 ?? ?Print Version ?Bookmark and Share

Keywords:lsi logic? formality? flexstream? formal verification? verification?

This application describes procedures and recommendations for using the Formality formal equivalence checking tool for Gate to Gate equivalence checking.

View the PDF document for more information.



Article Comments - Using formality in LSI Logic's FlexS...
Comments:??
*? You can enter [0] more charecters.
*Verify code:
?
?
Webinars

Seminars

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

?
?
Back to Top