Software JasperGold Formal Verification Platform

JasperGold Formal Verification Platform

Important!  You will need to read, fill out and agree to the Cadence EULA before you can utilize any Cadence software:

https://eulas.ece.gatech.edu/Cadence/

Environment Setup

To run JasperGold Formal Verification:

Version 2019.06p2

For version 2019.06p2 do:

    >source /tools/cadence/jasper_2019.06p002/cshrc.meta

Version 2019.03p2

For version 2019.03p2 do:

    >source /tools/cadence/jasper2019.03p002/cshrc.meta

Version 2018.12p2

For version 2018.12p2 do:

    >source /tools/cadence/jasper2018.12p002/cshrc.meta

Version 2016.12p2

For version 2016.12p2 do:

    >source /tools/cadence/jasper12p2/cshrc.meta

Running JasperGold Formal Verification Platform

For gui mode do:

    >jg &

The user guide is located at:

    /tools/cadence/jasper12p2/doc/jaspergold_apss_userguide.pdf

Last revised on September 4, 2019.