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

Author

Shen Hai-Bin

Volume

1

fYear

2003

fDate

21-24 Oct. 2003

Firstpage

381

Abstract

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.

Keywords

formal verification; integrated circuit design; integrated circuit testing; peripheral interfaces; protocols; system-on-chip; PCI protocol; PCI specification; SoC based high performance PCI Bridge; configurable host/guest application mode; formal verification method; functional reusability; functional testing; functional verification; integrated circuit design; integrated circuit testing; intellectual property; peripheral component interconnect; system on chip; verification platform;

fLanguage

English

Publisher

ieee

Conference_Titel

ASIC, 2003. Proceedings. 5th International Conference on

ISSN

1523-553X

Print_ISBN

0-7803-7889-X

Type

conf

DOI

10.1109/ICASIC.2003.1277567

Filename

1277567