Equivalence Checking of Digital Circuits, Paul Molitor; Janett Mohnke

Автор: Shi-Yu Huang; Kwang-Ting (Tim) Cheng
Название: Formal Equivalence Checking and Design Debugging
ISBN: 1461376068 ISBN-13(EAN): 9781461376064
Издательство: Springer
Рейтинг:
Цена: 167700.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging.

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

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

Автор: Harry Hsieh; Felice Balarin; Alberto L. Sangiovann
Название: Synchronous Equivalence
ISBN: 079237262X ISBN-13(EAN): 9780792372622
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. The authors review the framework upon which the theories and experiments are based, and through which the formal methods are linked to synthesis and simulation.