Advanced Verification Techniques, Leena Singh; Leonard Drucker

Автор: Dunsmore
Название: Handbook of Microwave Component Measurements: with Advanced VNA Techniques
ISBN: 1119979552 ISBN-13(EAN): 9781119979555
Издательство: Wiley
Рейтинг:
Цена: 99790.00 T
Наличие на складе: Поставка под заказ.
Описание: Explains the interactions between the device-under-test (DUT) and the measuring equipment by demonstrating the best practices for ascertaining the true nature of the DUT, and optimizing the time to set up and measure

Автор: Masahiro Fujita
Название: Verification Techniques for System-Level Design,
ISBN: 0123706165 ISBN-13(EAN): 9780123706164
Издательство: Elsevier Science
Рейтинг:
Цена: 69610.00 T
Наличие на складе: Поставка под заказ.
Описание: Explains how to verify SoC logic designs using `formal` and `semi-formal` verification techniques. This book covers various aspects of high-level formal and semi-formal verification techniques for system level designs.

Автор: Rolf Drechsler
Название: Advanced Formal Verification
ISBN: 1441954201 ISBN-13(EAN): 9781441954206
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today`s verification tools and describe various scenarios from industrial practice.

Автор: Sandip Ray
Название: Scalable Techniques for Formal Verification
ISBN: 1489984445 ISBN-13(EAN): 9781489984449
Издательство: Springer
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.