An Improved F-M Partitioning Algorithm in Parallel Logic Simulation | IEEE Conference Publication | IEEE Xplore