yosys

Commit Graph

Author	SHA1	Message	Date
Jannis Harder	c0063288d6	Add the $anyinit cell and the formalff pass These can be used to protect undefined flip-flop initialization values from optimizations that are not sound for formal verification and can help mapping all solver-provided values in witness traces for flows that use different backends simultaneously.	2022-08-16 13:37:30 +02:00
Marcelina Kościelnicka	93508d58da	Add $bmux and $demux cells.	2022-01-28 23:34:41 +01:00
Marcelina Kościelnicka	63b9df8693	kernel/ff: Refactor FfData to enable FFs with async load. - _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	2021-10-02 20:19:48 +02:00
Claire Xenia Wolf	72787f52fc	Fixing old e-mail addresses and deadnames 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;	2021-06-08 00:39:36 +02:00
Xiretza	928fd40c2e	Respect \A_SIGNED for $shift This reflects the behaviour of $shr/$shl, which sign-extend their A operands to the size of their output, then do a logical shift (shift in 0-bits).	2020-08-18 19:36:24 +02:00
Marcelina Kościelnicka	0c6d0d4b5d	satgen: Add support for dffe, sdff, sdffe, sdffce cells.	2020-07-24 03:19:21 +02:00
Marcelina Kościelnicka	85a1bb17ed	satgen: Move importCell out of the header. This function has no hope of ever getting inlined anyway, and it speeds up yosys compile time by 7%.	2020-07-19 00:17:02 +02:00

7 Commits