Title: Ein Verfahren zur Synchronisation und Lastverteilung für die parallele Mehrebenenlogiksimulation