diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-01-19 13:59:08 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-01-19 13:59:08 +0100 |
commit | 76c5d863c52253a5709f44e0608c53a8c33ab3b5 (patch) | |
tree | 7cb4d36e4b10f4dd468f58255ad5dba39a585dbd /kernel/rtlil.h | |
parent | e13a45ae61e05705d9ab6890da60737bd05eb24d (diff) | |
download | yosys-76c5d863c52253a5709f44e0608c53a8c33ab3b5.tar.gz yosys-76c5d863c52253a5709f44e0608c53a8c33ab3b5.tar.bz2 yosys-76c5d863c52253a5709f44e0608c53a8c33ab3b5.zip |
Added equiv_make command
Diffstat (limited to 'kernel/rtlil.h')
-rw-r--r-- | kernel/rtlil.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/rtlil.h b/kernel/rtlil.h index 53ee24c22..dae684d98 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); |