luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-08-22 14:17:27 +02:00
Code Issues Packages Projects Releases Wiki Activity

Verific: Produce errors for instantiating unknown module

Browse Source 
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 <[email protected]>
This commit is contained in:
Clifford Wolf
2018-07-22 18:44:05 +02:00
parent 0eaab6cd1d
commit e275692e84
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
frontends/verific/verific.cc
+3
View File
@@ -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();