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.

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

Автор: Robert M. Fuhrer; Steven M. Nowick
Название: Sequential Optimization of Asynchronous and Synchronous Finite-State Machines
ISBN: 1461355435 ISBN-13(EAN): 9781461355434
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text contributes to the field of sequential optimization for finite-state machines, introducing several new provably-optimal algorithms, presenting practical software implementations of each of these algorithms and introducing a complete new CAD package, called MINIMALIST.

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

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

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

Автор: Pedroni Volnei A.
Название: Finite State Machines in Hardware
ISBN: 0262019663 ISBN-13(EAN): 9780262019668
Издательство: MIT Press
Рейтинг:
Цена: 8465.00 р.
Наличие на складе: Нет в наличии.

Описание:

A comprehensive guide to the theory and design of hardware-implemented finite state machines, with design examples developed in both VHDL and SystemVerilog languages.

Modern, complex digital systems invariably include hardware-implemented finite state machines. The correct design of such parts is crucial for attaining proper system performance. This book offers detailed, comprehensive coverage of the theory and design for any category of hardware-implemented finite state machines. It describes crucial design problems that lead to incorrect or far from optimal implementation and provides examples of finite state machines developed in both VHDL and SystemVerilog (the successor of Verilog) hardware description languages.

Important features include: extensive review of design practices for sequential digital circuits; a new division of all state machines into three hardware-based categories, encompassing all possible situations, with numerous practical examples provided in all three categories; the presentation of complete designs, with detailed VHDL and SystemVerilog codes, comments, and simulation results, all tested in FPGA devices; and exercise examples, all of which can be synthesized, simulated, and physically implemented in FPGA boards. Additional material is available on the book's Website.

Designing a state machine in hardware is more complex than designing it in software. Although interest in hardware for finite state machines has grown dramatically in recent years, there is no comprehensive treatment of the subject. This book offers the most detailed coverage of finite state machines available. It will be essential for industrial designers of digital systems and for students of electrical engineering and computer science.

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