A Scalable Proof Methodology for RISC Processor Designs: A Functional Approach | IEEE Conference Publication | IEEE Xplore