With the development of SOC technology, the structure of today's CPU is very complex, conventional design and verification methods such as testing and simulating can't guarantee the correctness of CPU ...