Full system verification of compatible microprocessors with a dual physical core verification platform

This paper presents a dual physical core verification (DPCV) platform that verifies the device under verification (DUV) microprocessor with an existing compatible one at run time. Working as fault tolerance, both cores execute the same program and compare each data transaction. The DPCV synchronizes both microprocessors when data write or external interrupt occurs for data consistency and buffers the I/O data read for the DUV. If the data transactions are inconsistent, the DPCV suspends both cores after the fault for verification.