SVIncCompil/Testcases/YosysTests/frontends/scripts/read_ilang_lib.ys - third_party/Surelog - Git at Google

 read_verilog ../top.v
 proc
 memory
 dump -o file.il
 write_ilang ilang.ilang
 design -reset
 read_ilang -lib ilang.ilang
 read_ilang ilang.ilang
 dump -n -o file1.il
 write_verilog synth.v
	read_verilog ../top.v
	proc
	memory
	dump -o file.il
	write_ilang ilang.ilang
	design -reset
	read_ilang -lib ilang.ilang
	read_ilang ilang.ilang
	dump -n -o file1.il
	write_verilog synth.v