Автор: Malay Ganai; Aarti Gupta Название: SAT-Based Scalable Formal Verification Solutions ISBN: 1441943412 ISBN-13(EAN): 9781441943415 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.
Автор: Prakash Rashinkar; Peter Paterson; Leena Singh Название: System-on-a-Chip Verification ISBN: 1475774680 ISBN-13(EAN): 9781475774689 Издательство: Springer Рейтинг: Цена: 22203.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the first book to cover verification strategies and methodologies for SOC verification from system level verification to the design sign-off. All the verification aspects in this exciting new book are illustrated with a single reference design for Bluetooth application.
Автор: Erik Seligman Название: Formal Verification ISBN: 0128007273 ISBN-13(EAN): 9780128007273 Издательство: Elsevier Science Рейтинг: Цена: 12225.00 р. Наличие на складе: Поставка под заказ.
Описание:
Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies. After reading this book, readers will be prepared to introduce FV in their organization and effectively deploy FV techniques to increase design and validation productivity.
Автор: Naijun Zhan; Shuling Wang; Hengjun Zhao Название: Formal Verification of Simulink/Stateflow Diagrams ISBN: 3319470140 ISBN-13(EAN): 9783319470146 Издательство: Springer Рейтинг: Цена: 16070.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.
Автор: 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.
Описание: This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.
Автор: Sandip Ray Название: Scalable Techniques for Formal Verification ISBN: 1489984445 ISBN-13(EAN): 9781489984449 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Rolf Drechsler; Ulrich K?hne Название: Formal Modeling and Verification of Cyber-Physical Systems ISBN: 3658099933 ISBN-13(EAN): 9783658099930 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany.
Автор: Pallab Dasgupta Название: A Roadmap for Formal Property Verification ISBN: 9048171857 ISBN-13(EAN): 9789048171859 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification - a roadmap that shows how to glue FPV technology into the traditional validation flow.
Автор: 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.
Автор: Rolf Drechsler Название: Advanced Formal Verification ISBN: 1441954201 ISBN-13(EAN): 9781441954206 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
