Correct Hardware Design and Verification Methods, Paolo Enrico Camurati; Hans Eveking
Автор: Roopak Sinha; Parthasarathi Roop; Samik Basu Название: Correct-by-Construction Approaches for SoC Design ISBN: 1461478634 ISBN-13(EAN): 9781461478638 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The methodologies presented in this book enable designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct Systems-on-Chips from multiple, possibly mismatching, components.
Автор: Karen Yorav Название: Hardware and Software: Verification and Testing ISBN: 3540779647 ISBN-13(EAN): 9783540779643 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: ter Beek Название: Critical Systems: Formal Methods and Automated Verification ISBN: 3319459422 ISBN-13(EAN): 9783319459424 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.
The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
Автор: J?rgen Staunstrup Название: A Formal Approach to Hardware Design ISBN: 1461361931 ISBN-13(EAN): 9781461361930 Издательство: Springer Рейтинг: Цена: 20896.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions.
Автор: Bogdan Belean Название: Application-Specific Hardware Architecture Design with VHDL ISBN: 3319650238 ISBN-13(EAN): 9783319650234 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book guides readers through the design of hardware architectures using VHDL for digital communication and image processing applications that require performance computing. sequential logic, structural and behavioral description, digital circuit design, and finite state machines.
Автор: Abderazek Ben Abdallah Название: Multicore Systems On-Chip: Practical Software/Hardware Design ISBN: 9462390509 ISBN-13(EAN): 9789462390508 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This reflects the fact that certain processor jobs cannot be easily parallelized to run concurrently on multiple processing cores and that load balancing between processing cores - especially heterogeneous cores - is very difficult.
Автор: Larry M. Augustin; David C. Luckham; Benoit A. Gen Название: Hardware Design and Simulation in VAL/VHDL ISBN: 1461368081 ISBN-13(EAN): 9781461368083 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VAL (VHDL Annotation Language) is a simple further step in the evolution of hardware description languages in the direction of applying new methods that have developed since VHDL was designed.
Автор: Marie-Minerve Lou?rat; Torsten Maehne Название: Languages, Design Methods, and Tools for Electronic System Design ISBN: 3319359134 ISBN-13(EAN): 9783319359137 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France.
Автор: Roopak Sinha; Parthasarathi Roop; Samik Basu Название: Correct-by-Construction Approaches for SoC Design ISBN: 1489986391 ISBN-13(EAN): 9781489986399 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The methodologies presented in this book enable designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct Systems-on-Chips from multiple, possibly mismatching, components.
Описание: Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.
Автор: Progyna Khondkar Название: Low-Power Design and Power-Aware Verification ISBN: 3319666185 ISBN-13(EAN): 9783319666181 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Until now, there has been a lack of a complete knowledge base to fully comprehend Low power (LP) design and power aware (PA) verification techniques and methodologies and deploy them all together in a real design verification and implementation project. This book is a first approach to establishing a comprehensive PA knowledge base.LP design, PA verification, and Unified Power Format (UPF) or IEEE-1801 power format standards are no longer special features. These technologies and methodologies are now part of industry-standard design, verification, and implementation flows (DVIF). Almost every chip design today incorporates some kind of low power technique either through power management on chip, by dividing the design into different voltage areas and controlling the voltages, through PA dynamic and PA static verification, or their combination.The entire LP design and PA verification process involves thousands of techniques, tools, and methodologies, employed from the register transfer level (RTL) of design abstraction down to the synthesis or place-and-route levels of physical design. These techniques, tools, and methodologies are evolving everyday through the progression of design-verification complexity and more intelligent ways of handling that complexity by engineers, researchers, and corporate engineering policy makers.
Автор: Sao-Jie Chen; Guang-Huei Lin; Pao-Ann Hsiung; Yu-H Название: Hardware Software Co-Design of a Multimedia SOC Platform ISBN: 9048181712 ISBN-13(EAN): 9789048181711 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This unique text provides a comprehensive overview of the design and implementation of the hardware and software of an SoC platform for multimedia applications. It offers tutorial-like details for beginners and in-depth analysis for more advanced readers.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
