diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-07-22 18:44:05 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-07-22 18:44:05 +0200 |
| commit | e275692e84c935d0cdf42c2a4adf7ac949a88132 (patch) | |
| tree | 40ed0ba5dcbf35462311177c9ab221f7dd2820c6 | |
| parent | 0eaab6cd1d3fca807861a9090e684ddde16b0ba2 (diff) | |
| download | yosys-e275692e84c935d0cdf42c2a4adf7ac949a88132.tar.gz yosys-e275692e84c935d0cdf42c2a4adf7ac949a88132.tar.bz2 yosys-e275692e84c935d0cdf42c2a4adf7ac949a88132.zip | |
Verific: Produce errors for instantiating unknown module
Because if the unknown module is connected to any constants, Verific will
actually break all constants in the same module, even if they have nothing
to do structurally with that instance of an unknown module.
Signed-off-by: Clifford Wolf <clifford@clifford.at>
| -rw-r--r-- | frontends/verific/verific.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 8937cdde8..b8dd72b98 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -1800,6 +1800,9 @@ struct VerificPass : public Pass { RuntimeFlags::SetVar("veri_extract_multiport_rams", 1); RuntimeFlags::SetVar("db_infer_wide_operators", 1); + // WARNING: instantiating unknown module 'XYZ' (VERI-1063) + Message::SetMessageType("VERI-1063", VERIFIC_ERROR); + verific_verbose = 0; const char *release_str = Message::ReleaseString(); |