- 1、本文档共97页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
基于SOC异步FIFO的设计与形式验证-微电子软件工程专业论文
学校代码 分 类 号
10701 TN4
学 号 1211122932
密 级 公开
TN82西安电子科技大学
TN82
硕士学位论文
基于 SOC 异步 FIFO 的设计与形式验证
作者姓名: 张波
领 域: 微电子软件工程
学位类别: 工程硕士
学校导师姓名、职称:
企业导师姓名、职称:
宋建军副教授
李德斌 高工
提交日期:
2015 年 1 月
Design and Formal Verification of Asynchronous_FIFO based on SOC
A thesis submitted to XIDIAN UNIVERSITY
in partial fulfillment of the requirements
for the degree of Master in Engineering
By Zhang Bo
Supervisor: Song jianjun Li debin January 2015
西安电子科技大学 学位论文独创性(或创新性)声明
秉承学校严谨的学风和优良的科学道德,本人声明所呈交的论文是我个人在 导师指导下进行的研究工作及取得的研究成果。尽我所知,除了文中特别加以标 注和致谢中所罗列的内容以外,论文中不包含其他人已经发表或撰写过的研究成 果;也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的 材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说 明并表示了谢意。
学位论文若有不实之处,本人承担一切法律责任。
本人签名: 日 期:
西安电子科技大学 关于论文使用授权的说明
本人完全了解西安电子科技大学有关保留和使用学位论文的规定,即:研究 生在校攻读学位期间论文工作的知识产权单位属于西安电子科技大学。学校有权 保留送交论文的复印件,允许查阅、借阅论文;学校可以公布论文的全部或部分 内容,允许采用影印、缩印或其它复制手段保存论文。同时本人保证,获得学位 后结合学位论文研究成果撰写的文章,署名单位为西安电子科技大学。
保密的学位论文在 年解密后适用本授权书。
本人签名: 导师签名:
日 期: 日 期:
摘要
近年,随着集成电路产业的快速发展,半导体工艺水平已经达到亚微米水平, 随之而来的现状就是芯片集成规模越来越复杂。纵观整个芯片设计流程,从行为 级 HDL 一直到芯片最后的投片,最复杂、最重要的环节就是验证。在面对更大的 验证压力时,传统的模拟仿真验证已经渐渐暴露出其局限性。形式验证方法作为 传统验证方法的补充,日益引起人们的关注。形式验证方法以不同的验证逻辑实 现验证目标,能够克服传统验证方法的不足,所以本文的研究重心为形式验证, 并结合 JASPER 平台提出了适用性更广的形式验证方法。
首先,本文选取 SOC 中常用模块异步 FIFO 为验证对象,基于传统异步 FIFO
设计结构和功能实现逻辑,本文提出了改进后的异步 FIFO 设计,与传统设计相比, 改进后的设计优势在于运用了新的空满标志位判断逻辑,克服了传统设计中存储 器深度的局限性;然后,本文分析了形式验证当前的应用局限性,研究了基于 Jasper 平台形式验证方法的逻辑原理以及形式验证状态空间的意义,并对 Jasper 平台特 征验证流程进行了详细的说明,同时,引入了 Jasper 的特征验证语言 SVA,通过 举例分析研究了 SVA 语言关于设计特性的描述细则;最后,以本文中改进后的异 步 FIFO 为验证对象,制定出特定的 Jasper 验证方案,并基于异步 FIFO 设计的功 能划分进行断言语句的编写,在验证结果分析中,通过特征语句编写错误为例详 细讨论了如何使用 Jasper 图形界面进行验证分析纠错。
本文形式验证方法的研究结果表明,基于 JASPER 平台的形式验证方法较传 统模拟仿真方法,具有无需编写 Testbench 与 Testcase、验证周期短、验证覆盖率 高等特点。目前,本文所研究的形式验特征验证方法已经广泛用于 INTEL SOC 验 证项目中,多为与模拟仿真方法相结合,大大提高了原始单一方法验证的效率。 形式验证方法的研究对未来数字 IC 验证的发展具有极其深远的实际意义,同时, 对日益复杂的数字 IC 设计也提供了充分的验证保障。
关 键 词:SOC,异步 FIFO, 形式验证, JASPER. 论文类型:应用软件技术类
(注:全日制工程硕士学位论文类型分为 8 种,其它专业学位硕士学位论文类型分为
应用基础研究类和基础研究类 2 种。)
I
ABSTRACT
In recent years, with the rapid development of IC industry, semiconductor
您可能关注的文档
- 基于SOA的警服综合管理系统的研究与开发-计算机应用技术专业论文.docx
- 基于SOA的自动电话交换网网络管理系统的设计与实现-软件工程专业论文.docx
- 基于SOA的软件测试管理平台的研究-软件工程专业论文.docx
- 基于SOA的设备巡检系统研究-计算机系统结构专业论文.docx
- 基于SOA的财税库银电子缴税横向联网系统设计与实现-软件工程专业论文.docx
- 基于SOA的试卷管理系统设计与实现-计算机技术专业论文.docx
- 基于SOA的软件项目管理系统的设计与实现-计算机技术专业论文.docx
- 基于SOA的财务共享服务管理系统构建-软件工程专业论文.docx
- 基于SOA的远程论文指导与答辩系统的设计与实现-软件工程专业论文.docx
- 基于SOA的遥感资源集成共享与服务系统的设计与实现计算机技术专业论文.docx
最近下载
- 新外研版高中英语必修三Unit 3 The world of science Period 1 Starting out & Understanding ideas说课稿.doc
- 项目回款登记表.xlsx VIP
- 《药品记录与数据管理要求》解读.pptx
- 购物广场商场超市消防安全知识培训PPT.pptx VIP
- 油田运输有限公司HSE管理的体系程序文件.doc
- 人教版2022-2023学年二年级数学第一学期期中测试卷(含答案).docx
- 全科医师培训课件.pptx
- 汉字听写大会试题库(附答案).pdf VIP
- 专科医生如何带教全科医生课件.pptx
- 2024小学生汉字听写大会竞赛试题库(附答案).docx VIP
文档评论(0)