Harry Hsieh / Alberto L. Sangiovanni-Vincentelli / Felice Balarin
Synchronous Equivalence
- Springer US
- 2012
- Taschenbuch
- 152 Seiten
- ISBN 9781461356646
An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in the system, either taking up roles that used to be performed by mechanical devices, or providing functionality that is not otherwise possible. The goal of this book is to investigate how formal methods can be applied to the domain of embedded system design. The emphasis is on the specification, representation, validation, and design exploration of such systems from a high-level perspective. The authors review the framework upon which the theories and experiments
Mehr
Weniger
zzgl. Versand
in Kürze