MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  From High Level Application Specification to System-level Architecture Definition: Exploration, Design and Compilation

Download:
Download as a PDF | Download as a PS
by Vladimir D, Pieter Van Der Wolf, Erwin De Kock
http://www.liacs.nl/~lale/MyPapers/cpc03.ps
Add To MetaCart

Abstract:

In this paper we present a survey of a recently developed approach to specifying, modelling, exploring and designing parallel media-processing and wireless communications platforms and platform instances. More specifically, we take a closer look at the notions of Y-chart and Abstraction Pyramid. The methodology and approach that is reviewed in this paper uses these notions and focuses on the system level of abstraction on which the application and the architecture are co-existing in terms of a Model of Computation and a Model of Architecture, respectively. The relation between the two models is expressed in terms of a mapping layer with transformation methods that take a particular representation of (parts of) the application model and bind it to a particular representation of (parts of) the architecture model, and all this in such a way that: 1) modifications in either the application, or the architecture, or the mapping can be easily dealt with (for exploration purposes), 2) the evaluation of the models yields sufficient accurate data to help steer design decisions, and 3) the subsequent design of one or more physical instances of a platform can be done along compilation ways that are not too distant from the transformations that were explored to arrive at feasible platform instances. We argue that the so-called Trace Driven co-simulation using linearly ordered Symbolic Instruction representations of the application model has proved to be conceptually successful but practically limited by nature. We then show how an extension of this approach to the so-called Symbolic Program co-simulation using Symbolic Program representations of the application model is a better and more powerful approach satisfying the criteria given above.

Citations

459 Semantics of a Simple Language for Parallel Programming – Kahn - 1974
454 Software pipelining: An effective scheduling technique for VLIW machines – Lam - 1988
136 Hardware-Software Co-Design of Embedded Systems: The POLIS Approach – Balarin, Chiodo, et al. - 1997
85 Abstract Execution: A Technique for Efficiently Tracing Programs – Larus - 1990
56 An approach for quantitative analysis of application-specific dataflow architectures – Kienhuis, Deprettere, et al. - 1997
47 Computers as Components: Principles of Embedded Computer Systems Design – Wolf
31 Design Space Exploration of Stream-based Dataflow Architectures: Methods and Tools – Kienhuis - 1999
12 A Methodology to design programmable embedded systems – Kienhuis - 2001
11 et al., Computer Architecture - A Quantitive Approach – Hennessy - 1996
7 et al., "A methodology for architecture exploration of heterogeneous signal processing systems – Lieverse - 1999
4 et al., System-level Abstraction Semantics – Gajski - 2002
3 et al., "Design Space Exploration of Streaming Multiprocessor Architectures," at SiPS'02 – Zivkovic - 2002
3 et al., "Compilation from Matlab to Process Networks Realized in FPGA – Harriss - 2001
3 et al., "A Trace Transformation Technique for Communication Refinement – Lieverse - 2001
3 et al., "The Compaan Tool Chain: Converting Matlab into Process Networks – Turjan - 2002
3 et al., "Fast and Accurate Multiprocessor Architecture Exploration with Symbolic Programs," accepted for DATE'03 – Zivkovic
2 ARCHitecture ExploRation of heterogeneous embedded systems at system-level of abstraction, http://www.liacs.nl/ cserc/archer.html – Archer
2 Multi-Thread Graph: A System Model for Real-Time Embedded Software Synthesis – Thoen - 1997
2 et al., "DF*: An extension of synchronous dataflow with data dependency and non-determinism – Cossement - 2000
2 et al. "Modeling of Intra-task Parallelism in Sesame – Pimentel - 2002
2 et al., "An IDF-based Trace Transformation Method for Communication Refinement – Pimentel
1 et al., "A Framework for Comparing Models of Computation – Lee - 1998