riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
yosys/passes/sat
History
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
..
Makefile.inc Add WASI platform support. 2020-04-30 18:56:25 +00:00
assertpmux.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
async2sync.cc kernel/ff: Refactor FfData to enable FFs with async load. 2021-10-02 20:19:48 +02:00
clk2fflogic.cc kernel/ff: Refactor FfData to enable FFs with async load. 2021-10-02 20:19:48 +02:00
cutpoint.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
eval.cc Use HTTPS for website links, gatecat email 2021-06-09 12:16:56 +02:00
example.v Added support for shifter cells to SAT generator 2013-06-08 15:12:08 +02:00
example.ys Fixes in old SAT example.ys 2014-09-01 11:45:47 +02:00
expose.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
fmcombine.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
fminit.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
freduce.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
miter.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
mutate.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
qbfsat.cc qbfsat: Add `-solver-option` option. 2020-07-20 21:54:56 +00:00
qbfsat.h qbfsat: Add `-solver-option` option. 2020-07-20 21:54:56 +00:00
sat.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
sim.cc memory: Introduce $meminit_v2 cell, with EN input. 2021-07-28 23:18:38 +02:00
supercover.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00