Seol mar théacs é seo: The RTL design of 32-bit RISC processor using verilog HDL /