Seol mar théacs é seo: Ein Verfahren zur Synchronisation und Lastverteilung für die parallele Mehrebenenlogiksimulation /