riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #3332 from YosysHQ/verific_f 

Update Verific command file documentation
This commit is contained in:
Miodrag Milanović 2022-05-23 20:01:44 +02:00 committed by GitHub
parent a6ec5754c6 fdb393b6ce
commit 335b4888ce
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 24 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
frontends/verific/verific.cc
View File

@ -2346,31 +2346,36 @@ struct VerificPass : public Pass {
log("\n");
log("\n");
#endif
log(" verific {-f|-F} [-vlog95|-vlog2k|-sv2005|-sv2009|-sv2012|-sv|-formal] <command-file>\n");
log(" verific {-f|-F} [-vlog95|-vlog2k|-sv2005|-sv2009|\n");
log(" -sv2012|-sv|-formal] <command-file>\n");
log("\n");
log("Load and execute the specified command file.\n");
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("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\n");
log(" 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\n");
log(" starting with the first library specified\n");
log(" 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(" parse mode:\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");
@ -2507,8 +2512,8 @@ struct VerificPass : public Pass {
log(" Parameter can also contain comma separated list of file locations.\n");
log("\n");
log(" -blfile <file>\n");
log(" Do not run application on locations specified in file, they can represent filename\n");
log(" or filename and location in file.\n");
log(" Do not run application on locations specified in file, they can\n");
log(" represent filename or filename and location in file.\n");
log("\n");
log("Applications:\n");
log("\n");