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.