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: 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.
Автор: 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.
Автор: 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 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: 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.
Автор: Ashok B. Mehta Название: ASIC/SoC Functional Design Verification ISBN: 3319594176 ISBN-13(EAN): 9783319594170 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book describes in detail all required technologies and methodologies needed to create a comprehensive, functional design verification strategy and environment to tackle the toughest job of guaranteeing first-pass working silicon. The author first outlines all of the verification sub-fields at a high level, with just enough depth to allow an engineer to grasp the field before delving into its detail. He then describes in detail industry standard technologies such as UVM (Universal Verification Methodology), SVA (SystemVerilog Assertions), SFC (SystemVerilog Functional Coverage), CDV (Coverage Driven Verification), Low Power Verification (Unified Power Format UPF), AMS (Analog Mixed Signal) verification, Virtual Platform TLM2.0/ESL (Electronic System Level) methodology, Static Formal Verification, Logic Equivalency Check (LEC), Hardware Acceleration, Hardware Emulation, Hardware/Software Co-verification, Power Performance Area (PPA) analysis on a virtual platform, Reuse Methodology from Algorithm/ESL to RTL, and other overall methodologies.
Автор: 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.
Автор: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
