Al-Akhras, Salim Ismail (2012) On the Verification of a WiMax Design Using Symbolic Simulation. Masters thesis, Concordia University.