Formal Equivalence Checking and Design Debugging, Shi-Yu Huang; Kwang-Ting (Tim) Cheng

Автор: Paul Molitor; Janett Mohnke
Название: Equivalence Checking of Digital Circuits
ISBN: 1441954236 ISBN-13(EAN): 9781441954237
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. Thus, it is desirable to detect design errors early in the design process and not just after producing the prototype chip.

Автор: Harry Hsieh; Felice Balarin; Alberto L. Sangiovann
Название: Synchronous Equivalence
ISBN: 079237262X ISBN-13(EAN): 9780792372622
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

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

Автор: Frank Rogin; Rolf Drechsler
Название: Debugging at the Electronic System Level
ISBN: 9400795076 ISBN-13(EAN): 9789400795075
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Debugging is the bottleneck to chip design productivity. This state-of-the-art book reviews modeling and verification of ESL designs. It is believed to be the first book that considers debugging for ESL designs. There is particular focus on SystemC.

Автор: Bart Vermeulen; Kees Goossens
Название: Debugging Systems-on-Chip
ISBN: 3319062417 ISBN-13(EAN): 9783319062419
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Readers learn step-by-step the key requirements for debugging a modern, silicon SOC implementation, nine factors that complicate this debugging task, and a new debug approach that addresses these requirements and complicating factors.

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

Автор: Bart Vermeulen; Kees Goossens
Название: Debugging Systems-on-Chip
ISBN: 3319356925 ISBN-13(EAN): 9783319356921
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Readers learn step-by-step the key requirements for debugging a modern, silicon SOC implementation, nine factors that complicate this debugging task, and a new debug approach that addresses these requirements and complicating factors.

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