片上系统高层等价性检验研究进展

发布时间：2017-06-08 03:12

  本文关键词：片上系统高层等价性检验研究进展，由笔耕文化传播整理发布。

【摘要】：针对近年来SoC领域的工作,首先分析了高层等价性检验的难点;然后从算法类型归类角度对各种高层等价性检验方法进行了概述评论,同时分析了各类算法的优缺点和现有算法的主要技术手段;最后讨论了SoC高层等价性检验方法目前面临的挑战,并对该领域今后的研究方向进行了展望.
【作者单位】： 国防科学技术大学计算机学院;
【关键词】： 等价性检验 带数据通路的有限状态机 符号模拟 形式化方法
【基金】：国家自然科学基金重点项目(61133007);国家自然科学基金(61272335)
【分类号】：TN47
【正文快照】： So C在一块芯片中包含了极为复杂的功能与结构,随着其复杂度的增加,寄存器传输级(registertransfer level,RTL)的建模方法已不适应于目前的大规模So C系统设计,电子系统级设计逐渐成为主流.在电子系统设计流程中,设计人员采用自顶向下的方式从系统级开始利用高级设计语言(C++/

【相似文献】

中国期刊全文数据库 前10条

1 李建华;李红革;;形式化及其历史发展[J];自然辩证法研究;2008年08期

2 柴振荣;形式化检验的简化[J];管理科学文摘;1999年05期

3 古天龙;形式化技术及其工业应用:现状与展望[J];桂林电子工业学院学报;2000年04期

4 杨杰,郑明春;形式化方法和对象技术的结合途径研究[J];山东师大学报(自然科学版);2000年02期

5 邓勇,丁峰,沈钧毅;一种结构化形式化说明的方法[J];小型微型计算机系统;2002年06期

6 朱艳龙;;软件形式化方法的研究[J];阴山学刊(自然科学版);2004年02期

7 潘红艳,于全;用于通信网络协议开发的形式化方法[J];计算机工程;2004年02期

8 陈长春,王昭顺;形式化技术应用于软件逆工程的实践研究[J];计算机工程与设计;2005年05期

9 刘瑞成,张立臣;集成实时逻辑与Z++语言的形式化方法[J];计算机工程与设计;2005年11期

10 陈宇;邹盛荣;阳雪平;;形式化B方法数学基础的实例研究[J];常熟理工学院学报;2008年10期

中国重要会议论文全文数据库 前7条

1 李文健;;形式化的涵义及其认识论本质[A];1993年逻辑研究专辑[C];1993年

2 吴允曾;;关于形式化的几个问题[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年

3 郑宇军;石海鹤;薛锦云;;Spec#语言中的形式化特性[A];2005年全国理论计算机科学学术年会论文集[C];2005年

4 雷敏;雷友殉;;一种UML到SDL转换方法的研究与应用[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年

5 苗洁君;王克;;密码模块的形式化设计和验证研究[A];第二十一次全国计算机安全学术交流会论文集[C];2006年

6 缪道期;;评审计算机安全等级[A];第二次计算机安全技术交流会论文集[C];1987年

7 赵晓峰;;城市轨道交通自主化信号系统全面创新实践[A];中国系统工程学会第十八届学术年会论文集——A12系统科学与系统工程理论在各个领域中的应用研究[C];2014年

中国重要报纸全文数据库 前1条

1 殷杰 安军 山西大学科学技术哲学研究中心;21世纪科学哲学的关键词:语境、科学理性与形式化[N];中国社会科学报;2011年

  本文关键词：片上系统高层等价性检验研究进展，由笔耕文化传播整理发布。

，

本文编号：431203