Haja Moinudeen, Ali Habibi, Sofiène Tahar: Design for Verification of the PCI-X Bus. FMCAD 2006: 187-188