Xst-Formality scripts for RTL vs.Post-Synthesis equivalence

Status
Not open for further replies.

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
 

Status
Not open for further replies.
Cookies are required to use this site. You must accept them to continue using the site. Learn more…