Corolla partitioning for distributed logic simulation of VLSI circuits - Sporrer, Christian; Bauer, Herbert (Technische Universität <München>: TUM-I, 1993)