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


            
            read_verilog proc_03.v

            
            hierarchy -check -top test

            
            proc;;