diff --git a/docs/guide/exe_sim.rst b/docs/guide/exe_sim.rst index de5f990fe..190367346 100644 --- a/docs/guide/exe_sim.rst +++ b/docs/guide/exe_sim.rst @@ -145,7 +145,7 @@ Options: model was Verilated with :vlopt:`--vpi` and :vlopt:`--main` (or :vlopt:`--binary`). ```` is the path to the shared library. If ``:`` is given, that named no-argument function is called; - otherwise the library's ``vlog_startup_routines`` array (IEEE 1800 Section 37) is + otherwise the library's ``vlog_startup_routines`` array (IEEE 1800 38.37.2) is invoked. May be repeated to load multiple libraries. Runtime loading is supported on POSIX platforms only (it relies on the diff --git a/include/verilated.cpp b/include/verilated.cpp index 944ce1766..a92c6ca5f 100644 --- a/include/verilated.cpp +++ b/include/verilated.cpp @@ -92,7 +92,7 @@ #if VM_VPI # include # ifndef _WIN32 -# include // Used by Verilated::loadVpiLib +# include // dlopen # endif #endif