A transaction level model of a PCI express root complex implemented in systemc