Design and verification of a SoC-based high performance PCI Bridge

According to the SoC Design methodology, an IP (Intellectual Property) of high performance PCI Bridge compliant with the specification of PCI (Peripheral Component Interconnect) 2.2 is presented in this paper. Two new structures of functional reusability were introduced, which supported 32/64 bits transaction and configurable Host/Guest application mode. Also, the key technique for the realization of the PCI Bridge was analyzed. In order to assure the compatibility and to meet the functional testing and verification, a verification platform of PCI specification was presented. A formal verification method, which was used to verify the correctness of the implementation of PCI protocol, was as well proposed.