Search for: [Subject and Keywords = logic synthesis] OR [Subject and Keywords = FSM] OR [Subject and Keywords = state assignment] OR [Subject and Keywords = logic optimization] OR [Subject and Keywords = CPLD] OR [Title = Synthesis of finite state machines for CPLDs] OR [Creator = Czerwiński, Robert] OR [Creator = Kania, Dariusz]