Simulation and analysis of embedded DSP systems using MASIC methodology

MASIC, short for maths to ASIC, models embedded DSP systems using a grammar based technique. This paper presents a simulation and analysis technique for the MASIC model of a system. We build a Petri net (PN) representation of the MASIC model to simulate the communication architecture. It helps to evaluate the effects of architectural decisions early in the design cycle. The correctness of the protocol description is analyzed using PN based boundedness and conservation analysis.

[1]  Adam Postula,et al.  Hardware software codesign of DSP system using grammar based approach , 2001, VLSI Design 2001. Fourteenth International Conference on VLSI Design.

[2]  Luciano Lavagno,et al.  Trade-off evaluation in embedded system design via co-simulation , 1997, Proceedings of ASP-DAC '97: Asia and South Pacific Design Automation Conference.

[3]  Sujit Dey,et al.  System-level performance analysis for designing on-chipcommunication architectures , 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[4]  Luciano Lavagno,et al.  A case study on modeling shared memory access effects during performance analysis of HW/SW systems , 1998, Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98).

[5]  Sujit Dey,et al.  Performance analysis of a system of communicating processes , 1997, ICCAD 1997.

[6]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[7]  Johnny Öberg,et al.  System Level Virtual Prototyping of DSP SOCs Using Grammar Based Approach , 2000, Des. Autom. Embed. Syst..

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

[9]  Luciano Lavagno,et al.  Efficient methods for embedded system design space exploration , 2000, Proceedings 37th Design Automation Conference.