Accelerating functional verification of PCI express endpoint by emulating host system using PCI express core

PCI Express is a high-performance I/O bus protocol. The PCI Express protocol provides higher bandwidth than the legacy buses that makes PCI Express as an ideal choice for a wide variety of applications such as Network Interface, Graphics Accelerators, and Storage Controllers (SSD). The PCI Express protocol supports many features to improve performance of I/O Bus, so verification of a design based on this protocol is a very long and time consuming process. As an application based on the PCI Express protocol becomes more and more complex the verification complexity increases many folds. PCI Express Endpoint device communicates with the host (Processor/Memory) using the Host Interface logic. This logic plays a vital role as it can affect the overall performance of the Endpoint device. The Host Interface logic is protocol specific and responsible for the data transfer from host to device and vice versa. Strategically, as this logic is very crucial, it has to be verified properly. There are multiple ways to verify the host interface logic. However, there is a trade-off between design development time (including verification time) and overall cost. In this paper we present a novel approach to verify the Host Interface Logic. Our method uses a PCI Express core that will act as the Root Complex connected to the Host Interface Logic, i.e. Design Under Test (DUT), this will help to minimize overall design development time by reducing verification time.

[1]  S. Tahar,et al.  Design for verification of a PCI bus in SystemC , 2004, 2004 International Symposium on System-on-Chip, 2004. Proceedings..

[2]  Weizhi Liao,et al.  A Fuzzy Model of Interval speed Continuous Petri Nets , 2007 .

[3]  Peter Böhm,et al.  Incremental and Verified Modeling of the PCI Express Protocol , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[4]  Faya Peng Integrating PCI express into PXI and VXI for high performances systems , 2007, 2007 IEEE Autotestcon.

[5]  Yi-Jong Yeh,et al.  SYSTEM LEVEL ASSERTION-BASED VERIFICATION ENVIRONMENT FOR PCI/PCI-X AND PCI-EXPRESS , 2004 .

[6]  Byeong Min,et al.  Beyond UVM for practical SoC verification , 2011, 2011 International SoC Design Conference.

[7]  Eugin Hyun,et al.  Design and verification for PCI Express controller , 2005, Third International Conference on Information Technology and Applications (ICITA'05).

[8]  P Bohm Incremental and Verified Modeling of the PCI Express Protocol , 2010 .

[9]  Enhua Wu,et al.  Emerging technology about GPGPU , 2008, APCCAS 2008 - 2008 IEEE Asia Pacific Conference on Circuits and Systems.

[10]  Amith R. Mamidala,et al.  Performance evaluation of InfiniBand with PCI Express , 2004, Proceedings. 12th Annual IEEE Symposium on High Performance Interconnects.