论文部分内容阅读
高性能微处理器复杂度不断增大，验证也变得更为复杂，已成为设计过程中的瓶颈。文章就兼容微处理器的验证．提出了基于Simies构建系统级验证平台的一种设计方法。通过自行开发的控制模块把Simics提供的ISS（Instruction Level Simulator）和相关的存储器模型、外围设备与外部仿真器相连构建了一个验证系统平台。在这个平台中Simics支持的处理器作为待验证兼容处理器的参考模型，测试使用的激励采自真实的操作系统和应用程序，自动比较运行结果。借助于Simics的快速仿真速度和现场恢复能力，该