From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 5 Jul 2021 07:16:54 +0000 (+0200)
Subject: Add additional help
X-Git-Tag: yosys-0.10~122^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0dbb05a75e1bb92c194ce6305fee02bf2e5e0470;p=yosys.git

Add additional help
---

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");