VC Static/Formal

To run VC Formal Verification or VC Static you must do the following:

Environment Setup

Version 2017.03 for Linux:

    >source /tools/synopsys/vcstatic/m201703/cshrc.meta

Running VC Static/Formal

To run VC Formal Verification enter:

    >vcf –fmode

is one of (FPV, COV, SEQ, CC, AEP) see following:

/tools/synopsys/vcstatic/UserGuides/VC_Formal_UG.pdf

Tutorial videos for VC Formal are located at:

/tools/synopsys/vcstatic/Video

To run VC Static shell enter:

    >vc_static_shell

See following for vc_static_shell information:

/tools/synopsys/vcstatic/UserGuides/VC_Static_Platform_UG.pdf

Last revised March 15, 2017.