Logic Synthesis and Verification Algorithms, Gary D. Hachtel; Fabio Somenzi
Автор: Alexander Barkalov; Larysa Titarenko Название: Logic Synthesis for FSM-Based Control Units ISBN: 3642260640 ISBN-13(EAN): 9783642260643 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. Top world universities, companies and government institutions are in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies.
Описание: 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.
Автор: 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.
Автор: George Constantinides; Peter Y.K. Cheung; Wayne Lu Название: Synthesis and Optimization of DSP Algorithms ISBN: 1475779844 ISBN-13(EAN): 9781475779844 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Synthesis and Optimization of DSP Algorithms describes approaches taken to synthesising structural hardware descriptions of digital circuits from high-level descriptions of Digital Signal Processing (DSP) algorithms.
Автор: Abhijit Ghosh; Srinivas Devadas; A. Richard Newton Название: Sequential Logic Testing and Verification ISBN: 1461366224 ISBN-13(EAN): 9781461366225 Издательство: Springer Рейтинг: Цена: 11753.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: For instance, in order design reliable inte- gritted circuits, it is necessary to analyze how decisions regarding design rules affect the yield, i.e., the percentage of functional chips obtained by the manufacturing process.
Автор: Alexander Barkalov; Larysa Titarenko Название: Logic Synthesis for FSM-Based Control Units ISBN: 3642043089 ISBN-13(EAN): 9783642043086 Издательство: Springer Рейтинг: Цена: 23508.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Alexander Barkalov; Larysa Titarenko Название: Logic Synthesis for Compositional Microprogram Control Units ISBN: 3642088791 ISBN-13(EAN): 9783642088797 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Anas N. Al-Rabadi Название: Reversible Logic Synthesis ISBN: 3642623255 ISBN-13(EAN): 9783642623257 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Pran Kurup; Taher Abbasi Название: Logic Synthesis Using Synopsys® ISBN: 1461286344 ISBN-13(EAN): 9781461286349 Издательство: Springer Рейтинг: Цена: 22203.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Alexander Barkalov; Larysa Titarenko; Malgorzata K Название: Logic Synthesis for FPGA-Based Finite State Machines ISBN: 3319242008 ISBN-13(EAN): 9783319242002 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book discusses control units represented by the model of a finite state machine (FSM). It contains various original methods and takes into account the peculiarities of field-programmable gate arrays (FPGA) chips and a FSM model.
Автор: Sasan Iman; Massoud Pedram Название: Logic Synthesis for Low Power VLSI Designs ISBN: 1461374901 ISBN-13(EAN): 9781461374909 Издательство: Springer Рейтинг: Цена: 19591.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Logic Synthesis for Low Power VLSI Designs presents a systematic and comprehensive treatment of power modeling and optimization at the logic level.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
