超大规模数字系统控制器的验证实现

• 作者: 卢英 张义超 李炜 郭星
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 超大规模数字系统 电子设计自动化 模拟验证 形式验证 状态转换图
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 应用开发研究
• 页码范围: 170-172,176
• 页数: 4页
• 分类号: TN79
• 字数: 3318字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2008.10.049

摘要

数字系统的验证是一个复杂的过程.结合当前数字电路设计的高复杂度、高度集成化的特性,介绍了模拟验证和形式验证两种验证方法,并对它们进行了分析与比较,然后详细介绍了基于STG图同构求解的控制器综合验证方法.该方法需要两组有限状态机的STG状态转换图),通过验证两个STG是否同构来验证控制器综合结果的正确与否.实践表明该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李炜	安徽大学计算智能与信号处理教育部重点实验室	69	399	12.0	14.0
2	郭星	安徽大学计算机科学与技术学院	48	208	8.0	10.0
3	张义超	安徽大学计算机科学与技术学院	10	98	6.0	9.0
4	卢英	安徽大学计算机科学与技术学院	5	42	3.0	5.0