9.15.8.105 Arguments

-file {file}

Specifies the file to export.

-name {name}

Specifies the name of the device in chain mode to export a single device STAPL file.

-pdb {pdb_file}

Specifies the PDB to use for exporting a STAPL file. By default, the loaded PDB is used for exporting a STAPL file.

-secured

Exports a secured STAPL file.