Logic Synthesis for Finite State Machines Based on Linear Chains of States, Alexander Barkalov; Larysa Titarenko; Jacek Biegan

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

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

Автор: Tiziano Villa; Timothy Kam; Robert K. Brayton; Alb
Название: Synthesis of Finite State Machines
ISBN: 0792398920 ISBN-13(EAN): 9780792398929
Издательство: Springer
Рейтинг:
Цена: 27951.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume addresses functional optimization, whereas second addresses logic optimization. It is of interest to researchers and professional engineers who work in the area of computer-aided design of integrated circuits.

Автор: Timothy Kam; Tiziano Villa; Robert K. Brayton; Alb
Название: Synthesis of Finite State Machines
ISBN: 0792398424 ISBN-13(EAN): 9780792398424
Издательство: Springer
Рейтинг:
Цена: 23508.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A monograph devoted to the synthesis of Finite State Machines (FSMs). It presents some preliminary definitions, theories and techniques related to the exploration of behaviors of FSMs. It provides an implicit algorithm for exact state minimization of incompletely specified finite state machines (ISFSMs).

Автор: Ndjountche
Название: Digital Electronics V3 - Finite-state Machines
ISBN: 1848219865 ISBN-13(EAN): 9781848219861
Издательство: Wiley
Рейтинг:
Цена: 22010.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This third volume in the comprehensive Digital Electronics series, which explores the basic principles and concepts of digital circuits, focuses on finite state machines.

Автор: Gopal Gupta; Ricardo Pe?a
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3319141244 ISBN-13(EAN): 9783319141244
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Specification.- Synthesis.- Verification.- Analysis.- Optimization.- Specialization.- Security.- Certification.- Applications and tools.- Program/model manipulation.- Transformation techniques for any programming language paradigm.

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

Описание: In what will be a valuable reference for FPGA system designers and CAD tool developers, this book sets out the synthesis of logic functions using memories. Indeed, anyone using logic gates to design logic circuits will benefit from the methods described here.

Автор: Danny De Schreye
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3642125913 ISBN-13(EAN): 9783642125911
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009.

Автор: Michael Hanus
Название: Logic-Based Program Synthesis and Transformation
ISBN: 3642005144 ISBN-13(EAN): 9783642005145
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. This book includes papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, and security.

Автор: Albert Elvira
Название: Logic-based Program Synthesis and Transformation
ISBN: 3642381960 ISBN-13(EAN): 9783642381966
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.

Автор: Tiziano Villa; Timothy Kam; Robert K. Brayton; Alb
Название: Synthesis of Finite State Machines
ISBN: 1461378214 ISBN-13(EAN): 9781461378211
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Machines (FSMs).

Автор: Timothy Kam; Tiziano Villa; Robert K. Brayton; Alb
Название: Synthesis of Finite State Machines
ISBN: 1441951709 ISBN-13(EAN): 9781441951700
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Synthesis of Finite State Machines: Functional Optimization is one of two monographs devoted to the synthesis of Finite State Machines (FSMs).