Unix/Linux

From a Unix/Linux command shell, X-Amin is started in GUI mode using the xamin command.

% xamin 

To start X-Amin in command-line mode, include the -c command-line option:

% xamin -c

Note that if no window manager is running on the Unix/Linux platform (or the user is logged into a text-only window), X-Amin will automatically start in the command-line mode.

 

MS Windows

When running MS Windows, X-Amin is started by running the xamin.exe executable for GUI mode, or the xamin_shell.exe for command-line mode. Shortcuts for these applications are typically installed on the MS Windows Start menu and/or Desktop.

 

X-Amin Options

X-Amin provides several command-line options to configure X-Amin when it is started. The valid command-line options are:

 -c :
      Command-line (non-GUI) mode. 
      Ignored by MS Windows xamin.exe


 -d <name>[=<value] : 
      Specify a Verilog define with optional value. 
      This option can be specified multiple times.

 -f <file> : 
      Include commands from <file>

 -h : 
      Print usage information and exit

 -i <path> : 
      Specify an include path for Verilog `include files. 
      This option can be specified multiple times.

 -l <file> : 
      Specify a log file

 -q : 
      Quiet mode. Not applicable in GUI mode.

 -s <size> : 
      Specify a BDD database size

 -v : 
      Print version information and exit
   

Licensing

If a valid license for X-Amin does not exist for the user, the Licensing Wizard will appear if running in GUI mode. In command-line mode, X-Amin will prompt for licensing information similar to the Licensing Wizard.

A license can be obtained and installed automatically or manually. In automatic mode, X-Amin will query the X-Tek license server for the license assigned to the machine's host ID, download it and install it. Note that the machine must be connected to the internet for automatic mode to work.

To obtain a license automatically, you must have the e-mail address you used to register with X-Tek. If you have not registered, you must do so at: www.x-tekcorp.com. If you are trying to obtain a new license (i.e. recently purchased), you will also need the transaction ID your the purchase, which can be found in your purchase confirmation e-mail. If your are restoring a lost license or trying to obtain a demo license, no transaction ID is needed.

Manual license installation requires a license file to exist somewhere on the machine. X-Amin will read the license file, validate it and install it.