Current Trends in Hardware Verification and Automated Theorem Proving, Graham Birtwistle; P.A. Subrahmanyam
Автор: Blanchette Название: Interactive Theorem Proving ISBN: 3319431439 ISBN-13(EAN): 9783319431437 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.
Описание: The proceedings of the 2nd International Conference on Theorem Provers in Circuit Design, held in Bad Herrenalb, Germany in September 1994. Particular emphasis is placed on benchmark-circuits for hardware verification. Tutorials on two popular theorem provers are included in the text.
Автор: Hon Li; David Probst Название: Advances in Hardware Design and Verification ISBN: 0412813300 ISBN-13(EAN): 9780412813306 Издательство: Springer Рейтинг: Цена: 26414.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: CHARM `97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year.
Автор: 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.
Автор: Thomas Kropf Название: Introduction to Formal Hardware Verification ISBN: 364208477X ISBN-13(EAN): 9783642084775 Издательство: Springer Рейтинг: Цена: 10475.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. Each chapter contains an introduction and a summary as well as a section for the advanced reader, aiding an understanding of the advantages and limitations of each technique. Backed by many examples and illustrations, this text will appeal to a broad audience, from beginners in system design to experts. XXXXXXX Neuer Text This is a complete overview of existing techniques for hardware verification. It covers all approaches used in existing verification tools, such as symbolic methods for equivalence checking, temporal logic model checking, and higher-order logic theorem proving for verifying circuit correctness. The book helps readers to understand the advantages and limitations of each technique. Each chapter contains a summary as well as a section for the advanced reader.
Автор: 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.
Автор: 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.
Автор: Mauricio Ayala-Rinc?n; C?sar A. Mu?oz Название: Interactive Theorem Proving ISBN: 331966106X ISBN-13(EAN): 9783319661063 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions.
Автор: 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.
Автор: Tiziana Margaria; Tom Melham Название: Correct Hardware Design and Verification Methods ISBN: 3540425411 ISBN-13(EAN): 9783540425410 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of papers that offer topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.
Описание: 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.
Автор: Jean-Michel Berg?; Oz Levia; Jacques Rouillard Название: Hardware/Software Co-Design and Co-Verification ISBN: 0792396898 ISBN-13(EAN): 9780792396895 Издательство: Springer Рейтинг: Цена: 28734.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Co-Design is the set of emerging techniques which allows for the simultaneous design of Hardware and Software. Hardware/Software Co-Design and Co-Verification will help designers and researchers to understand these latest techniques in system design and as such will be of interest to all involved in embedded system design.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
