diff options
Diffstat (limited to 'tests/opt/opt_rmdff.ys')
| -rw-r--r-- | tests/opt/opt_rmdff.ys | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/tests/opt/opt_rmdff.ys b/tests/opt/opt_rmdff.ys deleted file mode 100644 index 081f81782..000000000 --- a/tests/opt/opt_rmdff.ys +++ /dev/null @@ -1,26 +0,0 @@ -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* -select -assert-count 0 t:$dffe 7:$_DFFE_* %u c:noenable* %i - -design -stash gate - -design -import gold -as gold -design -import gate -as gate - -equiv_make gold gate equiv -hierarchy -top equiv -equiv_simple -undef -equiv_status -assert - -design -load gold -stat - -design -load gate -stat |