diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-28 06:13:12 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-07-01 19:51:46 +0000 |
| commit | ddfb9f08e20557ab434017a053f14067992b0ea9 (patch) | |
| tree | 75dabcbf4130d791a3785f17137f33e5a50ecc08 /examples/smtbmc/glift/alu2.ys | |
| parent | ca3844d44e07a86d22d6026861cd405f80b0d321 (diff) | |
| download | yosys-ddfb9f08e20557ab434017a053f14067992b0ea9.tar.gz yosys-ddfb9f08e20557ab434017a053f14067992b0ea9.tar.bz2 yosys-ddfb9f08e20557ab434017a053f14067992b0ea9.zip | |
glift: Add `-create-imprecise` command, rename other commands, and re-work the help text.
Diffstat (limited to 'examples/smtbmc/glift/alu2.ys')
| -rw-r--r-- | examples/smtbmc/glift/alu2.ys | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/smtbmc/glift/alu2.ys b/examples/smtbmc/glift/alu2.ys index b0d7b3164..72cdaceba 100644 --- a/examples/smtbmc/glift/alu2.ys +++ b/examples/smtbmc/glift/alu2.ys @@ -2,7 +2,7 @@ read_verilog alu2.v techmap flatten select alu2_lev2 -glift -optimize-precise +glift -create-sketch techmap opt rename alu2_lev2 uut |