mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity
yosys/kernel
History
Marcelina Kościelnicka d25b9088c8 Refactor common parts of SAT-using optimizations into a helper. 
This also aligns the functionality:

- in all cases, the onehot attribute is used to create appropriate
  constraints (previously, opt_dff didn't do it at all, and share
  created one-hot constraints based on $pmux presence alone, which
  is unsound)
- in all cases, shift and mul/div/pow cells are now skipped when
  importing the SAT problem (previously only memory_share did this)
  — this avoids creating clauses for hard cells that are unlikely
  to help with proving the UNSATness needed for optimization
2021-08-09 16:54:35 +02:00
..
bitpattern.h Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
calc.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
cellaigs.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
cellaigs.h Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
celledges.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
celledges.h Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
celltypes.h memory: Introduce $meminit_v2 cell, with EN input. 2021-07-28 23:18:38 +02:00
consteval.h Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
constids.inc techmap: Add _TECHMAP_CELLNAME_ special parameter. 2020-07-21 15:00:54 +02:00
cost.h Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
driver.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
ff.h Add new helper class for merging FFs into cells, use for memory_dff. 2021-05-23 14:46:59 +02:00
ffinit.h Add new helper class for merging FFs into cells, use for memory_dff. 2021-05-23 14:46:59 +02:00
ffmerge.cc Add new helper class for merging FFs into cells, use for memory_dff. 2021-05-23 14:46:59 +02:00
ffmerge.h Add new helper class for merging FFs into cells, use for memory_dff. 2021-05-23 14:46:59 +02:00
hashlib.h Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
log.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
log.h Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
macc.h Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
mem.cc memory: Introduce $meminit_v2 cell, with EN input. 2021-07-28 23:18:38 +02:00
mem.h memory: Introduce $meminit_v2 cell, with EN input. 2021-07-28 23:18:38 +02:00
modtools.h Refactor common parts of SAT-using optimizations into a helper. 2021-08-09 16:54:35 +02:00
qcsat.cc Refactor common parts of SAT-using optimizations into a helper. 2021-08-09 16:54:35 +02:00
qcsat.h Refactor common parts of SAT-using optimizations into a helper. 2021-08-09 16:54:35 +02:00
register.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
register.h Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
rtlil.cc memory: Introduce $meminit_v2 cell, with EN input. 2021-07-28 23:18:38 +02:00
rtlil.h rtlil: Make Process handling more uniform with Cell and Wire. 2021-07-12 00:47:34 +02:00
satgen.cc Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
satgen.h Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
sigtools.h Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
timinginfo.h Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
utils.h Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
yosys.cc Fix WASI build after commit 1d88bea1. 2021-06-19 02:59:57 +00:00
yosys.h rtlil: Make Process handling more uniform with Cell and Wire. 2021-07-12 00:47:34 +02:00