ABSTRAKSI: Pemodelan kanal flat fading rayleigh menggunakan Hidden Markov Process (HMP) telah dilakukan oleh Turin dan Nobelen pada tahun 1998. Verifikasi perlu dilakukan sebelum hasil-hasil tersebut dijadikan dasar bagi penelitian-penelitian dan pengembangan selanjutnya. Keuntungan melakukan verifikasi secara lengkap adalah terungkapnya celah-celah untuk melakukan perbaikan-perbaikan. Dalam tesis ini kami akan melakukan verifikasi analitis dan simulasi terhadap hasil-hasil yang diperoleh sebelumnya. Simulasi Jakes digunakan sebagai data untuk menguji performansi model HMP waktu diskrit keadaan diskrit untuk pemodelan envelope fading rayleigh dan model sumber error. Estimasi parameter HMP menggunakan metoda Expectation Maximization untuk mencari parameter HMP. Performansi mean fade duration, level crossing rate dan bit error probability akan dijadikan acuan dalam melakukan analisa. Hasil-hasil yang diperoleh menunjukkan kecocokan antara hasil analitik HMP dengan hasil simulasi. Kami tunjukkan bahwa normalisasi terhadap fungsi distribusi durasi fading perlu dilakukan untuk menghilangkan ambiguitas terhadap hasil simulasi.Kata Kunci : ABSTRACT: Rayleigh fading channel modeling using Hidden Markov Process (HMP) has been done by Turin and Nobelen at 1998. Verification of the model must be performed before using it as a foundation for other research or project in wireless channel modeling. By doing total verification we have a complete view about how to enhanced and improve the models. In this thesis we verified the model analytically and by performing simulation. Jakes simulation is treated as a data to test the accuray of HMP’s model of the envelope of rayleigh fading and also to model binary symmetric rayleigh fading additive white gaussian noise channel. HMP’s parameter is fitted using Excpectation Maximization algorithm. We compare HMP’s analytical result for level crossing rate, mean fade duration and bit error probability and compare its to simulation. The two results generally match closely. In fade duration distribution we note that normalizing the pdf will eliminate the ambiguity between analytical result and simulation result.Keyword: