diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-03 23:07:08 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-03 23:07:08 -0700 |
| commit | f81a0ed92e900604e77be01e92f1150c6c5cbde3 (patch) | |
| tree | ec4340838bfa3f53b3925cd15c861b6df56f1bf8 /frontends | |
| parent | b6e59741ae6e4ec57affb9ab168a9d08cdb6d04f (diff) | |
| parent | 1217e47e83d099561fed933208621d0402cf0972 (diff) | |
| download | yosys-f81a0ed92e900604e77be01e92f1150c6c5cbde3.tar.gz yosys-f81a0ed92e900604e77be01e92f1150c6c5cbde3.tar.bz2 yosys-f81a0ed92e900604e77be01e92f1150c6c5cbde3.zip | |
Merge remote-tracking branch 'origin/master' into xc7mux
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/verific/verific.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 21a1bbbbe..2bf99e58e 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -48,6 +48,14 @@ USING_YOSYS_NAMESPACE #include "VhdlUnits.h" #include "VeriLibrary.h" +#ifndef SYMBIOTIC_VERIFIC_API_VERSION +# error "Only Symbiotic EDA flavored Verific is supported. Please contact office@symbioticeda.com for commercial support for Yosys+Verific." +#endif + +#if SYMBIOTIC_VERIFIC_API_VERSION < 1 +# error "Please update your version of Symbiotic EDA flavored Verific." +#endif + #ifdef __clang__ #pragma clang diagnostic pop #endif @@ -2016,6 +2024,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 |