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