About FormalCheck

Discussion in 'Cadence' started by xiaofang.chen, Sep 9, 2006.

  1. xiaofang.chen

    xiaofang.chen Guest

    Hi all,

    I'm a student and I want to use Cadence's FormalCheck in my research.
    However, it seems that the product still provides university licenses
    but the software has been discontinued and it's very old.

    Does anyone know what is the current software which integrates
    FormalCheck? For this software, does it provide a university license,
    and where could we download an electronic version?

    Thanks a lot.

    Regards,
    Xiaofang
     
    xiaofang.chen, Sep 9, 2006
    #1
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. About Encryption

  2. about doc

  3. How or where do I learn about reactors?

  4. Question about processing speed on AutoCAD.... Intel P4 vs Intel Centrino

  5. Cuestion about speed in AutoCAD, Centrino vs P4 - messages moved

  6. Is ther something about platting an X-REF and Color I dont knoe about?

Loading...