|
libcats.org
Reconfigurable System Design and Verification 14Pao-Ann Hsiung, Marco D. Santambrogio, Chun-Hsian HuangReconfigurable 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. The authors do it all for you, making it easy to find the techniques that fit your system requirements, without having to surf the net or digital libraries to find the candidate techniques and compare them yourself.
Популярные книги за неделю:
![]() Сто лет одиночестваАвтор: Маркес Габриэль ГарсияКатегория: Современная проза
Размер книги: 1.46 Mb
![]() Профессиональная разработка в системе 1С Предприятие 8Автор: Габец А.П., Автор: Гончаров Д.И., Автор: Радченко М.Г.(ред.)Категория: Офисные программы бизнес-приложения
Размер книги: 18.19 Mb
![]() Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
![]() The Fictions of James Joyce and Wyndham Lewis: Monsters of Nature and DesignАвтор: Scott W. KleinКатегория: Наука (общее), Научно-популярное
Размер книги: 4.83 Mb
![]() Materials Science and Engineering An Introduction,9th EditionАвтор: William D. Callister Jr., Автор: David G. Rethwisch
Размер книги: 32.11 Mb
Только что пользователи скачали эти книги:
![]() WPF. Windows Presentation Foundation в .NET 3.5 с примерами на C# 2008 для профессионаловАвтор: Мэтью Мак-Дональд
Размер книги: 15.39 Mb
![]() Контрабанда(Диссертация)Автор: Грязнов А.В.Категория: Диссертации авторефераты
Размер книги: 13.36 Mb
![]() Жизненное пространство человека(Диссертация)Автор: Миронова Е.Б.Категория: Диссертации авторефераты
Размер книги: 8.04 Mb
![]() РНР 5 на примерахАвтор: Кузнецов М.В., Автор: Симдянов И.В., Автор: Голышев С.В.
Размер книги: 66.65 Mb
![]() Что представляет собой демократическая консолидация? 3Автор: Шедлер АндреасКатегория: Научная литература
Размер книги: 18 Kb
|
|