diff options
author | Claire Xen <claire@clairexen.net> | 2021-12-13 22:03:29 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-13 22:03:29 +0100 |
commit | 5e5c8a54ce56efcc0f3144736d4cf7fd2314aa83 (patch) | |
tree | 8d028249a254fd8ef4190c916b673db9362c19a4 | |
parent | 19a38222e78b0b29b9adbf2c9fcd2d1c701c7e17 (diff) | |
parent | 313340aed5e7d21a52d67c0a3c2bbc1623e87315 (diff) | |
download | yosys-5e5c8a54ce56efcc0f3144736d4cf7fd2314aa83.tar.gz yosys-5e5c8a54ce56efcc0f3144736d4cf7fd2314aa83.tar.bz2 yosys-5e5c8a54ce56efcc0f3144736d4cf7fd2314aa83.zip |
Merge pull request #3108 from YosysHQ/claire/verificdefs
Add YOSYS to the implicitly defined verilog macros in verific
-rw-r--r-- | frontends/verific/verific.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 2c2858514..d5574f95a 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2295,7 +2295,7 @@ struct VerificPass : public Pass { log("\n"); log("Additional -D<macro>[=<value>] options may be added after the option indicating\n"); log("the language version (and before file names) to set additional verilog defines.\n"); - log("The macros SYNTHESIS and VERIFIC are defined implicitly.\n"); + log("The macros YOSYS, SYNTHESIS, and VERIFIC are defined implicitly.\n"); log("\n"); log("\n"); log(" verific -formal <verilog-file>..\n"); @@ -2713,6 +2713,7 @@ struct VerificPass : public Pass { else log_abort(); + veri_file::DefineMacro("YOSYS"); veri_file::DefineMacro("VERIFIC"); veri_file::DefineMacro(args[argidx] == "-formal" ? "FORMAL" : "SYNTHESIS"); |