Logic synthesis and circuit customization using extensive external don't-cares