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


            
            read_verilog -sv sizebits.sv

            
            prep; sat -verify -prove-asserts
	read_verilog -sv sizebits.sv
	prep; sat -verify -prove-asserts