A case study in computer-aided codesign of embedded controllers

Authors:
L. Lavagno;M. Chiodo;P. Giusto;A. Jurecska;H. Hsieh;S. Yee;A. Sangiovanni-Vincentelli;K. Suzuki
Affiliations:
Politecnico di Torino, Torino, Italy;Magneti Marelli, Italy;Magneti Marelli, Italy;Magneti Marelli, Italy;University of California, Berkeley, CA;University of California, Berkeley, CA;University of California, Berkeley, CA;Hitachi, Tokyo, Japan
Venue:
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Year:
1994

Citing 3
Cited 1

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Sequential Circuit Design Using Synthesis and Optimization

ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
A Formal Specification Model for Hardware/Software Codesign

A Formal Specification Model for Hardware/Software Codesign

Formal verification of embedded systems based on CFSM networks

DAC '96 Proceedings of the 33rd annual Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

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.