A unified component modeling approach for performance estimation in hardware/software codesign

Presents an approach for abstract modeling of hardware/software architectures using hierarchical colored Petri nets. The approach is able to capture complex behavioral characteristics often seen in software and hardware architectures; thus, it is suitable for high-level codesign issues such as performance estimation. In this paper, the development of a model of the ARM7 processor is described to illustrate the full potential of the modeling approach. To further illustrate the approach, a cache model is also described. The approach and related tools are currently being implemented in LYCOS (LYngby COsynthesis System).

[1]  Kurt Jensen,et al.  Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1 , 1996 .

[2]  Donatella Sciuto,et al.  The role of VHDL within the TOSCA hardware/software codesign framework , 1994, EURO-DAC '94.

[3]  Anne Elisabeth Haxthausen,et al.  LYCOS: the Lyngby Co-Synthesis System , 1997, Des. Autom. Embed. Syst..

[4]  William M. Waite.  Code Generation , 1976, Compiler Construction.

[5]  Lehrstuhl Informatik Xii.  The MIMOLA Language Version 4.1 , 1994 .

[6]  Steve Furber,et al.  ARM System Architecture , 1996 .

[7]  Daniel Gajski,et al.  Software estimation using a generic-processor model , 1995, Proceedings the European Design and Test Conference. ED&TC 1995.

[8]  ServiceInitiation,et al.  PERFORMANCE ESTIMATION FOR HARDWARE / SOFTWARE CODESIGN USING HIERARCHICAL COLORED PETRI NETS , 1998 .

[9]  Jan Madsen,et al.  Performance Estimation for Hardware/Software codesign using Hierarchical Colored Petri Nets , 1998 .

[10]  Maria Freericks,et al.  The nml machine description formalism , 1991 .

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

[12]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[13]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[14]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .