2009Zadrija

2009Zadrija - Survey of Formal Models of Computation for Multi-Core Systems Valentina Zadrija Technical Report Department of Electronics

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 DocumentRight 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 valentina.zadrija@fer.hr 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. Keywords
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.

This note was uploaded on 11/28/2011 for the course COMP 790 taught by Professor Staff during the Fall '08 term at UNC.

Page1 / 8

2009Zadrija - Survey of Formal Models of Computation for Multi-Core Systems Valentina Zadrija Technical Report Department of Electronics

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online