yosys

Commit Graph

Author	SHA1	Message	Date
Alberto Gonzalez	20ad371724	glift: Replace `YS_OVERRIDE` with `override`.	2020-07-01 19:51:47 +00:00
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
Alberto Gonzalez	26bd686259	glift: Add `-instrument-more` option to add 4 more versions of taint tracking logic. Also refactor a bit and update help text.	2020-07-01 19:51:46 +00:00
Alberto Gonzalez	bc207d5426	glift: Change command names to better represent their functions.	2020-07-01 19:51:46 +00:00
Alberto Gonzalez	ddfb9f08e2	glift: Add `-create-imprecise` command, rename other commands, and re-work the help text.	2020-07-01 19:51:46 +00:00
Alberto Gonzalez	72cebef279	glift: Add replacement scoring and area minimization option.	2020-07-01 19:51:46 +00:00
Alberto Gonzalez	c36440a7ee	glift: Remove outputs by default; add `-keep-outputs` option; properly reset internal state between calls.	2020-07-01 19:51:46 +00:00
Alberto Gonzalez	19dafcd4f1	glift: Initial implementation of the `-sketchify` option.	2020-07-01 19:51:46 +00:00
Alberto Gonzalez	09848b3b9f	glift: Initial implementation of GLIFT model construction.	2020-07-01 19:51:45 +00:00
Alberto Gonzalez	5f45fe51ea	glift: Add skeleton for `glift` command.	2020-07-01 19:51:45 +00:00

10 Commits