[1]卢英 李炜 张义超 郭星.超大规模数字系统控制器的验证实现[J].计算机技术与发展,2008,(10):170-172.
　LU Ying,LI Wei,ZHANG Yi-chao,et al.Implementation on Verification of Controller in Very Lage Digital Systems[J].,2008,(10):170-172.
点击复制

超大规模数字系统控制器的验证实现()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2008年10期
页码:
170-172
栏目:
应用开发研究
出版日期:
1900-01-01

文章信息/Info

Title:
Implementation on Verification of Controller in Very Lage Digital Systems
文章编号:
1673-629X（2008）10-0170-03
作者:
卢英1 李炜2 张义超1 郭星1
[1]安徽大学计算机科学与技术学院[2]安徽大学计算智能与信号处理教育部重点实验室
Author(s):
LU Ying; LI Wei;  ZHANG Yi-chao ; GUO Xing
[1]Institute of Computer Science and Technology, Anhui University[2]Ministry of Education Key Laboratory of Intelligence Computing and Signal Processing,Anhui University
关键词:
超大规模数字系统; 电子设计自动化; 模拟验证; 形式验证; 状态转换图
Keywords:
very large digital system; electronic design automation; verification of simulation;  formal verification; state transition graph
分类号:
TN79
文献标志码:
A
摘要:
数字系统的验证是一个复杂的过程。结合当前数字电路设计的高复杂度、高度集成化的特性，介绍了模拟验证和形式验证两种验证方法，并对它们进行了分析与比较，然后详细介绍了基于STG图同构求解的控制器综合验证方法。该方法需要两组有限状态机的STG（状态转换图），通过验证两个STG是否同构来验证控制器综合结果的正确与否。实践表明该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题
Abstract:
Digital system＇s verification is a complex issue. In connection with the high complexity and integration of current digital circuit, introduces simulation verification and formal verification which are analyzed and compared,and then detailedly introduces

备注/Memo

备注/Memo:
安徽省自然科学基金资助计划项目（2006KJ013A）卢英（1984-），女，安徽泗县人，硕士研究生，研究方向为计算机与VLSI设计自动化；李炜，副教授，硕导，研究方向为嵌入式系统和CIMS技术
更新日期/Last Update: 1900-01-01