Logic Synthesis for FSM-Based Control Units, Alexander Barkalov; Larysa Titarenko

Автор: Sasao
Название: Memory-Based Logic Synthesis
ISBN: 1441981039 ISBN-13(EAN): 9781441981035
Издательство: Springer
Рейтинг:
Цена: 19542.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes the synthesis of logic functions using memories. It is useful to design field programmable gate arrays (FPGAs) that contain both small-scale memories, called look-up tables (LUTs), and medium-scale memories, called embedded memories. This is a valuable reference for both FPGA system designers and CAD tool developers, concerned with logic synthesis for FPGAs.

Автор: Nader Jalili
Название: Piezoelectric-Based Vibration-Control Systems
ISBN: 1441900691 ISBN-13(EAN): 9781441900692
Издательство: Springer
Рейтинг:
Цена: 26122.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: "Piezoelectric-Based Vibration-control Systems: Applications in Micro/Nano Sensors and Actuators" covers: Fundamental concepts in smart (active) materials including piezoelectric and piezoceramics, magnetostrictive, shape-memory materials, and electro/magneto-rheological fluids;

Автор: Amaru
Название: New Data Structures and Algorithms for Logic Synthesis and Verification
ISBN: 3319431730 ISBN-13(EAN): 9783319431734
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic circuits and developing new frameworks for logic reasoning engines.