1 PCI transaction ordering verification using trace inclusion refinement Mike Jones UV Meeting October 4, 1999.