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

Implementation on Verification of Controller in Very Lage Digital Systems

作　　者：卢英[1] 李炜[2] 张义超[1] 郭星[1] 

机构地区：[1]安徽大学计算机科学与技术学院,安徽合肥230039 [2]安徽大学计算智能与信号处理教育部重点实验室,安徽合肥230039

出　　处：《计算机技术与发展》2008年第10期170-172,176,共4页Computer Technology and Development

基　　金：安徽省自然科学基金资助计划项目(2006KJ013A)

摘　　要：数字系统的验证是一个复杂的过程。结合当前数字电路设计的高复杂度、高度集成化的特性,介绍了模拟验证和形式验证两种验证方法,并对它们进行了分析与比较,然后详细介绍了基于STG图同构求解的控制器综合验证方法。该方法需要两组有限状态机的STG(状态转换图),通过验证两个STG是否同构来验证控制器综合结果的正确与否。实践表明该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题。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 the verification of controller synthesis based on STG＇s（ state transition graph） isomorphism. The verification of controller synthesis requires two finite state rnachines＇STG,whose isomorphism is checked to see the corresponding controller synthesis＇ correcmess. Practice shows that the method can effectively overcomes the wide span between algorithm-level description and bottom implementation.

关 键 词：超大规模数字系统 电子设计自动化 模拟验证 形式验证 状态转换图 

分 类 号：TN79[电子电信—电路与系统]