3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-08 10:25:19 +00:00
yosys/passes
Alberto Gonzalez 91c20fca72
glift: Add -simple-cost-model option
Rather than assigning specific weights to specific versions of taint tracking logic and summing the weights of all GLIFT cells, sum the following values for each GLIFT cell:
  - 0 if the associated hole/$anyconst cell value is non-zero, i.e. reduced-precision taint tracking logic is chosen at this cell
  - 1 if the associated hole/$anyconst cell value is zero, i.e. the full-precision taint tracking logic is chosen at this cell

This simplified cost modeling reduces the potential for the QBF-SAT solver to minimize taint tracking logic area but significantly simplifies the QBF-SAT problem.
2020-07-01 19:51:47 +00:00
..
cmds glift: Add -simple-cost-model option 2020-07-01 19:51:47 +00:00
equiv Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
fsm Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
hierarchy Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
memory Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
opt Merge pull request #2168 from whitequark/assert-unused-exprs 2020-06-25 18:21:51 +02:00
pmgen Use [[maybe_unused]] instead of YS_ATTRIBUTE(unused). 2020-06-19 15:48:58 +00:00
proc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
sat Merge pull request #2138 from boqwxp/qbfsat-oflag 2020-07-01 16:35:27 +02:00
techmap techmap: don't drop attributes on replaced cells. 2020-06-29 23:14:13 +00:00
tests Merge pull request #2201 from YosysHQ/fix_test_cell_ilang 2020-06-30 17:11:13 +02:00