Open AccessDOI
A case study in computer-aided codesign of embedded controllers
Luciano Lavagno,Massimiliano Chiodo,Paolo Giusto,Attila Jurecska,Harry Hsieh,S. Yee,Alberto Sangiovanni-Vincentelli,Kei Suzuki +7 more
- Vol. 1, pp 220-224
Reads0
Chats0
TLDR
An application of the methodology and of the various software tools embedded in the POLIS co-design system is presented, in the realm of automotive electronics: a shock absorber controller whose specification comes from an actual product.Abstract:
With our codesign system, POLIS, we have specified and implemented a real-life design: a shock absorber controller. Through this experiment, we have shown the possibility of using such a system to design complex applications and to speed up the design cycle dramatically. All aspects of the design process are closely scrutinized including high level language translation and automatic hardware and software synthesis. We analyze different software implementation styles and draw some conclusions about our design process. >read more
Citations
More filters
Journal ArticleDOI
Hardware/software co-design
G. De Michell,Rajesh Gupta +1 more
TL;DR: Co-design issues and their relationship to classical system implementation tasks are discussed to help develop a perspective on modern digital system design that relies on computer aided design (CAD) tools and methods.
Journal ArticleDOI
Codesign of embedded systems: status and trends
TL;DR: It is argued that new methodologies and AD tools support an integrated hardware software codesign process that begins before the system architecture is finalised.
Journal ArticleDOI
LYCOS: the Lyngby Co-Synthesis System
Jan Madsen,Jesper Nicolai Riis Grode,Peter Voigt Knudsen,M. E. Petersen,Anne Elisabeth Haxthausen +4 more
TL;DR: This paper describes the LYCOS system, an experimental co-synthesis environment and presents a novel partitioning technique called PACE, which has shown to produce excellent results, and demonstrates how partitioning is used to do design space exploration.
Proceedings ArticleDOI
System-level synthesis of low-power hard real-time systems
Darko Kirovski,Miodrag Potkonjak +1 more
TL;DR: A system-level approach for power optimization under a set of user specified costs and timing constraints of hard real-timedesigns, which optimizes all three degrees of freedom for power minimization.
Journal ArticleDOI
An Esterel compiler for large control-dominated systems
TL;DR: The primary contribution is an algorithm that generates efficient sequential code from a concurrent control-now graph (CCFG) while developed specifically for compiling Esterel, and could be used to compile other synchronous languages with fine-grained parallelism.
References
More filters
Journal ArticleDOI
Graph-Based Algorithms for Boolean Function Manipulation
TL;DR: In this paper, the authors present a data structure for representing Boolean functions and an associated set of manipulation algorithms, which have time complexity proportional to the sizes of the graphs being operated on, and hence are quite efficient as long as the graphs do not grow too large.
Journal ArticleDOI
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
C. L. Liu,James W. Layland +1 more
TL;DR: The problem of multiprogram scheduling on a single processor is studied from the viewpoint of the characteristics peculiar to the program functions that need guaranteed service and it is shown that an optimum fixed priority scheduler possesses an upper bound to processor utilization.
Journal Article
SIS : A System for Sequential Circuit Synthesis
TL;DR: This paper provides an overview of SIS and contains descriptions of the input specification, STG (state transition graph) manipulation, new logic optimization and verification algorithms, ASTG (asynchronous signal transition graph] manipulation, and synthesis for PGA’s (programmable gate arrays).
Book ChapterDOI
Ptolemy: a framework for simulating and prototyping heterogeneous systems
TL;DR: Ptolemy as discussed by the authors is an environment for simulation and prototyping of heterogeneous systems, which uses object-oriented software technology to model each subsystem in a natural and efficient manner, and to integrate these subsystems into a whole.
Journal ArticleDOI
The synchronous approach to reactive and real-time systems
A. Benveniste,Gérard Berry +1 more
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.