The options
that can be set through this page are:
<ul>

<li><b>Verilog Library Path:</b> Specifies the list of directories in
which to search for Verilog library files.  The string
"${TKGATE_HOME}" is replaced with the TkGate home directory.

<li><b>Base Libraries:</b> Specifies the list of libraries that should
be loaded by TkGate on start-up, irregardless of the circuit that is
being loaded.  Circuit-specific libraries should be specified in the
Circuit Properties dialog box.

<li><b>VPD (Virtual Periphe