A co-synthesis approach to embedded system design automation |
| |
Authors: | Rajesh K. Gup Giovanni de Micheli |
| |
Affiliation: | (1) Department of Computer Science, University of Illinois, Urbana-Champaign 1304 W. Springfield Avenue, 61801 Urbana, IL, USA;(2) Department of Electrical Engineering, Stanford University, 94305 Stanford, CA, USA |
| |
Abstract: | Embedded systems are targeted for specific applications under constraints on relative timing of their actions. For such systems, the use of pre-designed reprogrammable components such as microprocessors provides an effective way to reduce system cost by implementing part of the functionality as a program running on the processor. However, dedicated hardware is often necessary to achieve the requisite timing performance. Analysis of timing constraints is, therefore, key to determination of an efficient hardware-software implementation. In this paper, we present a methodology for embedded system design as a co-synthesis of interacting hardware and software components. We present a decomposition of the co-synthesis problem into sub-problems, that is useful in building a framework for embedded system CAD. In particular, we present operation-level timing constraints and develop the notion of satisfiability of constraints by a given implementation both in the deterministic and probabilistic sense. Constraint satisfiability analysis is then used to define hardware and software portions of functionality. We describe algorithms and techniques used in developing a practical co-synthesis framework, vulcan. Examples are presented to show the utility of our approach. |
| |
Keywords: | Embedded system co-synthesis Constraint analysis Multithreading for embedded systems |
本文献已被 SpringerLink 等数据库收录! |
|