diff options
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/ast/ast.cc | 1 | ||||
| -rw-r--r-- | frontends/verific/verific.cc | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/frontends/ast/ast.cc b/frontends/ast/ast.cc index c8183580b..1c0a8b34d 100644 --- a/frontends/ast/ast.cc +++ b/frontends/ast/ast.cc @@ -1511,6 +1511,7 @@ RTLIL::IdString AstModule::derive(RTLIL::Design *design, const dict<RTLIL::IdStr } } else { + modname = new_modname; log("Found cached RTLIL representation for module `%s'.\n", modname.c_str()); } diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 31c77d39c..cf3bf1070 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -55,7 +55,7 @@ USING_YOSYS_NAMESPACE # error "Only Symbiotic EDA flavored Verific is supported. Please contact office@symbioticeda.com for commercial support for Yosys+Verific." #endif -#if SYMBIOTIC_VERIFIC_API_VERSION < 20201001 +#if SYMBIOTIC_VERIFIC_API_VERSION < 20201101 # error "Please update your version of Symbiotic EDA flavored Verific." #endif |