{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

2009Zadrija - Survey of Formal Models of Computation for...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
Survey of Formal Models of Computation for Multi-Core Systems Valentina Zadrija Technical Report 03/31/2009 Department of Electronics, Microelectronics, Computer and Intelligent Systems Faculty of Electrical Engineering and Computing, University of Zagreb, Croatia Abstract This paper presents an overview of formal Models of Computation (MoC) employed as a specification for multi-core systems on chip. In general, Models of Computation provide means for abstract and formal representation of the system behavior. Five different Models of Computation, namely Kahn Process Networks, Synchronous Data Flow, process calculi, Hierarchical and Concurrent Finite State Machines and Program State Machines are evaluated and compared according to the requirements for heterogeneous multi-core system modeling. Research method employed in this paper evaluates these modeling approaches according to the expressive power, supported features, complexity and analyzability. As heterogeneous multi-core systems are inherently parallel, a major requirement imposed on the specification model is to expose parallelism explicitly. Moreover, semantics of the given specification models need to be well defined and unambiguous in order to enable design automation and efficient design space exploration. Applications of the given Models of Computation are described in various system-level design tools. Pros and cons of the each model of computation are argued.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
1 Survey of formal models of computation for multi-core systems Valentina Zadrija Faculty of Electrical Engineering and Computing Unska 3, 10000 Zagreb, Croatia (00385) 1 6129 554 [email protected] ABSTRACT This paper presents an overview of formal Models of Computation (MoC) employed as a specification for multi-core systems on chip. In general, Models of Computation provide means for abstract and formal representation of the system behavior. Five different Models of Computation, namely Kahn Process Networks, Synchronous Data Flow, process calculi, Hierarchical and Concurrent Finite State Machines and Program State Machines are evaluated and compared according to the requirements for heterogeneous multi-core system modeling. Research method employed in this paper evaluates these modeling approaches according to the expressive power, supported features, complexity and analyzability. As heterogeneous multi-core systems are inherently parallel, a major requirement imposed on the specification model is to expose parallelism explicitly. Moreover, semantics of the given specification models need to be well defined and unambiguous in order to enable design automation and efficient design space exploration. Applications of the given Models of Computation are described in various system- level design tools. Pros and cons of the each model of computation are argued.
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}