aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/clk2fflogic.cc
Commit message (Collapse)AuthorAgeFilesLines
* FfData: some refactoring.Marcelina Kościelnicka2021-10-071-19/+18
| | | | | | | | | | - FfData now keeps track of the module and underlying cell, if any (so calling emit on FfData created from a cell will replace the existing cell) - FfData implementation is split off to its own .cc file for faster compilation - the "flip FF data sense by inserting inverters in front and after" functionality that zinit uses is moved onto FfData class and beefed up to have dffsr support, to support more use cases
* kernel/ff: Refactor FfData to enable FFs with async load.Marcelina Kościelnicka2021-10-021-16/+18
| | | | | | | | | | - *_en is split into *_ce (clock enable) and *_aload (async load aka latch gate enable), so both can be present at once - has_d is removed - has_gclk is added (to have a clear marker for $ff) - d_is_const and val_d leftovers are removed - async2sync, clk2fflogic, opt_dff are updated to operate correctly on FFs with async load
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
| | | | | | | | s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
* clk2fflogic: Use Mem helper.Marcelina Kościelnicka2020-10-211-68/+45
|
* async2sync: Support all FF types.Marcelina Kościelnicka2020-07-301-44/+3
|
* clk2fflogic: Support all FF types.Marcelina Kościelnicka2020-07-241-200/+122
|
* clk2fflogic: Consistently treat async control signals as negative hold.Marcelina Kościelnicka2020-07-091-57/+51
| | | | | | | This fixes some dfflegalize equivalence checks, and breaks others — and I strongly suspect the others are due to bad support for multiple async inputs in `proc` (in particular, lack of proper support for dlatchsr and sketchy circuits on dffsr control inputs).
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
|
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-58/+58
|
* kernel: use more ID::*Eddie Hung2020-04-021-1/+1
|
* kernel: SigSpec use more const& + overloads to prevent implicit SigSpecEddie Hung2020-03-131-8/+8
|
* clk2fflogic: work for bit-level $_DFF_* and $_DFFSR_*Eddie Hung2020-01-151-6/+77
|
* Fix tests/various/async FFL testClifford Wolf2019-07-091-0/+7
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
| | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established)
* Add $dlatchsr support to clk2fflogicClifford Wolf2018-02-261-4/+25
|
* Fix a bug in clk2fflogic memory handlingClifford Wolf2017-12-141-1/+1
|
* Add clk2fflogic memory supportClifford Wolf2017-12-141-1/+77
|
* Check for memories in clk2fflogicClifford Wolf2017-12-131-0/+5
|
* Added clk2fflogic support for $dffsr and $dlatchClifford Wolf2016-10-171-1/+57
|
* Improvements and bugfixes in clk2fflogicClifford Wolf2016-10-161-13/+21
|
* Some minor build fixes for Visual CClifford Wolf2016-10-141-2/+11
|
* Added clk2fflogicClifford Wolf2016-10-141-0/+153
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-30 09:27:41 +0000