Salah Merniz, Mohamed Benmohammed. A Scalable Proof Methodology for RISC Processor Designs: A Functional Approach. In Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA. pages 241-246, IEEE Computer Society, 2008. [doi]
Abstract is missing.