diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-10-02 18:03:45 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-10-02 18:03:45 -0700 |
| commit | f6fabc8fda1eb00b0227f1a91d85b837a0609728 (patch) | |
| tree | df945add32bc793c8f0584080df8ae21b646d7d8 /tests | |
| parent | d99810ad8a0d56a13cca75c4b129f932491d9c80 (diff) | |
| download | yosys-f6fabc8fda1eb00b0227f1a91d85b837a0609728.tar.gz yosys-f6fabc8fda1eb00b0227f1a91d85b837a0609728.tar.bz2 yosys-f6fabc8fda1eb00b0227f1a91d85b837a0609728.zip | |
Update test
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/various/peepopt.ys | 16 |
1 files changed, 3 insertions, 13 deletions
diff --git a/tests/various/peepopt.ys b/tests/various/peepopt.ys index dc0acf3ca..734a22408 100644 --- a/tests/various/peepopt.ys +++ b/tests/various/peepopt.ys @@ -188,19 +188,9 @@ endmodule EOT proc -#equiv_opt -assert peepopt - -design -save gold -peepopt -design -stash gate -design -import gold -as gold -design -import gate -as gate -miter -equiv -flatten -make_assert -make_outputs gold gate miter -sat -seq 1 -verify -prove-asserts -show-ports miter - +equiv_opt -assert peepopt design -load postopt -wreduce -select -assert-count 1 t:$dff r:WIDTH=2 %i +select -assert-count 1 t:$dff r:WIDTH=4 %i select -assert-count 2 t:$mux -select -assert-count 2 t:$mux r:WIDTH=2 %i +select -assert-count 2 t:$mux r:WIDTH=4 %i select -assert-count 0 t:$logic_not t:$dff t:$mux %% t:* %D |