Logic Synthesis for FPGA-Based Finite State Machines

This 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.

Takes into account the peculiarities of a Finite State Machine model used for interpretation of a control algorithm, as well as features of hardware in use Discusses the hardware implementation of control algorithms represented by graph-schemes of algorithm Includes new methods of logic synthesis and optimization for logic circuits of Mealy and Moore FSMs targeting FPGAs, as well as a lot of examples Includes supplementary material: sn.pub/extras

Inhalt
Background of Finite State Machines and Programmable Logic.- Field Programmable Gate Arrays in FSM design.-Object Codes Transformation for Mealy FSMs.- Object Codes Transformation for Moore FSMs.- Distribution of class codes in Moore FSMs.- Hardware Reduction in Multidirectional Moore FSMs.- Design of EMB-Based Mealy FSMs.- Design of EMB-Based Moore FSMs.