LEADER 05637nam 22007335 450 001 9910254209903321 005 20200706040251.0 010 $a3-319-24202-4 024 7 $a10.1007/978-3-319-24202-6 035 $a(CKB)3710000000492433 035 $a(EBL)4178561 035 $a(SSID)ssj0001584666 035 $a(PQKBManifestationID)16265172 035 $a(PQKBTitleCode)TC0001584666 035 $a(PQKBWorkID)14864368 035 $a(PQKB)10235530 035 $a(DE-He213)978-3-319-24202-6 035 $a(MiAaPQ)EBC4178561 035 $a(PPN)190526696 035 $a(EXLCZ)993710000000492433 100 $a20151014d2016 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aLogic Synthesis for FPGA-Based Finite State Machines /$fby Alexander Barkalov, Larysa Titarenko, Malgorzata Kolopienczyk, Kamil Mielcarek, Grzegorz Bazydlo 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (287 p.) 225 1 $aStudies in Systems, Decision and Control,$x2198-4182 ;$v38 300 $aDescription based upon print version of record. 311 $a3-319-24200-8 327 $aPreface; Contents; Abbreviations; 1 Background of Finite State Machines and Programmable Logic; 1.1 Basic Models of FSMs; 1.2 Logic Synthesis for Microprogram Automata; 1.3 Logic Synthesis for Microprogram Control Units; 1.4 Logic Synthesis for Compositional MCUs; 1.5 Hardware Reduction for FPLD-Based FSMs; References; 2 Field Programmable Gate Arrays in FSM Design; 2.1 General Characteristic of FPGAs; 2.2 Trivial Implementing FPGA-Based FSMs; 2.3 Methods of State Assignment; 2.4 Hardware Reduction for FPGA-Based FSMs; References; 3 Object Codes Transformation for Mealy FSMs 327 $a3.1 Principle of OCT for Mealy FSMs3.2 Synthesis of FPGA-Based Mealy FSMs with Transformation of States; 3.3 Synthesis of FPGA-Based Mealy FSMs with Transformation of CMOs; 3.4 Replacement of Logical Conditions in Mealy FSMs with OCT; 3.5 Analysis of Proposed Methods; References; 4 Object Codes Transformation for Moore FSMs ; 4.1 Principle of OCT for Moore FSMs; 4.2 Synthesis of FPGA-Based Moore FSMs with Transformations of States; 4.3 Synthesis of FPGA-Based Moore FSMs with Transformation of CMOs; 4.4 Replacement of Logical Conditions in Moore FSMs with OCT; References 327 $a5 Distribution of Class Codes in Moore FSMs5.1 The Case of CPLD-Based FSMs; 5.2 Two Sources of Class Codes in FPGA-Based Moore FSMs; 5.3 Three Sources of Class Codes in FPGA-Based Moore FSMs; 5.4 Replacement of Logical Conditions and Distribution of Class Codes; 5.5 Increasing the Number of Class Variables; References; 6 Hardware Reduction in Multidirectional Moore FSMs; 6.1 Hardware Reduction in Two-Directional Moore FSMs; 6.2 Hardware Reduction in 3-Directional Moore FSMs; 6.3 Replacement of Logical Conditions for K-Directional Moore FSMs; References; 7 Design of EMB-Based Mealy FSMs 327 $a7.1 Trivial Implementing Mealy FSMs7.2 Encoding of Objects in Mealy FSMs; 7.3 Replacement of Logical Conditions for Mealy FSMs; 7.4 Hardware Reduction for BRLC; References; 8 Design of EMB-Based Moore FSMs; 8.1 Trivial Implementing Moore FSMs; 8.2 Structural Decomposition for Moore FSMs; 8.3 Optimization of BIMF Based on Pseudoequivalent States; 8.4 Optimizing LUTer in Replacement of Logical Conditions; References; Conclusion; Index 330 $aThis 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. It shows that one of the peculiarities of FPGA chips is the existence of embedded memory blocks (EMB). The book is devoted to the solution of problems of logic synthesis and reduction of hardware amount in control units. The book will be interesting and useful for researchers and PhD students in the area of Electrical Engineering and Computer Science, as well as for designers of modern digital systems. 410 0$aStudies in Systems, Decision and Control,$x2198-4182 ;$v38 606 $aControl engineering 606 $aElectronic circuits 606 $aMathematical models 606 $aControl and Systems Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/T19010 606 $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068 606 $aMathematical Modeling and Industrial Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M14068 615 0$aControl engineering. 615 0$aElectronic circuits. 615 0$aMathematical models. 615 14$aControl and Systems Theory. 615 24$aCircuits and Systems. 615 24$aMathematical Modeling and Industrial Mathematics. 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 $aKolopienczyk$b Malgorzata$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aMielcarek$b Kamil$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aBazydlo$b Grzegorz$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910254209903321 996 $aLogic Synthesis for FPGA-Based Finite State Machines$92517422 997 $aUNINA