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