Symbolic Model Checking, Kenneth L. McMillan

Автор: Chao Wang; Gary D. Hachtel; Fabio Somenzi
Название: Abstraction Refinement for Large Scale Model Checking
ISBN: 1489993959 ISBN-13(EAN): 9781489993953
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today`s digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs.

Автор: Robert B. Jones
Название: Symbolic Simulation Methods for Industrial Formal Verification
ISBN: 1461353955 ISBN-13(EAN): 9781461353959
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

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