J-STAGE Home  >  Publications - Top  > Bibliographic Information

IEICE Electronics Express
Vol. 8 (2011) No. 13 P 994-1000




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.

Copyright © 2011 by The Institute of Electronics, Information and Communication Engineers

Article Tools

Share this Article