aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/clk2fflogic.cc
Commit message (Collapse)AuthorAgeFilesLines
* 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