From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 19 Aug 2019 04:29:15 +0000 (-0700)
Subject: Merge remote-tracking branch 'origin/master' into clifford/testfast
X-Git-Tag: working-ls180~1133^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e34f2de55d9d1ec8cbdd9c1f3e27af678f0fc2df;p=yosys.git

Merge remote-tracking branch 'origin/master' into clifford/testfast
---

e34f2de55d9d1ec8cbdd9c1f3e27af678f0fc2df
diff --cc tests/opt/opt_rmdff.ys
index 000000000,081f81782..83a162f44
mode 000000,100644..100644
--- a/tests/opt/opt_rmdff.ys
+++ b/tests/opt/opt_rmdff.ys
@@@ -1,0 -1,26 +1,26 @@@
+ 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
++#design -load gold
++#stat
++#
++#design -load gate
++#stat