diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-05-30 10:03:54 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-05-30 10:04:26 +0200 |
| commit | 2faa1d0e80d213461d4403e36499aaaf1c8088b8 (patch) | |
| tree | e0d83c14f7030015ace263a991f44ceaa1e3a4e8 /frontends | |
| parent | 0df8a3b461a0d56725a32d397d0f8a041eedc191 (diff) | |
| download | yosys-2faa1d0e80d213461d4403e36499aaaf1c8088b8.tar.gz yosys-2faa1d0e80d213461d4403e36499aaaf1c8088b8.tar.bz2 yosys-2faa1d0e80d213461d4403e36499aaaf1c8088b8.zip | |
Enable Verific flag veri_elaborate_top_level_modules_having_interface_ports, fixes #1055
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends')
| -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 21a1bbbbe..33d2ac7a8 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2016,6 +2016,9 @@ struct VerificPass : public Pass { // WARNING: instantiating unknown module 'XYZ' (VERI-1063) Message::SetMessageType("VERI-1063", VERIFIC_ERROR); + // https://github.com/YosysHQ/yosys/issues/1055 + RuntimeFlags::SetVar("veri_elaborate_top_level_modules_having_interface_ports", 1) ; + #ifndef DB_PRESERVE_INITIAL_VALUE # warning Verific was built without DB_PRESERVE_INITIAL_VALUE. #endif |