Ein neues Verfahren zur mod-2-Summen-Synthese und dessen Anwendungen in der Synthese und der Verifikation digitaler Schaltungen / Matthias Riege