manual/APPNOTE_011_Design_Investigation/example.ys - third_party/yosys - Git at Google

 read_verilog example.v
 show -format dot -prefix example_00
 proc
 show -format dot -prefix example_01
 opt
 show -format dot -prefix example_02

 cd example
 select t:$add
 show -format dot -prefix example_03
	read_verilog example.v
	show -format dot -prefix example_00
	proc
	show -format dot -prefix example_01
	opt
	show -format dot -prefix example_02

	cd example
	select t:$add
	show -format dot -prefix example_03