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


            
            read_verilog proc_02.v

            
            hierarchy -check -top test

            
            proc;;