summaryrefslogtreecommitdiff
path: root/passes/sat/eval.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-02-06 19:22:46 +0100
committerClifford Wolf <clifford@clifford.at>2014-02-06 19:22:46 +0100
commitfa295a4528513d6beeff638520d519faafd99324 (patch)
treeb11afcff018bdb515596ec4b89dac9ff6a514931 /passes/sat/eval.cc
parentd4b0f28881e361f53b61e67c4cb5cd04c196d204 (diff)
Added generic RTLIL::SigSpec::parse_sel() with support for selection variables
Diffstat (limited to 'passes/sat/eval.cc')
-rw-r--r--passes/sat/eval.cc8
1 files changed, 4 insertions, 4 deletions
diff --git a/passes/sat/eval.cc b/passes/sat/eval.cc
index 5d36b474..5c38cc2c 100644
--- a/passes/sat/eval.cc
+++ b/passes/sat/eval.cc
@@ -464,7 +464,7 @@ struct EvalPass : public Pass {
for (auto &it : sets) {
RTLIL::SigSpec lhs, rhs;
- if (!RTLIL::SigSpec::parse(lhs, module, it.first))
+ if (!RTLIL::SigSpec::parse_sel(lhs, design, module, it.first))
log_cmd_error("Failed to parse lhs set expression `%s'.\n", it.first.c_str());
if (!RTLIL::SigSpec::parse_rhs(lhs, rhs, module, it.second))
log_cmd_error("Failed to parse rhs set expression `%s'.\n", it.second.c_str());
@@ -486,7 +486,7 @@ struct EvalPass : public Pass {
{
for (auto &it : shows) {
RTLIL::SigSpec signal, value, undef;
- if (!RTLIL::SigSpec::parse(signal, module, it))
+ if (!RTLIL::SigSpec::parse_sel(signal, design, module, it))
log_cmd_error("Failed to parse show expression `%s'.\n", it.c_str());
signal.optimize();
value = signal;
@@ -513,14 +513,14 @@ struct EvalPass : public Pass {
for (auto &it : shows) {
RTLIL::SigSpec sig;
- if (!RTLIL::SigSpec::parse(sig, module, it))
+ if (!RTLIL::SigSpec::parse_sel(sig, design, module, it))
log_cmd_error("Failed to parse show expression `%s'.\n", it.c_str());
signal.append(sig);
}
for (auto &it : tables) {
RTLIL::SigSpec sig;
- if (!RTLIL::SigSpec::parse(sig, module, it))
+ if (!RTLIL::SigSpec::parse_sel(sig, design, module, it))
log_cmd_error("Failed to parse table expression `%s'.\n", it.c_str());
tabsigs.append(sig);
}