Finite State Machine Logic Synthesis for Complex Programmable Logic Devices [electronic resource] / by Robert Czerwinski, Dariusz Kania.
Contributor(s): Kania, Dariusz [author.] | SpringerLink (Online service).Material type: BookSeries: Lecture Notes in Electrical Engineering: 231Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Description: XVI, 172 p. 138 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642361661.Subject(s): Engineering | Logic design | Engineering design | Systems engineering | Engineering | Circuits and Systems | Logic Design | Engineering DesignDDC classification: 621.3815 Online resources: Click here to access online
Introduction -- Definitions and Basic Properties -- Synthesis of FSMs -- State Assignment Algorithms -- Theoretical Background of Technology-Dependent Optimization -- The Algorithm of Area Optimization Based on Graphs of Outputs -- Conclusions -- Output File Format -- Conclusion.
This book is a monograph devoted to logic synthesis and optimization for CPLDs. CPLDs' macrocell can also be interpreted as programmable AND-fixed OR structure, well known as PAL-based structure. The question is: what should be done when the number of implicants representing function exceeds the number of product terms available in a logic block. The answer is ... in the book. Logic synthesis and optimization methods dedicated for PAL-based structures are proposed. The methods strive to find the optimum fit for the combinational logic and finite state machines to the structure of the logic device and aim at area and speed optimization. The theoretical background and complete strategies are richly illustrated with examples and figures.