aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2022-05-23 19:57:21 +0200
committerMiodrag Milanovic <mmicko@gmail.com>2022-05-23 19:57:21 +0200
commitfdb393b6ce0fd6bf5f04ddd95e600828fb90c97d (patch)
treee98dcfca6476c2497a922a11787f33c8e7aa7307 /frontends/verific
parent4a5790d4042ff3a42de70f5e690ba0182e77c435 (diff)
downloadyosys-fdb393b6ce0fd6bf5f04ddd95e600828fb90c97d.tar.gz
yosys-fdb393b6ce0fd6bf5f04ddd95e600828fb90c97d.tar.bz2
yosys-fdb393b6ce0fd6bf5f04ddd95e600828fb90c97d.zip
fix text to fit 80 columns
Diffstat (limited to 'frontends/verific')
-rw-r--r--frontends/verific/verific.cc15
1 files changed, 9 insertions, 6 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 945ed179f..328593099 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2346,7 +2346,8 @@ 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");
@@ -2354,14 +2355,16 @@ struct VerificPass : public Pass {
log("\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(" -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 starting with the first\n");
- log(" library specified by -y/-v options.\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");
@@ -2509,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");