Title: Synthese digitaler Systeme für die Zwecke der digitalen Simulation