diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-23 06:41:58 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-07-01 19:51:46 +0000 |
| commit | 72cebef279357435cde115851bc095375763108c (patch) | |
| tree | e3c945ba63dee9e06093cb5c73b08c0830319733 /examples/smtbmc/demo1.v | |
| parent | c36440a7ee158f6d9072913358d2cb15badc4a75 (diff) | |
| download | yosys-72cebef279357435cde115851bc095375763108c.tar.gz yosys-72cebef279357435cde115851bc095375763108c.tar.bz2 yosys-72cebef279357435cde115851bc095375763108c.zip | |
glift: Add replacement scoring and area minimization option.
Diffstat (limited to 'examples/smtbmc/demo1.v')
0 files changed, 0 insertions, 0 deletions