Al-bayati, Zaid (2012) Design and Verification of Clock Domain Crossing Interfaces. Masters thesis, Concordia University.