Logic Synthesis for FSM-Based Control Units

The control unit is one of the most important parts of any digital system responsible for interplay of other system blocks. Very often, the model of a finite state machine (FSM) is used to represent the behaviour of a control unit. Modern computer-aided design tools include a lot of optimal solution...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Barkalov, Alexander (Συγγραφέας), Titarenko, Larysa (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Σειρά:Lecture Notes in Electrical Engineering, 53
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 05018nam a22005775i 4500
001 978-3-642-04309-3
003 DE-He213
005 20151204155004.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 |a 9783642043093  |9 978-3-642-04309-3 
024 7 |a 10.1007/978-3-642-04309-3  |2 doi 
040 |d GrThAP 
050 4 |a TK7888.4 
072 7 |a TJFC  |2 bicssc 
072 7 |a TEC008010  |2 bisacsh 
082 0 4 |a 621.3815  |2 23 
100 1 |a Barkalov, Alexander.  |e author. 
245 1 0 |a Logic Synthesis for FSM-Based Control Units  |h [electronic resource] /  |c by Alexander Barkalov, Larysa Titarenko. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |c 2009. 
300 |a XIX, 233 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Electrical Engineering,  |x 1876-1100 ;  |v 53 
505 0 |a Hardwired Interpretation of Control Algorithms -- Matrix Realization of Control Units -- Evolution of Programmable Logic -- Optimization for Logic Circuit of Mealy FSM -- Optimization for Logic Circuit of Moore FSM -- FSM Synthesis with Transformation of GSA -- FSM Synthesis with Object Code Transformation -- FSM Synthesis with Elementary Chains -- Conclusion. 
520 |a The control unit is one of the most important parts of any digital system responsible for interplay of other system blocks. Very often, the model of a finite state machine (FSM) is used to represent the behaviour of a control unit. Modern computer-aided design tools include a lot of optimal solutions (library cells) for implementation of such regular blocks of digital systems as decoders, multiplexers, parallel multibit adders and so on. But as a rule, control units have an irregular structure which makes impossible to design their logic circuits using the standard library cells. To use these cells, an FSM can be represented by a multilevel model based on the principle of structural decomposition. In multilevel models, for example, multiplexers are used to replace logical conditions, decoders are used to implement microoperations, and different memory blocks are used to transform object codes. Design methods depend strongly on such factors as an FSM model in use, specific features of logic elements implementing its logic circuit, characteristics of a control algorithm to be interpreted. In the case of Moore FSM, optimization methods are based on existence of the classes of pseudoequivalent states. Their use permits to compress the transition table of Moore FSM till the size of the table for equivalent Mealy FSM. In the case of Mealy FSM, optimization methods are based on transformation of either object codes, or interpreted graph-schemes of algorithm. In the case of CPLD, the hardware decrease can be achieved using more than single source of state codes. In the case of FPGA, the structural decomposition allows using embedded memory blocks for implementation of decoding logic. In case of ASIC, design methods target on minimization of the chip area occupied by an FSM circuit. It can be achieved due to use of different encoding methods, where both internal states and collections of microoperations can be encoded. If a control algorithm is a linear one, then a state register of Moore FSM can be replaced by a counter. It leads to simplification of the input memory functions and, in turns, to the hardware amount decrease. The book includes a lot of design methods targeted on logic synthesis of both Mealy and Moore FSMs, where their logic circuits can be implemented using ASIC, as well as CPLD or FPGA. The most of discussed methods belong to the authors of this book. This book will be interesting and useful for students and postgraduates in the area of Computer Science, as well as for designers of digital systems included complex control units. Proposed models and design methods open new possibilities for creating logic circuits of control units with optimal hardware amount. 
650 0 |a Engineering. 
650 0 |a Microprogramming. 
650 0 |a Logic design. 
650 0 |a Computer logic. 
650 0 |a Control engineering. 
650 0 |a Electronics. 
650 0 |a Microelectronics. 
650 0 |a Electronic circuits. 
650 1 4 |a Engineering. 
650 2 4 |a Circuits and Systems. 
650 2 4 |a Control. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Electronics and Microelectronics, Instrumentation. 
650 2 4 |a Control Structures and Microprogramming. 
650 2 4 |a Logic Design. 
700 1 |a Titarenko, Larysa.  |e author. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783642043086 
830 0 |a Lecture Notes in Electrical Engineering,  |x 1876-1100 ;  |v 53 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-04309-3  |z Full Text via HEAL-Link 
912 |a ZDB-2-ENG 
950 |a Engineering (Springer-11647)