Synchronous Equivalence, Harry Hsieh; Felice Balarin; Alberto L. Sangiovann

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

Автор: Robert M. Fuhrer; Steven M. Nowick
Название: Sequential Optimization of Asynchronous and Synchronous Finite-State Machines
ISBN: 1461355435 ISBN-13(EAN): 9781461355434
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text contributes to the field of sequential optimization for finite-state machines, introducing several new provably-optimal algorithms, presenting practical software implementations of each of these algorithms and introducing a complete new CAD package, called MINIMALIST.

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

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