diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-13 08:20:01 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-07-01 19:51:47 +0000 |
| commit | 91c20fca724b1f3ec1d0208a9e135b5abd75c0c1 (patch) | |
| tree | 58d223ad3749d7ed2b8ddcc5c1a2a5c3ca4c9a30 /CodingReadme | |
| parent | c26a8d1ee051b1bb7925a58d713c452c376c1d25 (diff) | |
| download | yosys-91c20fca724b1f3ec1d0208a9e135b5abd75c0c1.tar.gz yosys-91c20fca724b1f3ec1d0208a9e135b5abd75c0c1.tar.bz2 yosys-91c20fca724b1f3ec1d0208a9e135b5abd75c0c1.zip | |
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.
Diffstat (limited to 'CodingReadme')
0 files changed, 0 insertions, 0 deletions