同步时序机快速状态加全模拟算法研究

同步时序机状态加全模拟是同步时序机反设计的关键步骤。因时序机状态出现的频率不同,模拟分析的时间不等,有的太长,难以满足要求。本文在长期实践基础上提出了一种同步时序状态加全模拟的路径驱动算法,可以使状态驱动路径长度尽可能短,路径查找或搜索次数尽可能少,从而达到同步时序机快速状态加全模拟的目的。