HSM2：改进的有限状态机状态化简的启发式算法

在时序电路的自动综合中，状态化简作为一个重要的组成部分，对综合后电路的面积、时延、功耗和验证有着重要的影响。状态化简作为一个NP难题，人们在过去的几十年中对它作了大量的深入研究。