An IDF-based trace transformation method for communication refinement

ABSTRACT

In the Artemis project, design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mapping an application model onto an architecture model is performed using trace-driven co-simulation, where event traces generated by an application model drive the underlying architecture model. The abstract communication events from the application model may, however, not match the architecture-level communication primitives. This paper presents a trace transformation method, which is based on integer-controlled data-flow models, to perform communication refinement of application-level events. We discuss the proposed method in the context of our prototype modeling and simulation environment. Moreover, using several examples and a case study, we demonstrate that our method allows for efficient exploration of different communication behaviors at architecture level without affecting the application model.

REFERENCES

• 1: Cadence Design Systems, Inc., http://www.cadence.com/.
• 2: Felice Balarin , Massimiliano Chiodo , Paolo Giusto , Harry Hsieh , Attila Jurecska , Luciano Lavagno , Claudio Passerone , Alberto Sangiovanni-Vincentelli , Ellen Sentovich , Kei Suzuki , Bassam Tabbara, Hardware-software co-design of embedded systems: the POLIS approach, Kluwer Academic Publishers, Norwell, MA, 1997
• 3: J.-Y. Brunel , E. A. de Kock , W. M. Kruijtzer , H. J. H. N. Kenter , W. J. M. Smits, Communication refinement in video systems on chip, Proceedings of the seventh international workshop on Hardware/software codesign, p.142-146, March 1999, Rome, Italy [doi>10.1145/301177.301511]
• 4: Joseph Tobin Buck , Edward A. Lee, Scheduling dynamic dataflow graphs with bounded memory using the token flow model, 1993
• 5: J. T. Buck. Static scheduling and code generation from dynamic dataflow graphs with integer valued control streams. In Proc. of the 28th Asilomar conference on Signals, Systems, and Computers, Oct. 1994.
• 6: Joseph E. Coffland , Andy D. Pimentel, A software framework for efficient system-level performance evaluation of embedded systems, Proceedings of the 2003 ACM symposium on Applied computing, March 09-12, 2003, Melbourne, Florida [doi>10.1145/952532.952663]
• 7: M. Engels, G. Bilsen, R. Lauwereins, and J. Peperstraete. Cyclo-static data flow: Model and implementation. In Proc. 28th Asilomar Conf. on Signals, Systems, and Computers, pages 503--507, 1994.
• 8: G. Kahn. The semantics of a simple language for parallel programming. In Proc. of the IFIP Congress 74, 1974.
• 9: Bart Kienhuis , Ed Deprettere , Kees Vissers , Pieter van der Wolf, An Approach for Quantitative Analysis of Application-Specific Dataflow Architectures, Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors, p.338, July 14-16, 1997
• 10: Paul Lieverse , Pieter van der Wolf , Ed Deprettere, A trace transformation technique for communication refinement, Proceedings of the ninth international symposium on Hardware/software codesign, p.134-139, April 2001, Copenhagen, Denmark [doi>10.1145/371636.371703]
• 11: Paul Lieverse , Pieter Van Der Wolf , Kees Vissers , Ed Deprettere, A Methodology for Architecture Exploration of Heterogeneous Signal Processing Systems, Journal of VLSI Signal Processing Systems, v.29 n.3, p.197-207, November 2001 [doi>10.1023/A:1012231429554]
• 12: A. Nieuwland and P. Lippens. A heterogeneous HW-SW architecture for hand-held multi-media terminals. In Proc. IEEE Workshop on Signal Processing Systems, pages 113--122, Oct. 1998.
• 13: Andy D. Pimentel , Louis O. Hertzberger , Paul Lieverse , Pieter van der Wolf , Ed F. Deprettere, Exploring Embedded-Systems Architectures with Artemis, Computer, v.34 n.11, p.57-63, November 2001 [doi>10.1109/2.963445]
• 14: A. D. Pimentel , S. Polstra , F. Terpstra , A. W. van Halderen , J. E. Coffland , L. O. Hertzberger, Towards efficient design space exploration of heterogeneous embedded media systems, Embedded processor design challenges: systems, architectures, modeling, and simulation-SAMOS, Springer-Verlag New York, Inc., New York, NY, 2002

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.4 PERFORMANCE OF SYSTEMS
      Subjects: Modeling techniques

General Terms:
Design, Performance

Keywords:
communication refinement, design space exploration