-halargs Pass options directly to hal

-halsynth_detailcheck Perform detailed check on unsynthesizable modules +helpalias Show the different ways to enter an option

+helpall Display all supported option

+helpargs Print help for all the options in use

+helpfileext Show all the file types and their extensions

+helphelp Print out all the options controlling help

-helpncverilog Show the ncverilog form of the options

-helpshowmin Show the minimum characters required for dash opt +helpshowsubject Show all the subjects for -helpsubject

+helpsubject<subject> Display help on the specified subject

+helpverbose Show the verbose help text

+helpwidth+<width> Set max width for help messages (def 89)

-I<include dir> Directory to search for C/C++ include files

+ieee1364 Report errors according to IEEE 1364 standards +import Prepare this verilog design for import to VHDL +incdir+<dirs> Specify directories to search for `include files

-inst_top <arg> Specify the top-level instance for HAL analysis

-iusld Prefix `ncroot`/tools/lib path to LD_LIBRARY_PATH -iusldno Disable the -iusld option

-k <filename> Set key file name

-L<lib dir> Directory to search for lib files

-l <filename> Set logfile name

-l<libname> archive or shared library to be linked in

-level <arg> Specify levels in HAL analysis

+libext+<ext> Specify extensions to be used for the -y search

+liborder Library search rule (see documentation)

+librescan Library search rule (see documentation)

+libverbose Print verbose messages about instance binding

-linksysc <dynamic|static> Use libsystemc.so (dynamic) or libsystemc_ar.a

-lintpragma Process lint pragma in the design

-loadcfc <lib> Dynamically load a CFC application

-loadfmi <lib> Dynamically load an FMI library

+loadpli1=<arg> Specify the PLI1 library_name:boot_routine(s) +loadsc+<lib> Specify SystemC lib to be dynamically loaded -loadvhpi <lib> Dynamically load a VHPI application

+loadvpi=<arg> Specify the VPI library_name:boot_routines(s) -location Print the location of the installation

-log_amsspice <logfile> Place amsspice output into the specified logfile

-log_hal <logfile> Place the hal output into the specified logfile

-logic_depth Enable Logic Depth calculation

-loop_unroll_size <arg> Specify the loop unroll limit for halsynth

+max_error_count+<arg> Specify the maximum number of errors processed +mixesc Handle escaped identifiers in imported model