A framework for hardware/software codesign

Kumar, Sunny; Aylor, J.H.; Johnson, B.W.; Wulf, William A.

doi:10.1109/2.247650

Cited by 62 publications

(17 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thus, there exists a strong relationship between the models used for capturing system functionality and the abstraction level at which the partitioning is carried out. The partitioning procedure presented in this section attempts to perform a division of functionality at the level of operations specified in the hardware description language and is not a substitute for partitioning usually carried out at higher levels of abstractions such as "conceptual" or architectural-level [35] or configuration-level [36] where the authors consider architectural partitioning for multiple processors. The problem of partitioning here refers specifically to a partition of the system functionality represented by a flow graph model.…”

Section: Partitioningmentioning

confidence: 99%

A co-synthesis approach to embedded system design automation

Gupta

Micheli

1996

Des Autom Embed Syst

View full text Add to dashboard Cite

Embedded systems are targeted for specific applications under constraints on relative timing of their actions. For such systems, the use ofpre-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 hardwaresoftware implementation. In this paper, we present a methodology for embedded system design as a cosynthesis 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.

show abstract

Section: Partitioningmentioning

confidence: 99%

A co-synthesis approach to embedded system design automation

Gupta

Micheli

1996

Des Autom Embed Syst

View full text Add to dashboard Cite

show abstract

“…Few papers have been published on automating the design of, say, a memory hierarchy or an I/O subsystem based on standard components. Notable exceptions to this rule are papers dealing with retargetable compilation (e.g., Theissinger et al [TSV94]), or with a very abstract formulation of partitioning for co-design (e.g., Kumar et al [KAJW92,KAJW93], Prakash and Parker [PP91], and Vahid and Gajski [VG92]). The structure of the application-specific hardware components, on the other hand, is generally much less constrained.…”

Section: Mapping From Specification To Architecturementioning

confidence: 99%

“…The initial partition is then improved by a Kernighan and Lin-like iterative swapping procedure. Kumar et al [KAJW92,KAJW93], on the other hand, consider partitioning in a very general and abstract form. They use a complex, set-based representation of the system, its various implementation choices and the various costs associated with them.…”

Section: Partitioningmentioning

confidence: 99%

Design of Embedded Systems: Formal Models, Validation, and Synthesis

Edwards¹,

Lavagno²,

Lee³

et al. 2002

Readings in Hardware/Software Co-Design

124

165

View full text Add to dashboard Cite

This paper addresses the design of reactive real-time embedded systems. Such systems are often heterogeneous in implementation technologies and design styles, for example by combining hardware ASICs with embedded software. The concurrent design process for such embedded systems involves solving the specification, validation, and synthesis problems. We review the variety of approaches to these problems that have been taken.

show abstract

“…For example, the codesign framework proposed by Kumar et al [1993] presented an important concept of iterative system refinements using an integrated hardwaresoftware model. The codesign methodology proposed by Thomas et al [1993] used a mixed hardware-software system model that facilitated cosimulation and cosynthesis which included performing system partitioning at the task level.…”

Section: Previous and Related Workmentioning

confidence: 99%

Cmaps

Hsiung

2000

ACM Trans. Des. Autom. Electron. Syst.

View full text Add to dashboard Cite

Currently, a lot of research is devoted to system design, and little work is done on requirements analysis. Besides going from specification to design, one of our main objectives is to show how an application problem can be transformed into specifications. Working from the hardwaresoftware codesign perspective, a system is designed starting from an application problem itself, rather than the detailed behavioral specifications. Given an application problem specified as a directed acyclic graph of elementary problems, a hardware-software solution is derived such that the synthesized software, a parallel pseudoprogram, can be scheduled and executed on the synthesized hardware, a set of system-level parallel computer specifications, with heuristically optimal performance. This is known as system-level cosynthesis of application-oriented general-purpose parallel systems for which a novel methodology called Cosynthesis Methodology for Application-Oriented Parallel Systems (CMAPS), is presented. Since parallel programs and multiprocessor architectures are largely interdependent, CMAPS explores the relationship between hardware designs and software algorithms by interleaving the modeling phases and the synthesis phases of both hardware and software. High scalability in terms of problem complexity and easy upgradability to new technologies are achieved through modularization of the input problem specification, of the software algorithms, and of the hardware subsystem models. The work presented in this paper will be beneficial to designers of general-purpose parallel computer systems which must be oriented toward solving some user-specified problem such as the global controller of an industry automation process or a multiprocessor video server. Some application examples are given to illustrate various codesign phases of CMAPS and its feasibility.

show abstract

A framework for hardware/software codesign

Cited by 62 publications

References 4 publications

A co-synthesis approach to embedded system design automation

A co-synthesis approach to embedded system design automation

Design of Embedded Systems: Formal Models, Validation, and Synthesis

Cmaps

Contact Info

Product

Resources

About