Open Access10.5555/947185.947187
A methodology for control-dominated systems codesign
S. Antoniazzi,A. Balboni,William Fornaciari,Donatella Sciuto +3 more
- 22 Sep 1994
- pp 2-9
27
TL;DR: This research effort focuses on fulfilling the goal of linking high-level specifications to efficient and cost-effective hw/sw implementations by investigating techniques such as synchronous cospecification styles, direct machine code generation as well as exploiting the capability of commercial VHDL synthesizers.
read more
Abstract: This paper presents a methodology and a supporting framework for the design of systems composed of hardware and software modules The aim is to define an approach, tailored for control-oriented applications, to manage system cospecification, high-level partitioning, hw/sw tradeoffs and cosynthesis The main goals are always to improve design time and costs by supporting a flexible architectural exploration and to achieve a smooth integration within standard industrial design environments Our research effort focuses on fulfilling the goal of linking high-level specifications to efficient and cost-effective hw/sw implementations by investigating techniques such as synchronous cospecification styles, direct machine code generation as well as exploiting the capability of commercial VHDL synthesizers >
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Design of embedded systems: formal models, validation, and synthesis
Stephen A. Edwards,Luciano Lavagno,Edward A. Lee,Alberto Sangiovanni-Vincentelli +3 more
- 01 Mar 1997
TL;DR: This paper addresses the design of reactive real-time embedded systems by reviewing the variety of approaches to solving the specification, validation, and synthesis problems for such embedded systems.
SpecSyn: an environment supporting the specify-explore-refine paradigm for hardware/software system design
TL;DR: The SpecSyn system-level design environment is presented, which supports the new specify-explore-refine (SER) design paradigm, and the new paradigm and environment are expected to lead to a more than ten times reduction in design time.
Incremental hardware estimation during hardware/software functional partitioning
Frank Vahid,Daniel D. Gajski +1 more
TL;DR: This work introduces a technique for obtaining fast yet accurate estimations of hardware size in two orders of magnitude less time by incrementally updating a design model for a changed partition rather than re-estimating entirely.
75
Clustering for improved system-level functional partitioning
Frank Vahid,Daniel D. Gajski +1 more
- 13 Sep 1995
TL;DR: It is demonstrated that clustering can be used to merge pieces of functionality before applying other heuristics, resulting in reduced runtimes with little or no loss in quality, and often with improvements in quality.
69
Industrial experience using rule-driven retargetable code generation for multimedia applications
Clifford Liem,Pierre Paulin,Marco Cornero,Ahmed Amine Jerraya +3 more
- 13 Sep 1995
TL;DR: The experience has shown that a rule-driven approach to compilation is applicable to both the controller and VLIW architectures; however, is limited in optimization abilities for the latter.
References
STATEMATE: a working environment for the development of complex reactive systems
David Harel,H. Lachover,A. Naamad,Amir Pnueli,M. Politi,R. Sherman,A. Shtull-Trauring,Mark B. Trakhtenbrot +7 more
TL;DR: The main novelty of STATEMATE is in the fact that it `understands` the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous animated executions and simulations of the described system, and to create running code automatically.
The synchronous approach to reactive and real-time systems
A. Benveniste,Gérard Berry +1 more
- 01 Sep 1991
TL;DR: The authors present and discuss the application fields and the principles of synchronous programming, which makes it possible to handle compilation, logical correctness proofs, and verification of real-time programs in a formal way, leading to a clean and precise methodology for design and programming.
The Olympus synthesis system
TL;DR: The Olympus synthesis system for digital design, a vertically integrated set of tools for multilevel synthesis, technology mapping, and simulation, includes behavioral, structural, and logic synthesis tools, and provides technology mapping and simulation.
160
The Princeton University behavioral synthesis system
Wayne Wolf,A. Takach,C.-Y. Huang,R. Manno,E. Wu +4 more
- 01 Jul 1992
TL;DR: The authors describe the compiler with emphasis on the automaton-based algorithms which allow efficient specification and manipulation of control-dominated systems.
66
Interactive system-level partitioning with PARTIF
Tarek Ben Ismail,Kevin O'Brien,Ahmed Amine Jerraya +2 more
- 28 Feb 1994
TL;DR: A methodology and a tool for system-level partitioning in the behavioral domain based on an extended finite state machine model that allows the designer to explore different partitioning alternatives in order to choose the best to meet his objectives.
61
Related Papers (5)
Frank Vahid,Daniel D. Gajski +1 more
- 01 Jul 1992
Kayhan Kucukcakar,Alice C. Parker +1 more
- 01 Jun 1991
Rajesh Gupta,G. De Micheli +1 more
- 11 Nov 1990