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


            
            read_verilog proc_01.v

            
            hierarchy -check -top test

            
            proc;;