Eine Formale Algorithmische Synthese Digitaler Schaltungen