diff options
-rw-r--r-- | frontends/verific/verific.cc | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 3e91673ac..9e99af680 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2088,6 +2088,27 @@ struct VerificPass : public Pass { log("\n"); log("Load and execute the specified command file.\n"); log("\n"); + log("Command file parser supports following commands:\n"); + log(" +define - defines macro\n"); + log(" -u - upper case all identifier (makes Verilog parser case insensitive)\n"); + log(" -v - register library name (file)\n"); + log(" -y - register library name (directory)\n"); + log(" +incdir - specify include dir\n"); + log(" +libext - specify library extension\n"); + log(" +liborder - add library in ordered list\n"); + log(" +librescan - unresolved modules will be always searched starting with the first\n"); + log(" library specified by -y/-v options.\n"); + log(" -f/-file - nested -f option\n"); + log(" -F - nested -F option\n"); + log("\n"); + log(" parse mode:\n"); + log(" -ams\n"); + log(" +systemverilogext\n"); + log(" +v2k\n"); + log(" +verilog1995ext\n"); + log(" +verilog2001ext\n"); + log(" -sverilog\n"); + log("\n"); log("\n"); log(" verific [-work <libname>] {-sv|-vhdl|...} <hdl-file>\n"); log("\n"); @@ -2990,6 +3011,7 @@ struct ReadPass : public Pass { log(" read {-f|-F} <command-file>\n"); log("\n"); log("Load and execute the specified command file. (Requires Verific.)\n"); + log("Check verific command for more information about supported commands in file.\n"); log("\n"); log("\n"); log(" read -define <macro>[=<value>]..\n"); |