diff options
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/btor/btor.cc | 10 | ||||
| -rw-r--r-- | backends/cxxrtl/cxxrtl.h | 2 |
2 files changed, 6 insertions, 6 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index bbdcfb70a..9ac312480 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -1355,13 +1355,13 @@ struct BtorBackend : public Backend { log(" -i <filename>\n"); log(" Create additional info file with auxiliary information\n"); log("\n"); - log(" -n\n"); - log(" Don't identify internal netnames\n"); + log(" -x\n"); + log(" Output symbols for internal netnames (starting with '$')\n"); log("\n"); } void execute(std::ostream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE { - bool verbose = false, single_bad = false, cover_mode = false, print_internal_names = true; + bool verbose = false, single_bad = false, cover_mode = false, print_internal_names = false; string info_filename; log_header(design, "Executing BTOR backend.\n"); @@ -1385,8 +1385,8 @@ struct BtorBackend : public Backend { info_filename = args[++argidx]; continue; } - if (args[argidx] == "-n") { - print_internal_names = false; + if (args[argidx] == "-x") { + print_internal_names = true; continue; } break; diff --git a/backends/cxxrtl/cxxrtl.h b/backends/cxxrtl/cxxrtl.h index 701510b7f..7b91742e0 100644 --- a/backends/cxxrtl/cxxrtl.h +++ b/backends/cxxrtl/cxxrtl.h @@ -921,7 +921,7 @@ value<BitsY> sshr_uu(const value<BitsA> &a, const value<BitsB> &b) { template<size_t BitsY, size_t BitsA, size_t BitsB> value<BitsY> sshr_su(const value<BitsA> &a, const value<BitsB> &b) { - return a.template shr(b).template scast<BitsY>(); + return a.template sshr(b).template scast<BitsY>(); } template<size_t BitsY, size_t BitsA, size_t BitsB> |