Synopsys Formality White Papers

Guidance Simplifies Equivalence Checking

It can be very challenging to functionally verify a design that has undergone significant transformations during implementation. This paper discusses the use of setup guidance to simplify the equivalence-checking (EC) process.

Synopsys is pleased to make available to its customers and prospective customers a paper that discusses new technology focused on solving this challenge, free of charge.

Please enter your business email address then click 'continue >>'.

Business Email: