System Level Assertion-Based Verification Environment for PCI/PCI-X and PCI-Express. - Min An Song (CIS, 2007)