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

Discussion in 'Hardware' started by savour, Apr 29, 2010.

  1. savour

    savour

    Joined:
    Apr 3, 2010
    Messages:
    1
    I am looking for Info/Scripts to assist me in using the formality for RTL vs. Post-Synthesis equivalence checking.

    A working example would be very helpful.

    Many thanks
     
    savour, Apr 29, 2010
    #1
    1. Advertising

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.
Similar Threads
  1. manish

    Realtek RTL 8180 Can't Connect to Netgear WGR 614

    manish, Jul 17, 2005, in forum: Wireless Networking
    Replies:
    1
    Views:
    3,415
    sam1967
    Jul 17, 2005
  2. Atlas

    35mm to MP equivalence

    Atlas, Oct 14, 2003, in forum: Digital Photography
    Replies:
    26
    Views:
    1,462
    Tony Whitaker
    Oct 17, 2003
  3. etoktas

    Synplicity synthesis error

    etoktas, Jul 12, 2006, in forum: Hardware
    Replies:
    0
    Views:
    830
    etoktas
    Jul 12, 2006
  4. John
    Replies:
    2
    Views:
    1,039
  5. Giuen
    Replies:
    0
    Views:
    1,261
    Giuen
    Sep 12, 2008
Loading...

Share This Page