Donald Bren School of Information and Computer Sciences

This report describes the development of a High-Level Specification Model of the Enhanced Full Rate (EFR) Vocoder. The EFR Vocoder is a complex speech compression algorithm which is widely used in cellular telephone systems. The Vocoder Specification Model is based on the bit-exact simulation code provided by the ETSI and was written in the SpecC language. A detailed analysis of the simulation code was performed, followed by the development of the Vocoder behaviors in the specification language. An IP Distribution Model of the Vocoder was also developed. The report concludes with an analysis of the suitability of the SpecC language for this project.