riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
yosys/passes/cmds
History
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
..
Makefile.inc glift: Add skeleton for `glift` command. 2020-07-01 19:51:45 +00:00
add.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
autoname.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
blackbox.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
bugpoint.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
check.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
chformal.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
chtype.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
connect.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
connwrappers.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
copy.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
cover.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
delete.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
design.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
edgetypes.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
exec.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
glift.cc glift: Add `-simple-cost-model` option 2020-07-01 19:51:47 +00:00
logcmd.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
logger.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
ltp.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
plugin.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
portlist.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
printattrs.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
qwp.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
rename.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
scatter.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
scc.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
scratchpad.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
select.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
setattr.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
setundef.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
show.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
splice.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
splitnets.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
stat.cc Add new builtin FF types 2020-06-23 15:40:02 +02:00
tee.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
torder.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
trace.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00
write_file.cc Use C++11 final/override keywords. 2020-06-18 23:34:52 +00:00