SVIncCompil/Testcases/YosysTests/misc/scripts/select_read.ys - third_party/Surelog - Git at Google

 read_verilog ../top.v
 proc
 select -add top -add middle
 select -write select_f
 tee -o result.log select -read select_f
 tee -o result.log select -list
	read_verilog ../top.v
	proc
	select -add top -add middle
	select -write select_f
	tee -o result.log select -read select_f
	tee -o result.log select -list