Logic synthesis based on decomposition for CPLDs - Kania, Dariusz; Milik, Adam (Microprocessors & Microsystems, 2010)