manual/PRESENTATION_ExSyn/opt_02.ys - third_party/yosys - Git at Google


            
            read_verilog opt_02.v

            
            hierarchy -check -top test

            
            opt