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
    Likes Received:
    0
    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. Advertisements

Ask a Question

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

You'll need to choose a username for the site, which only take a couple of moments (here). After that, you can post your question and our members will help you out.