论文部分内容阅读
当今流行的先进的验证技术有很多,本文综合使用了OVL(Open Verification Library)断言验证、总线功能模型BFM(Bus Function Module)层次化验证和FPGA(Field Programmable Gate Array)硬件加速仿真这三种验证技术,搭建一个从PCI(Peripheral Component Interconnect)接口的验证环境.实验表明,该验证环境增强了验证的可重用性、可控性,极大地减少了仿真的工作量。提高了验证的效率.