System Level Assertion-Based Verification Environment for PCI/PCI-X and PCI-Express | IEEE Conference Publication | IEEE Xplore