Cell Modeling And Verification Of Full Custom MicroProcessor

The full-custom X microprocessor is so complex that the system verification is very difficult. The verification based on FPGA may improve the process for such a complicated microprocessor at system level. However, the method is mostly used for semi-custom design. Because there exists many differences between the full-custom and the semi-custom, the verification based on FPGA for X microprocessor is rather difficult.Not like the semi-custom emulation model built for the design specification, the X microprocessor emulation model is built based on full-custom design data. The difficulty of this method is that the workload is heavy and how to ensure the consistency between design model and emulation model.This paper mainly focuses on how to build the emulation models of full-custom cells and ensure their validity. The problem of how to constitute emulation model and the way of solving it through detailed analysis on X microprocessor circuit architecture are researched, and both formal and simulation method to validate the model and improve the verification efficiency are adopted.