论文部分内容阅读
根据PCI 2.2协议规范,设计了高性能PCI Bridge IP以及两种提高可重用性的结构,并分析了实现的关键.另外,为了保证PCI协议的兼容性,以及其它功能测试、验证的要求,建立了一个PCI协议规范验证平台.在验证平台中,采用了形式验证的方法来实现PCI协议的描述,以保证验证平台本身的正确性.