summaryrefslogtreecommitdiff
path: root/tests/sat/counters-repeat.ys
blob: b3dcfe08aa01a86527c02bbe63d44ac40576f772 (plain)
1
2
3
4
5
6
7
8
9
10
read_verilog counters-repeat.v
proc; opt

expose -shared counter1 counter2
miter -equiv -make_assert -make_outputs counter1 counter2 miter

cd miter; flatten; opt
sat -verify -prove-asserts -tempinduct -set-at 1 in_rst 1 -seq 1 -show-inputs -show-outputs