tests/sat/asserts.ys - third_party/yosys - Git at Google

 read_verilog -sv asserts.v
 hierarchy; proc; opt
 sat -verify -seq 1 -set-at 1 rst 1 -tempinduct -prove-asserts
	read_verilog -sv asserts.v
	hierarchy; proc; opt
	sat -verify -seq 1 -set-at 1 rst 1 -tempinduct -prove-asserts