摘要
根据PCI 2.2协议规范,设计了高性能PCI Bridge IP以及两种提高可重用性的结构,并分析了实现的关键。另外,为了保证PCI协议的兼容性,以及其它功能测试、验证的要求,建立了一个PCI协议规范验证平台。在验证平台中,采用了形式验证的方法来实现PCI协议的描述,以保证验证平台本身的正确性。
High performance PCI (Peripheral Component Interconnect) bridge IP (Intellectual Property) compliant with the PCI 2.2 specification is designed and two circuit structures with improved reusablity is proposed. Key techniques are analyzed. A verification platform of PCI protocol is built to facilitate performance tests including PCI compatibility. In order to ensure the correctness of the testing platform, a method of format examination is adopted to realize the correct description of PCI protocol.
出处
《电路与系统学报》
CSCD
2003年第6期10-14,共5页
Journal of Circuits and Systems
基金
国家863计划资助课题(2001AA141050)
