mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

Update test

Browse source
This commit is contained in:
Eddie Hung 2019-10-02 18:03:45 -07:00
parent d99810ad8a
commit f6fabc8fda
1 changed files with 3 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
tests/various/peepopt.ys
View file

@ -188,19 +188,9 @@ endmodule
EOT EOT
proc proc
#equiv_opt -assert peepopt 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
design -load postopt design -load postopt
wreduce select -assert-count 1 t:$dff r:WIDTH=4 %i
select -assert-count 1 t:$dff r:WIDTH=2 %i
select -assert-count 2 t:$mux 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 select -assert-count 0 t:$logic_not t:$dff t:$mux %% t:* %D