Introduction to Formal Hardware Verification, Thomas Kropf

Автор: Valeria Bertacco; Axel Legay
Название: Hardware and Software: Verification and Testing
ISBN: 3319030760 ISBN-13(EAN): 9783319030760
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.

Автор: Greenwood, Garrison W. Tyrrell, Andrew M.
Название: Introduction to evolvable hardware
ISBN: 0471719773 ISBN-13(EAN): 9780471719779
Издательство: Wiley
Рейтинг:
Цена: 10850.00 р.
Наличие на складе: Поставка под заказ.

Описание: Introduction to Evolvable Hardware: A Practical Guide for Designing Self-Adaptive Systems provides a fundamental introduction for engineers, designers, and managers involved in the development of adaptive, high reliability systems. It also introduces the concepts of evolvable hardware (EHW) to new researchers in a structured way. .

Автор: Armin Biere; Amir Nahir; Tanja Vos
Название: Hardware and Software: Verification and Testing
ISBN: 3642396100 ISBN-13(EAN): 9783642396106
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions.

Автор: Mohammad Tehranipoor; Cliff Wang
Название: Introduction to Hardware Security and Trust
ISBN: 1489990364 ISBN-13(EAN): 9781489990365
Издательство: Springer
Рейтинг:
Цена: 16977.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides the foundations for understanding hardware security and trust. Coverage includes security and trust issues in all types of electronic devices and systems such as ASICs, COTS, FPGAs, microprocessors/DSPs and embedded systems.

Автор: Roderick Bloem; Eli Arbel
Название: Hardware and Software: Verification and Testing
ISBN: 3319490516 ISBN-13(EAN): 9783319490519
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016.

Автор: Eran Yahav
Название: Hardware and Software: Verification and Testing
ISBN: 3319133373 ISBN-13(EAN): 9783319133379
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.

Автор: Patrick R. Schaumont
Название: A Practical Introduction to Hardware/Software Codesign
ISBN: 1489990607 ISBN-13(EAN): 9781489990600
Издательство: Springer
Рейтинг:
Цена: 11099.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Now in its second edition, this introduction to embedded systems design emphasizes the integration of custom hardware components with software. Includes new examples using modern FPGA environments from Xilinx and Altera, and many new exercises.

Автор: Mike Mintz; Robert Ekendahl
Название: Hardware Verification with System Verilog
ISBN: 1441944087 ISBN-13(EAN): 9781441944085
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book focuses on Object Orientation Programming and its applications for C++ and SystemVerilog. It includes discussion on why and when certain features should be used. The book also includes an open source verification framework as well as examples.

Автор: Sasan Iman; Sunita Joshi
Название: The e Hardware Verification Language
ISBN: 1475779267 ISBN-13(EAN): 9781475779264
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: I am glad to see this new book on the e language and on verification. Preface This book provides a detailed coverage of the e hardware verification language (HVL), state of the art verification methodologies, and the use of e HVL as a facilitating verification tool in implementing a state of the art verification environment.

Автор: Mike Mintz; Robert Ekendahl
Название: Hardware Verification with C++
ISBN: 1489978976 ISBN-13(EAN): 9781489978974
Издательство: Springer
Рейтинг:
Цена: 25853.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verification.Takes a realistic view of reusability and distills lessons learned down to a tool box of techniques and guidelines.

Автор: Valeria Bertacco
Название: Scalable Hardware Verification with Symbolic Simulation
ISBN: 1441937390 ISBN-13(EAN): 9781441937391
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design.