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

Harlald Obereder, Christian Saminger, Markus Pfaff

Publikation: Beitrag in Buch/Bericht/TagungsbandKonferenzbeitrag


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.
TitelProceedings of the PCI SIG Developers Conference 2007
PublikationsstatusVeröffentlicht - 2007
VeranstaltungPCI SIG Developers Conference 2007 - San Jose, USA/Vereinigte Staaten
Dauer: 21 Mai 200722 Mai 2007


KonferenzPCI SIG Developers Conference 2007
Land/GebietUSA/Vereinigte Staaten
OrtSan Jose


Untersuchen Sie die Forschungsthemen von „Verification of a third-generation-interconnection from implementation to initial operation“. Zusammen bilden sie einen einzigartigen Fingerprint.