Options Dialog

The Options dialog can be launched from the Tools menu. It allows configuration of various application settings:

Interface

Change the Application Layout and Prompt settings.

Files

Change the file location of the current BSDL library or create a new library.

Colours

Change the pin colours.

Test Output

Change the default text for the XJEase output and Run SVF/STAPL Dialog output.