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