Title :
A multi-level design flow for incorporating IP cores: case study of 1D wavelet IP integration
Author :
Baganne, Adel ; Bennour, Imed ; Elmarzougui, Mehrez ; Gaiech, Riadh ; Martin, Eric
Author_Institution :
LESTER Lab., Univ. de Bretagne Sud, Lorient, France
Abstract :
The design of high performance multimedia systems in a short time force us to use IP blocks in many designs. However, their correct integration in a design implies more complex verification problems. In this paper, we present a C++/SystemC based simulation flow at multiple levels of abstraction. Our approach is to use SystemC to describe both the 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 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.
Keywords :
C++ language; formal specification; formal verification; hardware-software codesign; industrial property; logic design; logic simulation; system-on-chip; wavelet transforms; 1D wavelet transform IP integration; C++/SystemC based simulation; EDA co-verification tools; HW/SW co-design; IP block reuse; IP core incorporation; SoC design; abstraction levels; algorithmic specification; co-simulation design; intellectual property; multilevel design flow; system verification; systems-on-chip; wavelet based compression system; wavelet transform IP core; Algorithm design and analysis; Computer aided software engineering; Design methodology; Electronic design automation and methodology; Frequency synchronization; Intellectual property; Multimedia systems; Protocols; Signal processing algorithms; Timing;
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition, 2003
Print_ISBN :
0-7695-1870-2
DOI :
10.1109/DATE.2003.1253837