diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-05-23 19:35:14 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-05-23 19:35:14 +0200 |
| commit | 4a5790d4042ff3a42de70f5e690ba0182e77c435 (patch) | |
| tree | 02316deb02458b2057110d54edc36570ac2133e5 /frontends/verific | |
| parent | a6ec5754c6c2be6877904569b644ad8eae4aac1c (diff) | |
| download | yosys-4a5790d4042ff3a42de70f5e690ba0182e77c435.tar.gz yosys-4a5790d4042ff3a42de70f5e690ba0182e77c435.tar.bz2 yosys-4a5790d4042ff3a42de70f5e690ba0182e77c435.zip | |
Update verific command file documentation
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/verific.cc | 36 |
1 files changed, 19 insertions, 17 deletions
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"); |