SoC有限状态机优化验证方法研究

摘要：

利用图论及数学规划方法分析并解决有限状态机验证路径的选择优化,提出一种在仿真验证方法中对SoC有限状态机验证路径进行优化的方法.在C*Core提供的验证环境中,对其部分Golden File验证任务的有限状态机进行了优化处理,通过原方案的验证时间的对比,表明了该方法可以使用更短的时间有效解决有限状态机验证问题.

关键词：有限状态机、验证、图论、数学规划

所属期刊栏目：17

分类号：TN47(微电子学、集成电路（IC）)

在线出版日期：2005-11-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：2061-2067