Moinudeen, Haja (2006) Design for verification of a PCI-X bus model. Masters thesis, Concordia University.