diff options
author | Clifford Wolf <clifford@clifford.at> | 2018-03-04 13:48:53 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2018-03-04 13:48:53 +0100 |
commit | 261cf706f4d8eb1bcb3d9e6915930667073fdbe6 (patch) | |
tree | 6fb99b45013665bc568227b1782adcddf0390c8d /frontends/verific/verific.h | |
parent | ae4e204c760249afef34aaef6854d89076db2c47 (diff) | |
download | yosys-261cf706f4d8eb1bcb3d9e6915930667073fdbe6.tar.gz yosys-261cf706f4d8eb1bcb3d9e6915930667073fdbe6.tar.bz2 yosys-261cf706f4d8eb1bcb3d9e6915930667073fdbe6.zip |
Add VerificClocking class and refactor Verific DFF handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/verific/verific.h')
-rw-r--r-- | frontends/verific/verific.h | 17 |
1 files changed, 14 insertions, 3 deletions
diff --git a/frontends/verific/verific.h b/frontends/verific/verific.h index 2ca01072f..63d81fc3e 100644 --- a/frontends/verific/verific.h +++ b/frontends/verific/verific.h @@ -29,11 +29,22 @@ extern pool<int> verific_sva_prims; struct VerificImporter; -struct VerificClockEdge { +struct VerificClocking { + RTLIL::Module *module = nullptr; Verific::Net *clock_net = nullptr; + Verific::Net *enable_net = nullptr; + Verific::Net *disable_net = nullptr; + Verific::Net *body_net = nullptr; SigBit clock_sig = State::Sx; - bool posedge = false; - VerificClockEdge(VerificImporter *importer, Verific::Instance *inst); + SigBit enable_sig = State::S1; + SigBit disable_sig = State::S0; + bool posedge = true; + + VerificClocking() { } + VerificClocking(VerificImporter *importer, Verific::Net *net); + RTLIL::Cell *addDff(IdString name, SigSpec sig_d, SigSpec sig_q, Const init_value = Const()); + RTLIL::Cell *addAdff(IdString name, RTLIL::SigSpec sig_arst, SigSpec sig_d, SigSpec sig_q, Const arst_value); + RTLIL::Cell *addDffsr(IdString name, RTLIL::SigSpec sig_set, RTLIL::SigSpec sig_clr, SigSpec sig_d, SigSpec sig_q); }; struct VerificImporter |