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

Harlald Obereder, Christian Saminger, Markus Pfaff

Research output: Chapter in Book/Report/Conference proceedingsConference contribution


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.
Original languageEnglish
Title of host publicationProceedings of the PCI SIG Developers Conference 2007
Publication statusPublished - 2007
EventPCI SIG Developers Conference 2007 - San Jose, United States
Duration: 21 May 200722 May 2007


ConferencePCI SIG Developers Conference 2007
Country/TerritoryUnited States
CitySan Jose


Dive into the research topics of 'Verification of a third-generation-interconnection from implementation to initial operation'. Together they form a unique fingerprint.

Cite this