src/Testcases/YosysTests/backends/scripts/write_smt2_anyseq.ys - third_party/Surelog - Git at Google


            
            read_verilog ../top.v

            
            proc

            
            setundef -anyseq

            
            memory

            
            write_smt2 -mem smt2.smt2

            
            write_verilog synth.v
	read_verilog ../top.v
	proc
	setundef -anyseq
	memory
	write_smt2 -mem smt2.smt2
	write_verilog synth.v