Models in System Design: Current Issues in Electronic Modeling, cartea 9
Editat de Jean-Michel Bergé, Oz Levia, Jacques Rouillarden Limba Engleză Hardback – 30 apr 1997
The first part of the book considers system level design, discussing such issues as abstraction, performance and trade-offs. There is also a section on automating system design. The second part of the book deals with some of the newest aspects of embedded system design. These include co-verification and prototyping. Finally, the book includes a section on the use of the MCSE methodology for hardware/software co-design.
Models in System Design will help designers and researchers to understand these latest techniques in system design and as such will be of interest to all involved in embedded system design.
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 1239.81 lei 43-57 zile | |
Springer Us – 12 oct 2012 | 1239.81 lei 43-57 zile | |
Hardback (1) | 1245.79 lei 43-57 zile | |
Springer Us – 30 apr 1997 | 1245.79 lei 43-57 zile |
Preț: 1245.79 lei
Preț vechi: 1557.24 lei
-20% Nou
Puncte Express: 1869
Preț estimativ în valută:
238.42€ • 247.66$ • 198.04£
238.42€ • 247.66$ • 198.04£
Carte tipărită la comandă
Livrare economică 03-17 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780792398745
ISBN-10: 0792398742
Pagini: 152
Ilustrații: XV, 152 p.
Dimensiuni: 170 x 244 x 11 mm
Greutate: 0.42 kg
Ediția:1997
Editura: Springer Us
Colecția Springer
Seria Current Issues in Electronic Modeling
Locul publicării:New York, NY, United States
ISBN-10: 0792398742
Pagini: 152
Ilustrații: XV, 152 p.
Dimensiuni: 170 x 244 x 11 mm
Greutate: 0.42 kg
Ediția:1997
Editura: Springer Us
Colecția Springer
Seria Current Issues in Electronic Modeling
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
1. Modeling And Synthesis Of Synchronous System-Level Specifications.- 1.1. Introduction.- 1.2. System-Level Designs.- 1.3. Modeling of Concurrent Synchronous Systems.- 1.4. Semantics of CFEs.- 1.5. Scheduling Operations in CFFSM.- 1.6. Experimental Results.- 1.7. Conclusions and Future Work.- 2. System Level Modeling And Hardware Architecture Trade-Off.- 2.1. Introduction.- 2.2. Modelling and Abstraction.- 2.3. Hardware Architecture Trade-Off.- 2.4. Behavior Modeling.- 2.5. Additional Reuse Aspects.- 2.6. Conclusion.- 3. Automating System Design With Conceptual Models.- 3.1. Introduction.- 3.2. Conceptual Graphs.- 3.3. Requirements Capture.- 3.4. Unification of Requirements.- 3.5. Design Knowledge.- 3.6. Analysis of Specifications.- 3.7. Model Generation.- 3.8. Back-Annotation.- 3.9. Conclusions.- 4. Hardware/Software Co-Verification Of Embedded System Designs Using Virtual System Integration.- 4.1. Introduction.- 4.2. Current State of Affairs.- 4.3. New Unified Integration Environment.- 4.4. Benefits of Virtual System Integration.- 4.5. Conclusion.- 5. LIRMM: Prototyping Platform For Hardware/Software Codesign.- 5.1. Introduction.- 5.2. Hardware/Software Codesign Environment.- 5.3. Prototyping Board Architecture.- 5.4. Prototyping Board Performance.- 5.5. Application.- 5.6. Conclusion.- 6. Hardware/Software System Design Based On The MCSE Methodology.- 6.1. Introduction.- 6.2. Overview of the Codesign Methodology.- 6.3. Presentation of the Example.- 6.4. Functional Design with Performance Mastering.- 6.5. Implementation Specification Step.- 6.6. An Example of Codesign Problems.- 6.7. Conclusions.