Research On Verification Of High Reliability Microprocessor

Verifying the correctness of the final design is critical for complex chip design. It's reported that the success rate in chip tape-out is about 35%, which is mainly caused by no complete verification. As the scale of the design increasing, the workload and complexity of verification are expanding even more quickly. It is now dedicated to verification between 60% to 80% time and effort. And there is growing concern about verification in academic and industry. How to implement the verification platform to achieve the success of verification quickly and efficiently is one of the hot points in IC design and verification fields.According to the requirements of project and the characteristic of microprocessor design, the multi-level verification system has been applied to the verification strategy of high availability microprocessor. Combined with availability characteristics of R80515 microprocessor, we also propose fault injection testing. Design the software simulation platform for R80515, and verify it on the platform by specified strategy.The result indicates that the platform has high reuse. Set up the FPGA verification platform for R80515 microprocessor core, propose the techniques and plan for the microprocessor core, and verify R80515 on the FPGA platform. The FPGA partitioning and the FPGA pin replicating of multi-FPGAs have been studied. We have proposed virtual I/O technique and FPGA partitioning based on system function and pipeline structure.The research in this thesis has significant value of reference in the effective verification of microprocessor design.