System Verification and Analysis of ALU for RISC Processor | IEEE Conference Publication | IEEE Xplore