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

 read_verilog ../top.v
 proc
 select -add top -add middle
 tee -o result.log select -module middle
 tee -o result.log select -list
	read_verilog ../top.v
	proc
	select -add top -add middle
	tee -o result.log select -module middle
	tee -o result.log select -list