论文部分内容阅读
本文提出了一种PCIX设备的模拟验证环境,该环境能方便的产生各种总线场景,并且监测总线上的事务执行情况,从不同方面验证PCIX设备的协议正确性。同时,该环境也支持自动验证。文章使用了第三方模型建立模拟环境,介绍了模型的的具体结构和使用方法,激励产生,结果检查机制,最后对环境的扩展使用作了说明。