Advanced Logic Synthesis, Andr? In?cio Reis; Rolf Drechsler

Автор: Kanupriya Gulati
Название: Advanced Techniques in Logic Synthesis, Optimizations and Applications
ISBN: 1489981888 ISBN-13(EAN): 9781489981882
Издательство: Springer
Рейтинг:
Цена: 121890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers advances in logic synthesis and design, including Boolean Matching, Logic Decomposition, Boolean satisfiability, Advanced Synthesis Techniques and Applications of Logic Design. Also covers techniques for optimizing VLSI integrated circuits.

Автор: Sasao
Название: Memory-Based Logic Synthesis
ISBN: 1441981039 ISBN-13(EAN): 9781441981035
Издательство: Springer
Рейтинг:
Цена: 130280.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Alexander Barkalov; Larysa Titarenko
Название: Logic Synthesis for FSM-Based Control Units
ISBN: 3642260640 ISBN-13(EAN): 9783642260643
Издательство: Springer
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the hardware implementation of control algorithms represented by graph-schemes of algorithm. It includes new methods of logic synthesis and optimization for logic circuits of Mealy and Moore FSMs oriented on both ASIC and FPLD.

Автор: Egan WF
Название: Advanced frequency synthesis
ISBN: 0470915668 ISBN-13(EAN): 9780470915660
Издательство: Wiley
Рейтинг:
Цена: 116110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The latest frequency synthesis techniques, including sigma-delta, Diophantine, and all-digital Sigma-delta is a frequency synthesis technique that has risen in popularity over the past decade due to its intensely digital nature and its ability to promote miniaturization.

Автор: Himanshu Bhatnagar
Название: Advanced ASIC Chip Synthesis
ISBN: 1475776292 ISBN-13(EAN): 9781475776294
Издательство: Springer
Рейтинг:
Цена: 148020.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Advanced ASIC Chip Synthesis: Using Synopsys (R) Design Compiler (R) Physical Compiler (R) and PrimeTime (R), Second Edition describes the advanced concepts and techniques used towards ASIC chip synthesis, physical synthesis, formal verification and static timing analysis, using the Synopsys suite of tools.

Автор: Himanshu Bhatnagar
Название: Advanced ASIC Chip Synthesis
ISBN: 1461346622 ISBN-13(EAN): 9781461346623
Издательство: Springer
Рейтинг:
Цена: 95770.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Advanced ASIC Chip Synthesis: Using Synopsys (R) Design Compiler (R) and PrimeTime (R) describes the advanced concepts and techniques used for ASIC chip synthesis, formal verification and static timing analysis, using the Synopsys suite of tools.

Автор: Alexander Barkalov; Larysa Titarenko
Название: Logic Synthesis for Compositional Microprogram Control Units
ISBN: 3642088791 ISBN-13(EAN): 9783642088797
Издательство: Springer
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents design methods for and hardware amount optimization for compositional microprogram control units (CMCU). It includes new models of control units, methods of their synthesis and a lot of examples.

Автор: Alexander Barkalov; Larysa Titarenko
Название: Logic Synthesis for FSM-Based Control Units
ISBN: 3642043089 ISBN-13(EAN): 9783642043086
Издательство: Springer
Рейтинг:
Цена: 156720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the hardware implementation of control algorithms represented by graph-schemes of algorithm. It includes new methods of logic synthesis and optimization for logic circuits of Mealy and Moore FSMs oriented on both ASIC and FPLD.

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

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

Автор: Pran Kurup; Taher Abbasi
Название: Logic Synthesis Using Synopsys®
ISBN: 1461286344 ISBN-13(EAN): 9781461286349
Издательство: Springer
Рейтинг:
Цена: 148020.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic Synthesis Using Synopsys (R), Second Edition is for anyone who hates reading manuals but would still like to learn logic synthesis as practised in the real world.

Автор: Anas N. Al-Rabadi
Название: Reversible Logic Synthesis
ISBN: 3642623255 ISBN-13(EAN): 9783642623257
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: For the first time in book form, this comprehensive and systematic monograph presents methods for the reversible synthesis of logic functions and circuits. It is illustrated with a wealth of examples and figures that describe in detail the systematic methodologies of synthesis using reversible logic.