Finite State Machine Logic Synthesis for Complex Programmable Logic Devices - Czerwinski, Robert; Kania, Dariusz; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013)
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.
Keywords: Electronic circuits; Logic design; Engineering design; Circuits and Systems; Logic Design; Engineering Design