SMS: Eine formale algorithmische Synthese digitaler Schaltungen