diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-11-25 14:27:30 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-11-25 14:27:30 +0100 |
| commit | f764cd16556b638b2857a3df9b77281c1bf872a0 (patch) | |
| tree | 121deb5a076dd7fb222413e535f9e464cdfdf5b5 | |
| parent | b0be19c1267b794fb08bc7a8c7174ebbfb9fce7d (diff) | |
| download | yosys-f764cd16556b638b2857a3df9b77281c1bf872a0.tar.gz yosys-f764cd16556b638b2857a3df9b77281c1bf872a0.tar.bz2 yosys-f764cd16556b638b2857a3df9b77281c1bf872a0.zip | |
update documentation
| -rw-r--r-- | frontends/verific/verific.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 1eab9931f..1e61b3a31 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2541,10 +2541,10 @@ struct VerificPass : public Pass { log("is printed, such as VERI-1209.\n"); log("\n"); log("\n"); - log(" verific -import [options] <top-module>..\n"); + log(" verific -import [options] <top>..\n"); log("\n"); - log("Elaborate the design for the specified top modules, import to Yosys and\n"); - log("reset the internal state of Verific.\n"); + log("Elaborate the design for the specified top modules or configurations, import to\n"); + log("Yosys and reset the internal state of Verific.\n"); log("\n"); log("Import options:\n"); log("\n"); |