期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于断言的SoC设计验证方法 被引量：2

下载PDF
导出
摘要 随着SoC(System on-a-Chip)设计规模的指数增长,验证时的模拟时间也变得越来越长,已经到了令人无法忍受的地步。因此如何进行有效、充分的验证,尤其是功能验证已经成为SoC设计方法学中重要的内容。本文将要介绍的基于断言的验证(Assertion Based Verification,ABV)是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率。
作者 董杨鑫 郑建宏
机构地区 重庆邮电大学移动通信工程研究中心
出处 《电子测试》 2007年第9期52-55,共4页 Electronic Test
基金 国家"863"项目(2004AA001390)
关键词 SOC 验证 断言 OVA
分类号 TN47 [电子电信—微电子学与固体电子学]
  • 相关文献

参考文献1

二级参考文献2

  • 1Ben Cohen,S　 Venkataramanan,A. Kumari.Using PSL/Sugar for Formal and Dynamic Verification[]..2004 被引量：1
  • 2Harry Foster, A,Krolnik, D. Lacey.Assertion-Based Design[]..2004 被引量：1

共引文献10

同被引文献13

  • 1AD7862BR-10.pdf[OL].http://www.datasheet5.com/datasheet_pdf.2006. 被引量：1
  • 2吴继华,王诚.Altera FPGA/CPLD设计(高级篇)[M].北京:人民邮电出版社,2008. 被引量：1
  • 3吴继华,王诚.Altera FPGA/CPLD设计(基础篇)[M].北京:人民邮电出版社,2008. 被引量：1
  • 4吴继华,王诚.设计与验证Verilog HDL[M].北京:人民邮电出版社,2009. 被引量：1
  • 5QuartusⅡ用户指南[OL].http://www.altera.com,2005. 被引量：2
  • 6Qiu Li, Feng Dong-qin. of EPA Chip. [C]// Proc. on Electric Information (ICEICE) 2011.[S.l.]:IEEE Functional Verification International Conference and Control Engineering Press, 2011:1-5. 被引量：1
  • 7陈皓.跟我一起写Makefile.[EB/OL].[2012-06-18].http://www.Cublog.cn/u/19881/upfile/060718103303.pal. 被引量：1
  • 8Carl Pixley, Aruna Chittor, Fred Meyer. Functional Verification 2003:Technology, Tools and Methodology. [C]// Proc. ASIC, 2003. [S. l. ] :IEEE Press, 2003: 1-5. 被引量：1
  • 9Randal L. Scbwartz, Tom Pboenix. Perl语言入门[M].南京:东南大学出版社,2009. 被引量：2
  • 10O. Petlin, A. Genusov, L. Wakeman. METHODOLOGY AND CODE REUSE IN THE VERIFICATION OF TELECOMMUNICATION SOCs [C]// Proc. 13th Annual IEEE International ASIC/SOC Conference, 2000. [S. l. ] :IEEE Press, 2000:187-191. 被引量：1

引证文献2

二级引证文献3

电子测试
2007年 第9期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部