A refined F-M partitioning algorithm for logic simulation. (1st January 2012)