A simulation based approach for incorporating virtual components IP cores into multimedia systems design

Growing requirements on the correct design of high performance multimedia systems in a short time force us to use intellectual property (IP) blocks in many designs. However, their correct integration in a design implies more complex verification problems. We present a C++/SystemC based simulation flow at multiple levels of abstraction. Our approach is to use SystemC to describe both application and a set of algorithmic IP cores to be incorporated throughout the design flow. Our methodology supports design refinement through four main abstraction levels, offers verification techniques at each level and allows the use of EDA co-verification tools. The use of C++/SystemC to model all parts of the system provides great flexibility and enables faster simulation compared to existing methodologies. An illustrative case study for a wavelet based compression system design shows that our methodology supports efficient algorithmic specification, where IP models can be easily incorporated, modified and simulated in order to quickly evaluate alternative system implementation.

[1]  Pierre Bricaud,et al.  Reuse methodology manual for system-on-chip designs , 1998 .

[2]  Wayne Wolf,et al.  Hardware/Software Co-Design: Principles and Practice , 1997 .

[3]  Grant Martin,et al.  Surviving the SOC Revolution: A Guide to Platform-Based Design , 1999 .

[4]  Stephen A. Edwards CoCentric System Studio , 2000 .

[5]  Philippe Coussy,et al.  A design methodology for IP integration , 2002, 2002 IEEE International Symposium on Circuits and Systems. Proceedings (Cat. No.02CH37353).

[6]  Ahmed Amine Jerraya,et al.  Mixed-level cosimulation for fine gradual refinement of communication in SoC design , 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

[7]  Stephen A. Edwards,et al.  Design of embedded systems: formal models, validation, and synthesis , 1997, Proc. IEEE.

[8]  R. Seepold Virtual Socket Interface Alliance , 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

[9]  I. Daubechies,et al.  Factoring wavelet transforms into lifting steps , 1998 .