Verfahren zur Schaltungspartitionierung für die parallele Logiksimulation - Sporrer, Christian (Berichte aus der Informatik, 1995)