Abstract: We setup a microprocessor co-verification platform based on Verilog PLI and Simics for microprocessor verification. By the Verilog PLI, the platform connects the design microprocessor module with Simics, and compares the results automatically. The platform was used in "Longtium R" microprocessor verification. The results show that this platform enhances the observability and control of the verification process, and is characterized by lightness, quickness of simulation.