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

被引：1

作者：

王忠海

叶以正

不详

机构：

[1] 哈尔滨工业大学微电子中心

[2] 哈尔滨工业大学微电子中心哈尔滨

[3] 哈尔滨

来源：

计算机辅助设计与图形学学报 | 2005年 / 09期

关键词：

有限状态机; 验证; 图论; 数学规划;

D O I：

暂无

中图分类号：

TN402 [设计];

学科分类号：

080903 ; 1401 ;

摘要：

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

引用

页码：2061 / 2067

页数：7