Apr 29, 2010 #1 S savour Newbie level 6 Joined Sep 7, 2008 Messages 12 Helped 0 Reputation 0 Reaction score 0 Trophy points 1,281 Activity points 1,359 I am looking for Info/Scripts to assist me in using the formality for RTL vs. Post-Synthesis equivalence checking. I found some info at **broken link removed** but it is incomplete. A working example would be very helpful. Many thanks
I am looking for Info/Scripts to assist me in using the formality for RTL vs. Post-Synthesis equivalence checking. I found some info at **broken link removed** but it is incomplete. A working example would be very helpful. Many thanks