summaryrefslogtreecommitdiff
path: root/kernel/rtlil.h
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-01-19 13:59:08 +0100
committerClifford Wolf <clifford@clifford.at>2015-01-19 13:59:08 +0100
commit76c5d863c52253a5709f44e0608c53a8c33ab3b5 (patch)
tree7cb4d36e4b10f4dd468f58255ad5dba39a585dbd /kernel/rtlil.h
parente13a45ae61e05705d9ab6890da60737bd05eb24d (diff)
Added equiv_make command
Diffstat (limited to 'kernel/rtlil.h')
-rw-r--r--kernel/rtlil.h3
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/rtlil.h b/kernel/rtlil.h
index 53ee24c2..dae684d9 100644
--- a/kernel/rtlil.h
+++ b/kernel/rtlil.h
@@ -439,7 +439,7 @@ namespace RTLIL
return result;
}
- pool<T> to_set() const { return *this; }
+ pool<T> to_pool() const { return *this; }
std::vector<T> to_vector() const { return *this; }
};
};
@@ -968,6 +968,7 @@ public:
RTLIL::Cell* addConcat (RTLIL::IdString name, RTLIL::SigSpec sig_a, RTLIL::SigSpec sig_b, RTLIL::SigSpec sig_y);
RTLIL::Cell* addLut (RTLIL::IdString name, RTLIL::SigSpec sig_i, RTLIL::SigSpec sig_o, RTLIL::Const lut);
RTLIL::Cell* addAssert (RTLIL::IdString name, RTLIL::SigSpec sig_a, RTLIL::SigSpec sig_en);
+ RTLIL::Cell* addEquiv (RTLIL::IdString name, RTLIL::SigSpec sig_a, RTLIL::SigSpec sig_b, RTLIL::SigSpec sig_y);
RTLIL::Cell* addSr (RTLIL::IdString name, RTLIL::SigSpec sig_set, RTLIL::SigSpec sig_clr, RTLIL::SigSpec sig_q, bool set_polarity = true, bool clr_polarity = true);
RTLIL::Cell* addDff (RTLIL::IdString name, RTLIL::SigSpec sig_clk, RTLIL::SigSpec sig_d, RTLIL::SigSpec sig_q, bool clk_polarity = true);