Описание: The refereed proceedings of an international workshop on field-programmable logic and applications. The 39 papers and 30 posters are organized in topical sections discussing areas such as design methods, general aspects, prototyping and simulation, development methods and system architectures.
Описание: This book provides a starting point for the use of field programmable gate arrays in the design of embedded systems. It offers the industrial engineer and researcher a concise but self-contained round-up of the state-of-the-art in programmable logic devices.
Автор: Prabhat Mishra; Nikil D. Dutt Название: Functional Verification of Programmable Embedded Architectures ISBN: 1489973362 ISBN-13(EAN): 9781489973368 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: However, what is often not highlighted is the fact that in spite of the tremendous time and effort put into such efforts at the RTL and lower levels of abstraction, the complexity of contemporary embedded systems makes it difficult to guarantee functional correctness at the system level under all possible operational scenarios.
Автор: Melvin Fitting; Ewa Orlowska Название: Beyond Two: Theory and Applications of Multiple-Valued Logic ISBN: 3790825220 ISBN-13(EAN): 9783790825220 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume represents the state of the art for much current research in many-valued logics. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief.
Описание: Presents coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic. Exploring the parallels between classical and fuzzy mathematical logic, this book examines the use of logic in computer science, addresses questions in automatic deduction, and describes efficient computer implementation of proof techniques.
Описание: Examining field-programmable logic, this work covers topics including: high-level design; new software and hardware development tools; custom computers; applications; hardware/software co-design; AISC emulators; vendor session; industrial applications and experiences; and re-configuration aspects.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru