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...
Uloženo v:
| Hlavní autoři: | , , |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
New York, NY :
Springer US
2009.
Cham : Springer Nature |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Embedded system design, modeling, synthesis and verification, Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer [...], 2009, Dordrecht, Springer, 1 vol. (XXIV-352 p.), 978-1-441-90503-1 • Embedded System Design, Texte imprimé, 9781441905055 • Embedded System Design, Texte imprimé, 9781489985309 |
Obsah:
- System Design Methodologies
- Modeling
- System Synthesis
- Software Synthesis
- Hardware Synthesis
- Verification
- Embedded Design Practice.