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.
Similar Threads

  1. Realtek RTL 8180 Can't Connect to Netgear WGR 614

  2. 35mm to MP equivalence

  3. Synplicity synthesis error

  4. Microsoft Plus! - Voice Command. Voice recognition and Speech to Text Synthesis.

  5. Conformal LEC of a VHDL design (RTL Vs Netlist)

  6. Realtek RTL 8180 driver needed

  7. Realtek RTL 8180 driver

  8. synthesis error

Loading...