Partitioning strategies within a distributed multilevel logic simulator including dynamic repartitioning | IEEE Conference Publication | IEEE Xplore