从PCI接口的综合验证方法

作者：邓婉玲; 郑学仁; 刘伟俭

来源：小型微型计算机系统, 2007, (01): 182-185.

• 验证
• 断言
• BFM模型
• FPGA
• OVL verification
• assertion
• BFM model
• FPGA
• OVL

当今流行的先进的验证技术有很多,本文综合使用了OVL(OpenVerificationLibrary)断言验证、总线功能模型BFM(BusFunctionModule)层次化验证和FPGA(FieldProgrammableGateArray)硬件加速仿真这三种验证技术,搭建一个从PCI(PeripheralComponentInterconnect)接口的验证环境.实验表明,该验证环境增强了验证的可重用性、可控性,极大地减少了仿真的工作量,提高了验证的效率.

• 单位
  华南理工大学