Formality

Environment Setup

To run Formality do the following:

    >source /tools/linsoft2/synopsys/formality/c200906sp3/cshrc.meta

Running Formality

Then run:

    >formality

Last revised October 29, 2009.