>
首页
业界动态
市场趋势
新品速递
技术文章
解决方案
首页
>图论
SoC有限状态机优化验证方法研究
摘要:利用图论及数学规划方法分析并解决有限状态机验证路径的选择优化,提出一种在仿真验证方法中对SoC有限状态机验证路径进行优化的方法。在C*Core 提供的验证...
有限状态机
验证
图论
数学规划
2007-01-18
1
在线研讨会
焦点