Add -chparam option to verific command

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 9f52ffdc21a5223f5c21f7ac99b87c09e656cf5f..4ba96d25131d59368d6bdcddc3129a8b2a7b7822 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1855,6 +1855,12 @@ struct VerificPass : public Pass {
                log("  -autocover\n");
                log("    Generate automatic cover statements for all asserts\n");
                log("\n");
+               log("  -chparam name value \n");
+               log("    Elaborate the specified top modules (all modules when -all given) using\n");
+               log("    this parameter value, for modules where this parameter exists. This option\n");
+               log("    can be specified multiple times to override multiple parameters.\n");
+               log("    String values must be passed in double quotes (\").\n");
+               log("\n");
                log("  -v, -vv\n");
                log("    Verbose log messages. (-vv is even more verbose than -v.)\n");
                log("\n");
@@ -2109,6 +2115,7 @@ struct VerificPass : public Pass {
                        bool mode_autocover = false;
                        bool flatten = false, extnets = false;
                        string dumpfile;
+                       Map parameters(STRING_HASH);
 
                        for (argidx++; argidx < GetSize(args); argidx++) {
                                if (args[argidx] == "-all") {
@@ -2147,6 +2154,15 @@ struct VerificPass : public Pass {
                                        mode_autocover = true;
                                        continue;
                                }
+                               if (args[argidx] == "-chparam"  && argidx+2 < GetSize(args)) {
+                                        const std::string &key = args[++argidx];
+                                        const std::string &value = args[++argidx];
+                                       unsigned new_insertion = parameters.Insert(key.c_str(), value.c_str(),
+                                                                                  1 /* force_overwrite */);
+                                       if (!new_insertion)
+                                               log_warning_noprefix("-chparam %s already specified: overwriting.\n", key.c_str());
+                                       continue;
+                               }
                                if (args[argidx] == "-V") {
                                        mode_verific = true;
                                        continue;
@@ -2180,7 +2196,7 @@ struct VerificPass : public Pass {
                                if (vhdl_lib) vhdl_libs.InsertLast(vhdl_lib);
                                if (veri_lib) veri_libs.InsertLast(veri_lib);
 
-                               Array *netlists = hier_tree::ElaborateAll(&veri_libs, &vhdl_libs);
+                               Array *netlists = hier_tree::ElaborateAll(&veri_libs, &vhdl_libs, &parameters);
                                Netlist *nl;
                                int i;
 
@@ -2217,7 +2233,7 @@ struct VerificPass : public Pass {
                                }
 
                                log("Running hier_tree::Elaborate().\n");
-                               Array *netlists = hier_tree::Elaborate(&veri_modules, &vhdl_units);
+                               Array *netlists = hier_tree::Elaborate(&veri_modules, &vhdl_units, &parameters);
                                Netlist *nl;
                                int i;