Verification of a third-generation-interconnection from implementation to initial operation

In recent years, more and more system design-ers have discovered the importance of Assertion Based Verification (ABV) with complex SoC de-signs. This paper shows the development of a PCI Express macro by adding PSL assertions in a useful way. In Addition it explains how the inter-face is constraint with assertions to ease the in-tegration of the core for IP reuse. Furthermore our experiences with the protocol analyser and exerciser are discussed. Another focus is on the signal integrity, which has been checked on dif-ferent boards with approved measurement equipment. In conclusion, the use of the pre-sented verification methods can dramatically re-duce the time from specification to a running sys-tem.