Symbolic Simulation Methods for Industrial Formal Verification, Robert B. Jones

Автор: Javier Faulin; Angel A. Juan; Sebasti?n Salvador M
Название: Simulation Methods for Reliability and Availability of Complex Systems
ISBN: 1447125525 ISBN-13(EAN): 9781447125525
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text discusses the use of computer simulation-based techniques and algorithms to determine reliability and/or availability levels in complex systems and to help improve these levels both at the design stage and during the system operating stage.

Автор: Kenneth L. McMillan
Название: Symbolic Model Checking
ISBN: 1461363993 ISBN-13(EAN): 9781461363996
Издательство: Springer
Рейтинг:
Цена: 13060.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied.

Автор: 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.

Автор: Edward J. Haug; Roderic C. Deyo
Название: Real-Time Integration Methods for Mechanical System Simulation
ISBN: 3642761615 ISBN-13(EAN): 9783642761614
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Research Workshop on Real- Time Integration Methods for Mechanical System Simulation, held in Snowbird, Utah, USA, August 7-11, 1989

Автор: Ogrodzki
Название: Circuit Simulation Methods and Algorithms
ISBN: 084937894X ISBN-13(EAN): 9780849378942
Издательство: Taylor&Francis
Рейтинг:
Цена: 33686.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Circuit Simulation Methods and Algorithms provides a step-by-step theoretical consideration of methods, techniques, and algorithms in an easy-to-understand format

Автор: Guoyong Shi; Sheldon X.-D. Tan; Esteban Tlelo Cuau
Название: Advanced Symbolic Analysis for VLSI Systems
ISBN: 1493911023 ISBN-13(EAN): 9781493911028
Издательство: Springer
Рейтинг:
Цена: 22203.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides comprehensive coverage of the recent advances in symbolic analysis techniques for design automation of nanometer VLSI systems. Topics emphasized include statistical timing and crosstalk analysis, statistical and parallel analysis, performance bound analysis and behavioral modeling for analog integrated circuits.

Автор: 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.