diff --git a/include/verilated.cpp b/include/verilated.cpp index be0b474d3..c4effbdcf 100644 --- a/include/verilated.cpp +++ b/include/verilated.cpp @@ -24,7 +24,10 @@ //========================================================================= #define _VERILATED_CPP_ + #include "verilated_imp.h" +#include "verilated_config.h" + #include #include // mkdir @@ -1721,6 +1724,13 @@ void Verilated::flushCall() VL_MT_SAFE { fflush(stdout); } +const char* Verilated::productName() VL_PURE { + return VERILATOR_PRODUCT; +} +const char* Verilated::productVersion() VL_PURE { + return VERILATOR_VERSION; +} + void Verilated::commandArgs(int argc, const char** argv) VL_MT_SAFE { VerilatedLockGuard lock(s_args.m_argMutex); s_args.argc = argc; diff --git a/include/verilated.h b/include/verilated.h index 2fd7b333f..e2096256c 100644 --- a/include/verilated.h +++ b/include/verilated.h @@ -28,15 +28,14 @@ #ifndef _VERILATED_H_ #define _VERILATED_H_ 1 ///< Header Guard -#include "verilated_config.h" #include "verilatedos.h" #include +#include #include #include #include #include -#include #ifdef VL_THREADED # include # include @@ -448,8 +447,8 @@ public: static const char* commandArgsPlusMatch(const char* prefixp) VL_MT_SAFE; /// Produce name & version for (at least) VPI - static const char* productName() VL_PURE { return VERILATOR_PRODUCT; } - static const char* productVersion() VL_PURE { return VERILATOR_VERSION; } + static const char* productName() VL_PURE; + static const char* productVersion() VL_PURE; /// Convenience OS utilities static void mkdir(const char* dirname) VL_MT_UNSAFE;