DMCA
A Formal Methodology for Hardware/Software Co-design of Embedded Systems (1994)
| Venue: | IEEE Micro |
| Citations: | 20 - 7 self |
BibTeX
@ARTICLE{Chiodo94aformal,
author = {Massimiliano Chiodo and Paolo Giusto and Harry Hsieh and Attila Jurecska and Luciano Lavagno and Alberto Sangiovanni-Vincentelli},
title = {A Formal Methodology for Hardware/Software Co-design of Embedded Systems},
journal = {IEEE Micro},
year = {1994},
volume = {14},
pages = {26--36}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Our methodology for control-dominated embedded reactive systems is based on an implementation-independent representation, Codesign Finite State Machines (CFSMs). This representation allows us to preserve semantical correctness throughout the design process, because CFSMs assume unbounded, non-zero reaction delays, that correspond both to hardware and software behavior. CFSMs can be generated from a variety of specification languages, such as Esterel, StateCharts, VHDL, Verilog. Partitioning is user-driven, while our codesign environment performs automatically all other synthesis tasks. We derive hardware directly from CFSMs, assuming single-cycle reaction delays (but pipelining is also allowed by the model semantics). We synthesize software using an intermediate representation, Software Graphs, that allows better optimization and tighter control over implementation costs than general-purpose compilers. We are also planning to synthesize automatically a real-time scheduler and I/O port ...
Keyphrases
formal methodology embedded system hardware software co-design software graph software behavior non-zero reaction delay cfsms assume implementation cost synthesis task model semantics codesign environment performs control-dominated embedded reactive system general-purpose compiler specification language intermediate representation implementation-independent representation real-time scheduler design process single-cycle reaction delay codesign finite state machine semantical correctness
