From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 23 May 2022 17:35:14 +0000 (+0200)
Subject: Update verific command file documentation
X-Git-Tag: divfloor-in-write_smt2-old-test~3^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4a5790d4042ff3a42de70f5e690ba0182e77c435;p=yosys.git

Update verific command file documentation
---

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 29131fdc5..945ed179f 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2352,25 +2352,27 @@ struct VerificPass : public Pass {
 		log("Override verilog parsing mode can be set.\n");
 		log("The macros YOSYS, SYNTHESIS/FORMAL, and VERIFIC are defined implicitly.\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("Command file parser supports following commands in file:\n");
+		log("    +define+<MACRO>=<VALUE> - defines macro\n");
+		log("    -u                      - upper case all identifier (makes Verilog parser case insensitive)\n");
+		log("    -v <filepath>           - register library name (file)\n");
+		log("    -y <filepath>           - register library name (directory)\n");
+		log("    +incdir+<filepath>      - specify include dir\n");
+		log("    +libext+<filepath>      - specify library extension\n");
+		log("    +liborder+<id>          - 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 <filepath>     - nested -f option\n");
+		log("    -F <filepath>           - nested -F option (relative path)\n");
+		log("    parse files:\n");
+		log("        <filepath>\n");
+		log("        +systemverilogext+<filepath>\n");
+		log("        +verilog1995ext+<filepath>\n");
+		log("        +verilog2001ext+<filepath>\n");
+		log("\n");
+		log("    analysis mode:\n");
 		log("        -ams\n");
-		log("        +systemverilogext\n");
 		log("        +v2k\n");
-		log("        +verilog1995ext\n");
-		log("        +verilog2001ext\n");
 		log("        -sverilog\n");
 		log("\n");
 		log("\n");