Reconfigurable system design and verification / Pao-Ann Hsiung, Marco D. Santambrogio, Chun-Hsian Huang.
نوع المادة : نصالناشر:Boca Raton : CRC Press, [2009]تاريخ حقوق النشر: ©2009وصف:268 pages : illustrations ; 25 cmنوع المحتوى:- text
- unmediated
- volume
- 9781420062663
- 1420062662
- TK7895.E42 H79 2009
نوع المادة | المكتبة الحالية | رقم الطلب | رقم النسخة | حالة | تاريخ الإستحقاق | الباركود | |
---|---|---|---|---|---|---|---|
كتاب | UAE Federation Library | مكتبة اتحاد الإمارات General Collection | المجموعات العامة | TK7895.E42 H79 2009 (إستعراض الرف(يفتح أدناه)) | C.1 | Library Use Only | داخل المكتبة فقط | 30020000012800 |
Browsing UAE Federation Library | مكتبة اتحاد الإمارات shelves, Shelving location: General Collection | المجموعات العامة إغلاق مستعرض الرف(يخفي مستعرض الرف)
TK7895.E42 C76 2010 Smart products, smarter services : strategies for embedded control / | TK7895.E42 E434 2020 Embedded, cyber-physical, and IoT systems : essays dedicated to Marilyn Wolf on the occasion of her 60th birthday / | TK7895.E42 E434 2020 Embedded, cyber-physical, and IoT systems : essays dedicated to Marilyn Wolf on the occasion of her 60th birthday / | TK7895.E42 H79 2009 Reconfigurable system design and verification / | TK7895.E42 I532 2012 Innovations in embedded and real-time systems engineering for communication / | TK7895.E42 I532 2012 Innovations in embedded and real-time systems engineering for communication / | TK7895.E42 L445 2017 Introduction to embedded systems : a cyber-physical systems approach / |
Includes bibliographical references (pages 225-244) and index.
Introduction to Reconfigurable Computing -- Reconfiguration Architectures -- Reconfigurable Hardware Design -- Reconfigurable Software Design -- Reconfigurable System Design -- Reconfigurable System Verification -- Case Studies.
"Reconfigurable systems have pervaded nearly all fields of computation and will continue to do so for the foreseeable future. Reconfigurable System Design and Verification provides a compendium of design and verification techniques for reconfigurable systems, allowing you to quickly search for a technique and determine if it is appropriate to the task at hand. It bridges the gap between the need for reconfigurable computing education and the burgeoning development of numerous different techniques in the design and verification of reconfigurable systems in various application domains." "The text explains topics in such a way that they can be immediately grasped and put into practice. It starts with an overview of reconfigurable computing architectures and platforms and demonstrates how to develop reconfigurable systems. This sets up the discussion of the hardware, software, and system techniques that form the core of the text. The authors classify design and verification techniques into primary and secondary categories, allowing the appropriate ones to be easily located and compared. The techniques discussed range from system modeling and system-level design to co-simulation and formal verification. Case studies illustrating real-world applications, detailed explanations of complex algorithms, and self-explaining illustrations add depth to the presentation." "Comprehensively covering all techniques related to the hardware-software design and verification of reconfigurable systems, this book provides a single source for information that otherwise would have been dispersed among the literature, making it very difficult to search, compare, and select the technique most suitable."--Jacket.