Efficient partitioning method for distributed logic simulation of VLSI circuits | IEEE Conference Publication | IEEE Xplore