aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific/verific.cc
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-03-09 01:56:16 +0000
committerEddie Hung <eddie@fpgeh.com>2019-03-09 01:56:16 +0000
commitee013fba54f8bca0940143f655f5b4ad3d7b7b96 (patch)
treef2d3c2738dc66ec9ba025dae0d63f2846e86d5ab /frontends/verific/verific.cc
parent2aa3903757642616f38d1069e1b706fcbf3168c4 (diff)
downloadyosys-ee013fba54f8bca0940143f655f5b4ad3d7b7b96.tar.gz
yosys-ee013fba54f8bca0940143f655f5b4ad3d7b7b96.tar.bz2
yosys-ee013fba54f8bca0940143f655f5b4ad3d7b7b96.zip
Update help message for -chparam
Diffstat (limited to 'frontends/verific/verific.cc')
-rw-r--r--frontends/verific/verific.cc3
1 files changed, 2 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 4ba96d251..c412cd3a3 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1857,7 +1857,8 @@ struct VerificPass : public Pass {
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(" this parameter value. Modules on which this parameter does not exist will\n");
+ log(" cause Verific to produce a VERI-1928 or VHDL-1676 message. 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");