A Partitioning Algorithm of Heuristic Parallel Logical Simulation

• 一种启发式并行逻辑模拟划分算法