基于断言的soc设计验证方法 assertion based verification methodology in soc design.pdfVIP

下载本文档

16
0
约 3页
2017-08-13 发布于上海
举报
版权申诉

基于断言的soc设计验证方法 assertion based verification methodology in soc design.pdf

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

基于断言的soc设计验证方法 assertion based verification methodology in soc design

己口口7年I口月第己6卷第1口期一基于断言的SoC；设计验证方法董杨塞郑建宏 (重庆邮电大学移动通信工程研究中心重庆400065) 摘要：本文针对S0c设计方法学中如何有效、充分的功能验证问题，首先介绍了基于断言的验证方法学的定义及其所带来的好处，然后以一种断言验证语言——OVA作为具体的应用实例，通过仿真说明了断育验证是s以设计功能验证的一种有效的方法，能够有效地提高验证效率。关键词：S0c’验证}断言‘0VA 中围分类号：TN407文献标识码：A AssertionbasedVerification inSoC methodologydesign D0ngYang】【inz11engJianhong CDmmunicat；on (Mobde R＆D ofPostsand 400065) EngjneeringCenter．Chc啊gqingUnjversity and Abstrad：EffectivesufficientfunctioIlalver讧icatbnt诅s‰an inthe＆C irrlpor锄t design aspect met}州0109y． This the introducesdefinitionalldthebene“tsof∞8盯tionba∞d paper矗rstly assenion foraIl a kiI】d0f taking conclusionthatABVisa effe娟ve hnguage()VAexample，aftersimulati叽、阳ver讧y methodinthefun州onalverificati帆ofScC can theverificationdramatically‘ design，andimprove efflciency Keywords：SoC}verification；assertjo“}aVA 0引言 Fh‘w越e 随着芯片制造的工艺能力与设计能力的快速发展， mDq● SOC设计技术已经成为一种发展趋势。摩尔定律在当今 Cm^出№ 的集成电路发展过程中仍然起作用。随着设计规模的不 Ybld，耻h曲mw 断扩大·设计的复杂度也呈指数上升，而设计生产率的增 a呻1【i雌长速度仍然低于芯片复杂度的增长速度”]。根据CollettMh酣Signm mP蛐国际公司2003年的诃查，造成芯片流片失败需要重新制 ‰wPam 造(re-spiIls)的原因有很多(见图1)，其中大约有70％的 1、吐lingAn划OB ，原因来自于SOC设计本身的功能验证的不足。蛐Fu∞6m s0C设计需要面对的瓶颈已不再是设计时间，而是验