Command-line options

Note

Just by creating an instance of the fvm.FvmFramework class, your formal.py script will have the following command-line options

Run the FVM Framework

usage: formal.py [-h] [-d DESIGN] [-s STEP] [-c] [-v] [-q] [-l] [-o OUTDIR]
                 [-g] [-n] [--show] [--shownorun] [--showall]

Named Arguments

-d, --design

If set, run the specified design. If unset, run all designs. (default: None)

-s, --step

If set, run the specified step. If unset, run all steps. (default: None)

-c, --cont

Continue with next steps even if errors are detected. (default: False)

Default: False

-v, --verbose

Show full tool outputs. (default: False)

Default: False

-q, --quiet

Show only error tool outputs. (default: False)

Default: False

-l, --list

Only list available methodology steps, but do not execute them. (default: False)

Default: False

-o, --outdir

Output directory. (default: ‘fvm_out’)

Default: 'fvm_out'

-g, --gui

Show tool results with GUI after tool execution. (default: False)

Default: False

-n, --guinorun

Show already existing tool results with GUI, without running the tools again. (default: False)

Default: False

--show

Show the HTML dashboard after execution of the formal tools. (default: False)

Default: False

--shownorun

Show the existing HTML dashboard, without running the formal tools. (default: False)

Default: False

--showall

Show the existing HTML dashboard of every design in the output directory, without running the formal tools. (default: False)

Default: False