SpecC System-Level Design Methodology Applied to the Design of a GSM Vocoder

| In this paper we describe the steps and transformations of the SpecC system-level design methodology applied to the example of designing and implementing a voice encoding/decoding system with the purpose of demonstrating this design methodology on an industrial size example. Starting with the system speci cation, the design is gradually re ned down to an optimal hardware/software implementation. The results show that the well-de ned models, steps and transformations of the SpecC methodology lead to a signi cant productivity gain.

[1]  S. Hayashi,et al.  Design and description of CS-ACELP: a toll quality 8 kb/s speech coder , 1998, IEEE Trans. Speech Audio Process..

[2]  Daniel D. Gajski,et al.  The SpecC Language Reference Manual , 1998 .

[3]  Dsp Division,et al.  DSP56600 16-bit Digital Signal Processor Family Manual , 1996 .

[4]  Giovanni De Micheli,et al.  Hardware-software cosynthesis for digital systems , 1993, IEEE Design & Test of Computers.

[5]  Ahmed Amine Jerraya,et al.  Methodology for design of embedded systems , 1997 .

[6]  Stan Y. Liao,et al.  Using a Programming Language for Digital System Design , 1997, IEEE Des. Test Comput..

[7]  W. Wolf,et al.  Hardware/software co-synthesis with memory hierarchies , 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

[8]  Alice C. Parker,et al.  SOS: Synthesis of application-specific heterogeneous multiprocessor systems , 2001, J. Parallel Distributed Comput..

[9]  Daniel D. Gajski,et al.  Design of a GSM Vocoder using SpecC Methodology , 1999 .

[10]  Luciano Lavagno,et al.  Hardware-software co-design of embedded systems: the POLIS approach , 1997 .

[11]  Redwan Salami,et al.  GSM enhanced full rate speech codec , 1997, 1997 IEEE International Conference on Acoustics, Speech, and Signal Processing.