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


            
            read_verilog opt_04.v

            
            hierarchy -check -top test

            
            proc; opt