论文部分内容阅读
高性能CPU设计复杂、规模庞大,其正确性保证是CPU设计的难题之一.为此需要在CPU设计的各个阶段采用一系列验证手段对其进行验证.系统级验证是逻辑模拟验证的最后一道关口,而系统验证规划的好坏则直接关系到系统验证的有效性.本文详述了针对高性能CPU的系统验证规划组织方法,以及各验证方法所能达到的目的和效果.