To execute PROLEAD with default settings, run the following command:

PROLEAD

Command Line Parameters

PROLEAD can be configured using various command-line parameters to tailor its operation to specific needs. If a parameter is not provided, PROLEAD will revert to its default settings. To view an overview of all available command-line parameters, you can use the following command:

PROLEAD -h

This will display a help menu with descriptions of each parameter and its usage, ensuring that users can easily reference the available options and their respective default values.

Command Line Parameter	Description	Default Setting
-p [ --platform ]	Switches between the hardware and software version of PROLEAD	hardware
-l [ --libraryfile ]	Specifies the path to the standard-cell library file (.json file).	library.json
-n [ --libraryname ]	Specifies the the standard-cell library name.	NANG45
-d [ --designfile ]	Specifies the path to the implementation file (either .v or .c file).	degin.v
-m [ --modulename ]	Specifies the name of the top module.	circuit
-c [ --configfile ]	Specifies the path to the configuration file (.json file).	config.json
-r [ --resultfolder ]	Specifies the path to the directory with results.	.
-k [ --linkerfile ]	Specifies the path to the linker file (.ld file).	linker.ld
-b [ --binary ]	Specifies the path to the ARM binary (.elf file).	binary.elf
-f [ --mapfile ]	Specifies the path to the map file (.map file).	binary.map
-a [ --asmfile ]	Specifies the path to the disassembled file (.txt file).	disassembled.txt

Settings

The evaluation settings for PROLEAD are specified in a configuration file, typically named config.json. These settings determine how PROLEAD conducts its simulations and analyses. Some settings in the configuration file are mandatory for every design. If any of these required settings are missing, PROLEAD will return an error and terminate the process. For a detailed list of all settings, including which are mandatory and which are optional, please refer to the Settings page.