yosys/passes/sat
Marcelina Kościelnicka 4e70c30775 FfData: some refactoring.
- 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
2021-10-07 04:24:06 +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 FfData: some refactoring. 2021-10-07 04:24:06 +02:00
clk2fflogic.cc FfData: some refactoring. 2021-10-07 04:24:06 +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