TY - BOOK AU - Czerwinski,Robert AU - Kania,Dariusz ED - SpringerLink (Online service) TI - Finite State Machine Logic Synthesis for Complex Programmable Logic Devices T2 - Lecture Notes in Electrical Engineering, SN - 9783642361661 AV - TK7888.4 U1 - 621.3815 23 PY - 2013/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg, Imprint: Springer KW - Engineering KW - Logic design KW - Engineering design KW - Electronic circuits KW - Circuits and Systems KW - Logic Design KW - Engineering Design N1 - 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 N2 - 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 UR - http://dx.doi.org/10.1007/978-3-642-36166-1 ER -