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

Using formality for RTL-to-gate 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 note describes procedures and recommendations for using the Formality formal equivalence checking tool for RTL-to-gate equivalence checking.

View the PDF document for more information.

Article Comments - Using formality for RTL-to-gate in L...
*? 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