projects
/
yosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
822d0b7
)
Call proc
author
Eddie Hung
<eddie@fpgeh.com>
Sat, 25 May 2019 01:32:02 +0000
(18:32 -0700)
committer
Eddie Hung
<eddie@fpgeh.com>
Sat, 25 May 2019 01:32:02 +0000
(18:32 -0700)
tests/various/opt_rmdff.ys
patch
|
blob
|
history
diff --git
a/tests/various/opt_rmdff.ys
b/tests/various/opt_rmdff.ys
index fffffb4b5d2fd2a98bc8d884c6a10be6310dd36d..89cd3f0c8298b4763a150a604dcb2053f6677bb9 100644
(file)
--- a/
tests/various/opt_rmdff.ys
+++ b/
tests/various/opt_rmdff.ys
@@
-2,12
+2,12
@@
read_verilog -icells opt_rmdff.v
prep
design -stash gold
read_verilog -icells opt_rmdff.v
+proc
opt_rmdff
select -assert-count 0 c:remove*
select -assert-min 7 c:keep*
-prep
design -stash gate
design -import gold -as gold