From 4a5790d4042ff3a42de70f5e690ba0182e77c435 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Mon, 23 May 2022 19:35:14 +0200 Subject: [PATCH 1/2] Update verific command file documentation --- frontends/verific/verific.cc | 34 ++++++++++++++++++---------------- 1 file changed, 18 insertions(+), 16 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("Command file parser supports following commands in file:\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 (relative path)\n"); + log(" parse files:\n"); + log(" \n"); + log(" +systemverilogext+\n"); + log(" +verilog1995ext+\n"); + log(" +verilog2001ext+\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"); From fdb393b6ce0fd6bf5f04ddd95e600828fb90c97d Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Mon, 23 May 2022 19:57:21 +0200 Subject: [PATCH 2/2] fix text to fit 80 columns --- frontends/verific/verific.cc | 15 +++++++++------ 1 file 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] \n"); + log(" verific {-f|-F} [-vlog95|-vlog2k|-sv2005|-sv2009|\n"); + log(" -sv2012|-sv|-formal] \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+= - 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 - 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(" +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 - nested -f option\n"); log(" -F - 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 \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");