LEADER 04263nam 22005535 450 001 9910484916703321 005 20221014180724.0 010 $a3-030-38295-8 024 7 $a10.1007/978-3-030-38295-7 035 $a(CKB)4900000000505150 035 $a(MiAaPQ)EBC6011711 035 $a(DE-He213)978-3-030-38295-7 035 $a(PPN)243764731 035 $a(EXLCZ)994900000000505150 100 $a20200108d2020 uy 0 101 0 $aeng 135 $auru|u###u|||u 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic synthesis for FPGA-based control units $estructural decomposition in logic design /$fAlexander Barkalov [et al.] 205 $a1st edition 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (257 p.) 225 1 $aLecture Notes in Electrical Engineering,$x1876-1100 ;$v636 300 $aDescription based upon print version of record. 311 0 $a3-030-38294-X 320 $aIncludes bibliographical references and index. 327 $aFSM-Based Models of Control Units -- Structural decomposition in FSM synthesis -- Twofold State Assignment for Mealy FSMs -- Twofold state assignment for Moore FSMs -- Combining twofold state assignment with transformation of object codes -- Combining twofold state assignment with replacement of logical conditions -- Mixed encoding of microoperations -- Synthesis of Mealy FSMs with counters. 330 $aThis 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. . 410 0$aLecture Notes in Electrical Engineering,$x1876-1100 ;$v636 606 $aControl engineering 606 $aElectronic circuits 606 $aLogic circuits$xDesign 615 0$aControl engineering. 615 0$aElectronic circuits. 615 0$aLogic circuits$xDesign. 676 $a621.395 700 $aBarkalov$b Alexander$4aut$4http://id.loc.gov/vocabulary/relators/aut$0886717 702 $aTitarenko$b Larysa$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aMielcarek$b Kamil$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aChmielewski$b S?awomir$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484916703321 996 $aLogic Synthesis for FPGA-Based Control Units$92052291 997 $aUNINA