Électronique numérique, synthèse logique