Starting HAL

Once installed, HAL can be used either as a pure command line tool or in combination with a GUI. Hence, it provides a number of command line parameters to configure the startup options.

Using the Command Line

Running HAL solely using its command line interfaces may be useful when executing plugins dedicated plugins that analyze the netlist without requiring user interaction. This way, such plugins can easily be run on a server or cluster that does not provide a UI. The most important command line options are listed below. Additional options may be provided by HAL plugins and will be listed when calling hal -h.

• -h, --help displays information regarding the usage of HAL.
• -v, --version displays the current version of HAL.
• --licenses shows the licenses of open-source projects used within HAL.
• -l, --logfile specify a name and path for the log file that is created by HAL.
• -i, --input-file specify the input file that the netlist is parsed or loaded from. This can be either a .hal file or of any netlist file format that is supported by the available netlist parsers.
• -gl, --gate-library specify the gate library that should be used to instantiate the netlist.
• -e, --empty-netlist create an empty netlist using the specified gate library.

Using the GUI

To start the HAL GUI, type hal -g into the command line and press ENTER. Most other command line options such as -i specifying the input file and -gl specifying the gate library will be ignored when starting the GUI, since their functionality is provided by the GUI instead.