Continue to Site

Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Register Log in

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

Status
Not open for further replies.
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
 

Status
Not open for further replies.

Similar threads

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top