Overview
- Includes new methods of logic synthesis and optimization for logic circuits of Mealy and Moore and combined FSMs targeting FPGAs, as well numerous examples
- Discusses the hardware implementation of control algorithms represented by graph-schemes
- Presents the methods of structural decomposition, taking into account the peculiarities of an FSM model used for interpretation of a control algorithm, as well as features of the hardware used
- Features numerous examples illustrating the design of FSMs using the proposed methods
Part of the book series: Lecture Notes in Electrical Engineering (LNEE, volume 636)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (8 chapters)
-
Front Matter
-
Back Matter
Keywords
About this book
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 that make it impossible to design their logic circuits using the standard library cells. Design methods depend strongly on such factors as the FSM used, specific features of the logic elements implemented in the FSM logic circuit, and the characteristics of the control algorithm to be interpreted.
This book discusses Moore and Mealy FSMs implemented with FPGA chips, including look-up table elements (LUT) and embedded memory blocks (EMB). It is crucial to minimize the number of LUTs and EMBs in an FSM logic circuit, as well as to make the interconnections between the logic elements more regular, and various methods of structural decompositions can be used to solve this problem. These methods are reduced to the presentation of an FSM circuit as a composition of different logic blocks, the majority of which implement systems of intermediate logic functions different (and much simpler) than input memory functions and FSM output functions. The structural decomposition results in multilevel FSM circuits having fewer logic elements than equivalent single-level circuits. The book describes well-known methods of structural decomposition and proposes new ones, examining their impact on the final amount of hardware in an FSM circuit. It is of interest to students and postgraduates in the area of Computer Science, as well as experts involved in designing digital systems with complex control units. The proposed models and design methods open new possibilities for creating logic circuits of control units with an optimal amount of hardware and regular interconnections.
Authors and Affiliations
Bibliographic Information
Book Title: Logic Synthesis for FPGA-Based Control Units
Book Subtitle: Structural Decomposition in Logic Design
Authors: Alexander Barkalov, Larysa Titarenko, Kamil Mielcarek, Sławomir Chmielewski
Series Title: Lecture Notes in Electrical Engineering
DOI: https://doi.org/10.1007/978-3-030-38295-7
Publisher: Springer Cham
eBook Packages: Intelligent Technologies and Robotics, Intelligent Technologies and Robotics (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Hardcover ISBN: 978-3-030-38294-0Published: 09 January 2020
Softcover ISBN: 978-3-030-38297-1Published: 10 January 2021
eBook ISBN: 978-3-030-38295-7Published: 08 January 2020
Series ISSN: 1876-1100
Series E-ISSN: 1876-1119
Edition Number: 1
Number of Pages: XVI, 247
Number of Illustrations: 189 b/w illustrations, 1 illustrations in colour