Hardware-software codesign of embedded systems
- 1 August 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Micro
- Vol. 14 (4) , 26-36
- https://doi.org/10.1109/40.296155
Abstract
Designers generally implement embedded controllers for reactive real-time applications as mixed software-hardware systems. In our formal methodology for specifying, modeling, automatically synthesizing, and verifying such systems, design takes place within a unified framework that prejudices neither hardware nor software implementation. After interactive partitioning, this approach automatically synthesizes the entire design, including hardware-software interfaces. Maintaining a finite-state machine model throughout, it preserves the formal properties of the design. It also allows verification of both specification and implementation, as well as the use of specification refinement through formal verification.Keywords
This publication has 10 references indexed in Scilit:
- The Princeton University behavioral synthesis systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Sequential circuit design using synthesis and optimizationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Program implementation schemes for hardware-software systemsComputer, 1994
- Codesign from cospecificationComputer, 1994
- Model-Checking in Dense Real-TimeInformation and Computation, 1993
- Synthesis of the hardware/software interface in microcontroller-based systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- The synchronous data flow programming language LUSTREProceedings of the IEEE, 1991
- The synchronous approach to reactive and real-time systemsProceedings of the IEEE, 1991
- Analysis of discrete event coordinationPublished by Springer Nature ,1990
- Using statecharts for hardware description and synthesisIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989