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

• 作者: 叶以正 王忠海
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 有限状态机 验证 图论 数学规划
• 年，卷（期）: 2005,（9）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 2061-2067
• 页数: 7页
• 分类号: TN47
• 字数: 6657字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2005.09.027

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶以正	哈尔滨工业大学微电子中心	67	544	14.0	21.0
2	王忠海	哈尔滨工业大学微电子中心	4	25	3.0	4.0