In order to reflect a realistic wireless channel as closely as possible, the channel model becomes very complicated and is thus prone to error when implemented as a channel simulator. However, there is no rigorous way of verifying the implementation of the channel simulator. We propose a novel verification methodology that aims at implementing a verified channel simulator for the IMT-Advanced channel model. We first derive a systematic description of the channel model, where a random waveform is generated through various deterministic functional blocks and independent random number generators. We then verify the deterministic functional blocks by adopting the vector-based software verification methodology.