Notice of Violation of IEEE Publication PrinciplesThe co-simulation interface SystemC/Matlab applied in JPEG algorithm

Functional verification is a major part of today's system design task. Several approaches are available for verification on a high abstraction level, where designs are often modeled using MATLAB/Simulink. However, different approaches are a barrier to a unified verification flow. In this paper, we propose a co-simulation interface between SystemC and MATLAB and Simulink to enable functional verification of multi-abstraction levels designs. The resulting verification flow is tested on JPEG compression algorithm. The required synchronization of both simulation environments, as well as data type conversion is solved using the proposed co-simulation flow. We divided into two encoder jpeg parts. First implemented in SystemC which is the DCT is representing the party HW. The second consisting of quantization and entropy encoding is implemented in Matlab is the SW part. For communication and synchronization between these two parts we use S-Function and engine in Simulink matlab. With this research premise, this study introduces a new implementation of a Hardware SystemC of DCT. We compare the result of our simulation compared to SW / SW. We observe a reduction in simulation time you have 88.15%.

[1]  Mark Glasser,et al.  The Transaction-Based Verification Methodology , 2000 .

[2]  Joseph Mitola,et al.  The software radio architecture , 1995, IEEE Commun. Mag..

[3]  M. Abid,et al.  A SystemC/Simulink Co-Simulation Framework for Continuous/Discrete-Events Simulation , 2006, 2006 IEEE International Behavioral Modeling and Simulation Workshop.

[4]  Katalin Popovici Environnement de Programmation Multi Niveau pour Architectures Hétérogènes MPSoC , 2008 .

[5]  Y. Savaria,et al.  An efficient methodology for design and verification of an equalizer for a software defined radio , 2004, The 2nd Annual IEEE Northeast Workshop on Circuits and Systems, 2004. NEWCAS 2004..

[6]  Zeljko Zilic,et al.  Efficient multi-abstraction level functional verification methodology for DSP applications , 2005 .

[7]  Mohamed Abid,et al.  Notice of Violation of IEEE Publication PrinciplesUsing matlab and Simulink in SystemC verification environment By JPEG algorithm , 2009, 2009 16th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2009).

[8]  Sergio Omar Martinez-Chapa,et al.  Hardware/software implementation of a discrete cosine transform algorithm using SystemC , 2005, 2005 International Conference on Reconfigurable Computing and FPGAs (ReConFig'05).

[9]  Hisao Koizumi,et al.  A Student Experiment Method for Learning the Basics of Embedded Software Development Including HW/SW Co-design , 2008, 22nd International Conference on Advanced Information Networking and Applications - Workshops (aina workshops 2008).

[10]  Mohamed Abid,et al.  Exploration of hardware/software design space through a codesign of robot arm controller , 1996, Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition.

[11]  Jean-François Boland,et al.  Using Matlab and Simulink in a SystemC Verification Environment , 2005 .

[12]  Luca Benini,et al.  SystemC Cosimulation and Emulation of Multiprocessor SoC Designs , 2003, Computer.