Design and verification for PCI express controller

In this paper, we design a PCI Express controller for Endpoint. The controller supports full functionality of Transaction Layer and Data Link Layer of PCI Express. We also propose an efficient buffer-management scheme to obey replay mechanism. We employ 80C51 to effectively manage designed functional blocks and implement Real-Time OS, MicroC/OS II on 80C51. We also code software under real time environment. This coded software fully covers the PCI Express protocols; supporting the replay mechanism, checking and generating error message, processing TLP acknowledgment, and management for exchanging Flow Control. For verification, we build a test bench including functional models of Host Bridge, Local Master, Local Slave, and Protocol Monitor. We also define the instructions to easily generate situations that it will occur in actual operation. We propose an effective verification to compliance and corner case testing using Reference Model, Random Generator, and Compare Engine. This verification environment is excellent to find error which it not detected by general test vector.