Design for verification of a PCI bus in SystemC. - Karim Oumalou; Ali Habibi; Sofiène Tahar (SoC, 2004)