Models in System Design (Current Issues in Electronic Modeling)

個数：

Models in System Design (Current Issues in Electronic Modeling)

Bergé, Jean-Michel (EDT)/ Levia, Oz (EDT)/ Rouillard, Jacques (EDT)

ウェブストア価格 ¥45,841（本体¥41,674）
Springer-Verlag New York Inc.（2012/10発売）
外貨定価 US$ 219.99
ポイント 416pt

提携先の海外書籍取次会社に在庫がございます。通常3週間で発送いたします。
【重要ご説明事項】
1. 納期遅延や、ご入手不能となる場合が若干ございます。
2. 複数冊ご注文の場合は、ご注文数量が揃ってからまとめて発送いたします。
3. 美品のご指定は承りかねます。

●3Dセキュア導入とクレジットカードによるお支払いについて

【入荷遅延について】
世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。

◆画像の表紙や帯等は実物とは異なる場合があります。

◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
また、洋書販売価格は、ご注文確定時点での日本円価格となります。
ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。

製本 Paperback:紙装版/ペーパーバック版／ページ数 152 p.
言語 ENG
商品コード 9781461378907
DDC分類 621

Full Description

Models in System Design tracks the general trend in electronics in terms of size, complexity and difficulty of maintenance. System design is by nature combined with prototyping, mixed domain design, and verification, and it is no surprise that today's modeling and models are used in various levels of system design and verification. In order to deal with constraints induced by volume and complexity, new methods and techniques have been defined. Models in System Design provides an overview of the latest modeling techniques for use by system designers.
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.

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.