输出一致替换性划分在化简时序机中的应用

时序机状态化简是逻辑综合中必不可少的一环。有关这个课题的文献虽然不少,然而由于受传统的方法所限,距离实用化程度还有一定距离。本文的贡献在于:完善和拓广了输出一致替换性划分的理论和算法,在此基础上,推导出一种化简时序机的快迅迭代新方法。其相应的程序有较高的效率和较大的解题能力,经过十几个典型例题的验证及用随机数生成的状态表(已达到128个状态)考验,其结果的可行性、内存和机时的经济性都是较为满意的,比起目前其它方法有一定优越性,该程序已作为实用化逻辑综合软件包的一部分。