Logic-Based Program Synthesis and Transformation, Moreno Falaschi

Автор: Gary D. Hachtel; Fabio Somenzi
Название: Logic Synthesis and Verification Algorithms
ISBN: 1475770367 ISBN-13(EAN): 9781475770360
Издательство: Springer
Рейтинг:
Цена: 10448.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. Logic Synthesis and Verification Algorithms is about the theoretical underpinnings of VLSI (Very Large Scale Integrated Circuits).

Автор: Trent McConaghy; Pieter Palmers; Gao Peng; Michiel
Название: Variation-Aware Analog Structural Synthesis
ISBN: 9400726082 ISBN-13(EAN): 9789400726086
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes computational intelligence-based tools for robust design of analog circuits. It starts with global variation-aware sizing and knowledge extraction and progressively extends to variation-aware topology design.

Автор: Graham Birtwistle; P.A. Subrahmanyam
Название: VLSI Specification, Verification and Synthesis
ISBN: 1461291976 ISBN-13(EAN): 9781461291978
Издательство: Springer
Рейтинг:
Цена: 16979.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16 January 1987.

Автор: Trent McConaghy; Pieter Palmers; Gao Peng; Michiel
Название: Variation-Aware Analog Structural Synthesis
ISBN: 9048129052 ISBN-13(EAN): 9789048129058
Издательство: Springer
Рейтинг:
Цена: 26122.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes computational intelligence-based tools for robust design of analog circuits. It starts with global variation-aware sizing and knowledge extraction and progressively extends to variation-aware topology design.