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.

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.