The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - August (1994 vol.14)
pp: 26-36
ABSTRACT
<p>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.</p>
CITATION
Massimilano Chiodo, Paolo Giusto, Attila Jurecska, Harry C. Hsieh, Alberto Sangiovanni-Vincentelli, Luciano Lavagno, "Hardware-Software Codesign of Embedded Systems", IEEE Micro, vol.14, no. 4, pp. 26-36, August 1994, doi:10.1109/40.296155
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool