Logic Synthesis for Control Automata

Logic Synthesis for Control Automata

Author: Samary Baranov

Publisher: Springer Science & Business Media

ISBN: 9781461526926

Category: Technology & Engineering

Page: 393

View: 513

Download BOOK »

Logic Synthesis for Control Automata provides techniques for logic design of very complex control units with hardly any constraints on their size, i.e. the number of inputs, outputs and states. These techniques cover all stages of control unit design, including: description of control unit behavior by using operator schemes of algorithms (binary decision trees) and various transformations of these descriptions -- composition, decomposition, minimization, etc.; synthesis of a control automaton (finite-state machine); synthesis of an automaton logic circuit: with matrix structure as a part of LSI or VLSI circuits; as multilevel circuit with logic gates; with standard LSI and VLSI circuits with and without memory. Each chapter contains many examples, illustrating the use of the models and methods described. Moreover, the special last chapter demonstrates in detail the whole design methodology presented in the previous chapters, through the examples of the logic design for a control unit. The models, methods and algorithms described in the book can be applied to a broad class of digital system design problems including design of complex controllers, robots, control units of computers and for designing CAD systems of VLSI circuits using FPGA, PLD and SIC technologies. Logic Synthesis for Control Automata is a valuable reference for graduate students, researchers and engineers involved in the design of very complex controllers, VLSI circuits and CAD systems. The inclusion of many examples and problems makes it most suitable for a course on the subject.
Logic Synthesis for Control Automata
Language: en
Pages: 393
Authors: Samary Baranov
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

Logic Synthesis for Control Automata provides techniques for logic design of very complex control units with hardly any constraints on their size, i.e. the number of inputs, outputs and states. These techniques cover all stages of control unit design, including: description of control unit behavior by using operator schemes of
Logic Synthesis for Compositional Microprogram Control Units
Language: en
Pages: 272
Authors: Alexander Barkalov, Larysa Titarenko
Categories: Technology & Engineering
Type: BOOK - Published: 2008-07-17 - Publisher: Springer Science & Business Media

One of the very important parts of any digital system is the control unit, coordin- ing interplay of other system blocks. As a rule, control units have irregular str- ture, which makes process of their logic circuits design very sophisticated. In case of complex logic controllers, the problem of system
Logic Synthesis for FPGA-Based Control Units
Language: en
Pages: 247
Authors: Alexander Barkalov, Larysa Titarenko, Kamil Mielcarek, Sławomir Chmielewski
Categories: Technology & Engineering
Type: BOOK - Published: 2020-01-08 - Publisher: Springer Nature

This book focuses on control units, which are a vital part of modern digital systems, and responsible for the efficiency of controlled systems. The model of a finite state machine (FSM) is often used to represent the behavior of a control unit. As a rule, control units have irregular structures
Logic Synthesis for Finite State Machines Based on Linear Chains of States
Language: en
Pages: 225
Authors: Alexander Barkalov, Larysa Titarenko, Jacek Bieganowski
Categories: Computers
Type: BOOK - Published: 2017-06-24 - Publisher: Springer

This book discusses Moore finite state machines (FSMs) implemented with field programmable gate arrays (FPGAs) including look-up table (LUT) elements and embedded memory blocks (EMBs). To minimize the number of LUTs in FSM logic circuits, the authors propose replacing a state register with a state counter. They also put forward
Logic Synthesis for FSM-Based Control Units
Language: en
Pages: 233
Authors: Alexander Barkalov, Larysa Titarenko
Categories: Technology & Engineering
Type: BOOK - Published: 2009-11-25 - Publisher: Springer Science & Business Media

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.