论文部分内容阅读
随着集成电路物理尺寸的缩小，设计的复杂度不断增加，面市时间不断缩短。功能验证已成为设计开发周期中的瓶颈，占据整个设计一半以上的时间。对微处理器而言，它们的种类繁多、架构各异，而且通常有不同的指令集。如果能提出一套通用的验证方案，对各种架构的微处理器进行快速而有效的功能(指令)验证，将大大提高设计开发的效率。
本文提出了一种微处理器验证的方案，并在具体项目中对8位微处理器MC6809 IP进行实践。采用基于仿真的验证流程：首先根据处理器的设计规约，用C语言建立参考模型；然后设计测试用例，分别施加到参考模型和RTL模型上，将得到输出响应进行比较，验证RTL的功能是否与设计规约一致。项目最终验证通过并成功流片。这种验证方法可以推广到其它架构的微处理器，具有一定的理论和工程价值。