diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-03-14 11:46:13 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-03-14 11:46:13 +0100 |
| commit | 0ac915a757a10f50fd74e18365cbcf351885c162 (patch) | |
| tree | f7b872f3125af4cf4c7ae1f732094452233dc041 /kernel | |
| parent | 77e5968323e76dd8f5dec431cadd95c69d77dc94 (diff) | |
| download | yosys-0ac915a757a10f50fd74e18365cbcf351885c162.tar.gz yosys-0ac915a757a10f50fd74e18365cbcf351885c162.tar.bz2 yosys-0ac915a757a10f50fd74e18365cbcf351885c162.zip | |
Progress in Verific bindings
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/rtlil.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc index 420f528a3..ee73ebe44 100644 --- a/kernel/rtlil.cc +++ b/kernel/rtlil.cc @@ -718,7 +718,7 @@ void RTLIL::Module::check() for (auto &it2 : it.second->parameters) { assert(it2.first.size() > 0 && (it2.first[0] == '\\' || it2.first[0] == '$')); } - if (it.second->type[0] == '$' && it.second->type.substr(0, 3) != "$__" && it.second->type.substr(0, 8) != "$paramod") { + if (it.second->type[0] == '$' && it.second->type.substr(0, 3) != "$__" && it.second->type.substr(0, 8) != "$paramod" && it.second->type.substr(0, 9) != "$verific$") { InternalCellChecker checker(this, it.second); checker.check(); } |