03542nam 22005535 450 991029990870332120251116182820.03-319-59837-610.1007/978-3-319-59837-6(CKB)3710000001411726(DE-He213)978-3-319-59837-6(MiAaPQ)EBC4886603(PPN)202992713(EXLCZ)99371000000141172620170624d2018 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierLogic synthesis for finite state machines based on linear chains of states foundations, recent developments and challenges /by Alexander Barkalov, Larysa Titarenko, Jacek Bieganowski1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (VIII, 225 p. 145 illus.)Studies in Systems, Decision and Control,2198-4182 ;1133-319-59836-8 Includes bibliographical references at the end of each chapters and index.Introduction -- Finite state machines and field-programmable gate arrays -- Linear chains in FSMs -- Hardware reduction for Moore UFSMs -- Hardware reduction for Mealy UFSMs -- Hardware reduction for Moore NFSMs -- Hardware reduction for Moore XFSMs.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 an approach allowing linear chains of states to be created, which simplifies the system of input memory functions and, therefore, decreases the number of LUTs in the resulting FSM circuit. The authors combine this approach with using EMBs to implement the system of output functions (microoperations). This allows a significant decrease in the number of LUTs, as well as eliminating a lot of interconnections in the FSM logic circuit. As a rule, it also reduces the area occupied by the circuit and diminishes the resulting power dissipation. This book is an interesting and valuable resource for students and postgraduates in the area of computer science, as well as for designers of digital systems that included complex control units.Studies in Systems, Decision and Control,2198-4182 ;113Computational intelligenceElectronic circuitsComputational Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/T11014Circuits and Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/T24068Computational intelligence.Electronic circuits.Computational Intelligence.Circuits and Systems.511.3Barkalov Alexanderauthttp://id.loc.gov/vocabulary/relators/aut886717Titarenko Larysaauthttp://id.loc.gov/vocabulary/relators/autBieganowski Jacekauthttp://id.loc.gov/vocabulary/relators/autMiAaPQMiAaPQMiAaPQBOOK9910299908703321Logic Synthesis for Finite State Machines Based on Linear Chains of States2497196UNINA