Text this: Logic synthesis based on decomposition for CPLDs