高性能微处理器浮点运算部件的功能验证

摘要

介绍了微处理器基于模拟的功能验证的理论和一般方法以及一种高性能微处理器浮点运算部件的基于模拟的功能验证环境,该环境包括伪随机的浮点运算指令生成器、部分兼容IEEE754浮点运算标准的软件参考模型、功能覆盖率检查器等.其中,浮点运算指令生成器使用E语言(IEEEp1647)编写,并按微结构的特点对浮点部件庞大的测试空间进行划分,确保了测试所用数据的典型性.