aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/clk2fflogic.cc
Commit message (Expand)AuthorAgeFilesLines
* clk2fflogic: Always correctly handle simultaneously changing signalsJannis Harder2022-10-071-103/+87
* clk2fflogic: Generate less unused logic when using verificJannis Harder2022-08-161-1/+4
* Use wrap_async_control_gate if ff is fineMiodrag Milanovic2022-04-081-9/+11
* Set init values for wrapped async control signalsMiodrag Milanovic2022-04-011-0/+2
* Merge branch 'master' into clk2ff-better-namesClaire Xen2022-02-111-27/+29
|\
| * FfData: some refactoring.Marcelina Kościelnicka2021-10-071-19/+18
| * kernel/ff: Refactor FfData to enable FFs with async load.Marcelina Kościelnicka2021-10-021-16/+18
| * Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
* | clk2fflogic: nice names for autogenerated signalsNoah Moroze2021-03-021-9/+19
|/
* 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
* 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
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
* 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