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


            
            read_verilog -sv ../top.v

            
            synth -top top

            
            write_blif -top top blif.blif

            
            write_verilog synth.v
	read_verilog -sv ../top.v
	synth -top top
	write_blif -top top blif.blif
	write_verilog synth.v