Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques, Huhn Sebastian, Drechsler Rolf

Автор: Jose Luis Huertas D?az
Название: Test and Design-for-Testability in Mixed-Signal Integrated Circuits
ISBN: 1441954228 ISBN-13(EAN): 9781441954220
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Test and Design-for-Testability in Mixed-Signal Integrated Circuits deals with test and design for test of analog and mixed-signal integrated circuits. Besides these specification-driven testing techniques, fault-driven approaches are described as they offer potential solutions which are more similar to digital test methods.

Автор: Bhunia Swarup, Ray Sandip, Sur-Kolay Susmita
Название: Fundamentals of IP and Soc Security: Design, Verification, and Debug
ISBN: 3319843087 ISBN-13(EAN): 9783319843087
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is about security in embedded systems and it provides an authoritative reference to all aspects of security in system-on-chip (SoC) designs.

Автор: Amos Brian
Название: Hands-On RTOS with Microcontrollers: Building real-time embedded systems using FreeRTOS, STM32 MCUs, and SEGGER debug tools
ISBN: 1838826734 ISBN-13(EAN): 9781838826734
Издательство: Неизвестно
Рейтинг:
Цена: 11033.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers important real-time operating systems concepts used in microcontroller-based embedded systems. You will use an STM32 board, SEGGER debugging tools, and STM32Cube IDE to build and analyze real-world embedded projects. After completing this book, you will have gained advanced techniques to implement robust real-time embedded systems.

Автор: Hu Kai, Chakrabarty Krishnendu, Ho Tsung-Yi
Название: Computer-Aided Design of Microfluidic Very Large Scale Integration (Mvlsi) Biochips: Design Automation, Testing, and Design-For-Testability
ISBN: 331985867X ISBN-13(EAN): 9783319858678
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The technical contributions presented in this book will not only shorten the product development cycle, but also accelerate the adoption and further development of modern flow-based microfluidic biochips, by facilitating the full exploitation of design complexities that are possible with current fabrication techniques.

Название: Advanced VLSI Design and Testability Issues
ISBN: 0367492822 ISBN-13(EAN): 9780367492823
Издательство: Taylor&Francis
Рейтинг:
Цена: 16078.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides in-depth knowledge of VLSI and also the broad aspects of it by explaining its applications in different fields e.g. image processing and biomedical. The role of fault simulation algorithms is very well explained and its implementation using Verilog is the key aspect of this book.

Автор: Mocevicius Rimantas
Название: kubectl: Deploy, manage, and debug container workloads using the Kubernetes CLI
ISBN: 1800561873 ISBN-13(EAN): 9781800561878
Издательство: Неизвестно
Рейтинг:
Цена: 4964.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Kubernetes is a de facto container orchestration system. To manage Kubernetes, you must understand how to work with kubectl, its command-line tool that lets you interact with your clusters to deploy applications and manage their lifecycle. This book is a comprehensive introduction for those who are new to Kubernetes management via the command line.

Автор: Shi-Yu Huang; Kwang-Ting (Tim) Cheng
Название: Formal Equivalence Checking and Design Debugging
ISBN: 079238184X ISBN-13(EAN): 9780792381846
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers the topics of logic equivalence checking and design debugging in design verification. This book reviews the design problems that require logic equivalence checking and describes the underlying technologies that are used to solve them. It also gives a survey of the literature on design error diagnosis and design error correction.

Автор: Shi-Yu Huang; Kwang-Ting (Tim) Cheng
Название: Formal Equivalence Checking and Design Debugging
ISBN: 1461376068 ISBN-13(EAN): 9781461376064
Издательство: Springer
Рейтинг:
Цена: 25155.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging.