diff options
Diffstat (limited to 'doc/using/Simulation.rst')
| -rw-r--r-- | doc/using/Simulation.rst | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/doc/using/Simulation.rst b/doc/using/Simulation.rst index 607227042..807a634e2 100644 --- a/doc/using/Simulation.rst +++ b/doc/using/Simulation.rst @@ -146,15 +146,20 @@ Here is the list of the most useful options. For further info, see :ref:`DEV:Deb .. option:: --vpi=<FILENAME> - Load VPI module. + Load VPI library. This option can be used multiple times to load different libraries. - .. HINT:: - Currently, although multiple ``--vpi=`` options can be passed, only the last one is kept/used. However, handling - more than one shouldn't be a difficult change. + Any registration functions in the ``vlog_startup_routines`` array in the library will be called: + + .. code-block:: c + + void (*vlog_startup_routines[]) () = { + my_handle_register, + 0 + }; -.. option:: --vpi-trace=<FILE> +.. option:: --vpi-trace[=<FILENAME>] - Trace vpi calls to FILE. + Trace vpi calls. Trace is printed to :file:`FILENAME` if provided, otherwise to stdout. .. option:: --help |