Software JasperGold Formal Verification Platform

JasperGold Formal Verification Platform

Environment Setup

To run JasperGold Formal Verification:

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 April 26, 2017.