Embedded System Design Modeling, Synthesis and Verification /
Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It disc...
Cote: | Libro Electrónico |
---|---|
Auteurs principaux: | Gajski, Daniel D. (Auteur), Abdi, Samar (Auteur), Gerstlauer, Andreas (Auteur), Schirner, Gunar (Auteur) |
Collectivité auteur: | SpringerLink (Online service) |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
New York, NY :
Springer US : Imprint: Springer,
2009.
|
Édition: | 1st ed. 2009. |
Sujets: | |
Accès en ligne: | Texto Completo |
Documents similaires
-
Distributed, Embedded and Real-time Java Systems
Publié: (2012) -
Introduction to Mixed-Signal, Embedded Design
par: Doboli, Alex, et autres
Publié: (2011) -
A Practical Introduction to Hardware/Software Codesign
par: Schaumont, Patrick R.
Publié: (2010) -
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /
Publié: (2010) -
Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /
par: Gamatié, Abdoulaye
Publié: (2010)