diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-04-06 21:23:47 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-04-06 21:23:47 +0200 |
| commit | 0ac768f9df66d010bfc9ac264b1a3228f985a994 (patch) | |
| tree | 9248b0d3c0df442649decab41d020c69891da4fc /frontends | |
| parent | 035f778121c179e0712e6c81f19195d0ab2c2f35 (diff) | |
| download | yosys-0ac768f9df66d010bfc9ac264b1a3228f985a994.tar.gz yosys-0ac768f9df66d010bfc9ac264b1a3228f985a994.tar.bz2 yosys-0ac768f9df66d010bfc9ac264b1a3228f985a994.zip | |
Fix handling of $global_clocking in Verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/verific/verific.cc | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 25af54e03..8e76d8949 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -123,8 +123,11 @@ void VerificImporter::import_attributes(dict<RTLIL::IdString, RTLIL::Const> &att attributes["\\src"] = stringf("%s:%d", LineFile::GetFileName(obj->Linefile()), LineFile::GetLineNo(obj->Linefile())); // FIXME: Parse numeric attributes - FOREACH_ATTRIBUTE(obj, mi, attr) + FOREACH_ATTRIBUTE(obj, mi, attr) { + if (attr->Key()[0] == ' ' || attr->Value() == nullptr) + continue; attributes[RTLIL::escape_id(attr->Key())] = RTLIL::Const(std::string(attr->Value())); + } } RTLIL::SigSpec VerificImporter::operatorInput(Instance *inst) @@ -1955,6 +1958,9 @@ struct VerificPass : public Pass { #endif } + if (!verific_error_msg.empty()) + goto check_error; + if (flatten) { for (auto nl : nl_todo) nl->Flatten(); |