IDF Models for Trace Transformations: A Case Study in Computational Refinement

  • Cagkan Erbas
  • Simon Polstra
  • Andy D. Pimentel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3133)


The Sesame environment provides methods and tools for efficient design space exploration of heterogeneous embedded systems. It uses separate application and architecture models. The application model is explicitly mapped onto the architecture model and they are simulated together, using trace driven co-simulation. Since the abstraction level of the application model may not match the abstraction level of the architecture model, techniques are needed to refine the traces if necessary. In [13], we introduced integer-controlled dataflow (IDF) models to perform trace transformations for communication refinement. This paper uses these trace transformation methods to refine computational events. A simple case study, consisting of a 2D-IDCT application model mapped onto different architecture models, is used to show the capabilities of these IDF modeling techniques.


Application Model Architecture Model Abstraction Level Mapping Layer Block Level 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Balarin, F., et al.: Metropolis: An integrated electronic system design environment. IEEE Computer (April 2003)Google Scholar
  2. 2.
    Benini, L., et al.: SystemC cosimulation and emulation of multiprocessor SoC designs. IEEE Computer (April 2003)Google Scholar
  3. 3.
    Bhattacharyya, S.S., Murthy, P.K., Lee, E.A.: Software Synthesis from Dataflow Graphs. Kluwer Academic Publishers, Dordrecht (1996)zbMATHGoogle Scholar
  4. 4.
    Buck, J.T.: Scheduling Dynamic Dataflow Graphs with Bounded Memory using the Token Flow Model. PhD thesis, Dept. of EECS, UC Berkeley (1993)Google Scholar
  5. 5.
    Buck, J.T.: 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 (October 1994)Google Scholar
  6. 6.
    Coffland, J.E., Pimentel, A.D.: A software framework for efficient system-level performance evaluation of embedded systems. In: Proc. of the ACM Symposium on Applied Computing (March 2003)Google Scholar
  7. 7.
    Gajski, D., et al.: The SpecC Language. Kluwer Academic Publishers, Dordrecht (1997)Google Scholar
  8. 8.
    Kahn, G.: The semantics of a simple language for parallel programming. In: Proc. of the IFIP Congress (1974)Google Scholar
  9. 9.
    Lee, E.A., Messerschmitt, D.G.: Synchronous Data Flow. Proc. of the IEEE (September 1987)Google Scholar
  10. 10.
    Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Trans. on CAD (December 1998)Google Scholar
  11. 11.
    Lieverse, P., et al.: A trace transformation technique for communication refinement. In: Proc. of the IEEE/ACM CODES (April 2001)Google Scholar
  12. 12.
    Lieverse, P., et al.: A methodology for architecture exploration of heterogeneous signal processing systems. In: Proc. of the IEEE Workshop SiPS (October 1999)Google Scholar
  13. 13.
    Pimentel, D., Erbas, C.: An IDF-based trace transformation method for communication refinement. In: Proc. of the ACM/IEEE DAC (June 2003)Google Scholar
  14. 14.
    Pimentel, D., et al.: Exploring embedded-systems architectures with Artemis. IEEE Computer (November 2001)Google Scholar
  15. 15.
    Živković, V., et al.: Design space exploration of streaming multiprocessor architectures. In: Proc. of the IEEE Workshop SiPS (October 2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Cagkan Erbas
    • 1
  • Simon Polstra
    • 1
  • Andy D. Pimentel
    • 1
  1. 1.Dept. of Computer ScienceUniversity of AmsterdamAmsterdamThe Netherlands

Personalised recommendations