期刊文献+

专用集成电路的设计验证方法及一种实际的通用微处理器设计的多级验证体系 被引量:3

ASIC DESIGN VERIFICATION METHODOLOGY AND A REAL UNIVERSAL MICROPROCESSOR'S DESIGN VERIFICATION SYSTEM
下载PDF
导出
摘要 随着专用集成电路制造工艺及设计方法的飞速发展,片上系统可集成的功能越来越多,规模越来越大,设计验证越来越复杂,只有使用先进的设计验证方法充分地验证其设计,才能保证一次投片成功.文中针对专用集成电路设计验证的各种方法和一种实际的通用微处理器设计的多级验证体系作了专门的描述,对片上系统设计者在构建自己的设计验证方案。 ASIC(application specific integrated circuit) technology and design methodologies develop very rapidly. More and more functions and circuits are integrated in a SOC(system on chip). Designers must use advanced methodologies and tools to verify their larger and larger VLSI design, so as to guarantee the first silicon success and meet the time to market.Here described are various kinds of ASIC verification methods and a real universal microprocessor's design verification system, which would be helpful to those who want to build a powerful verification plan and make their design adequately verified.
出处 《计算机研究与发展》 EI CSCD 北大核心 1999年第6期764-768,共5页 Journal of Computer Research and Development
关键词 专用集成电路 软件模拟 形式验证 微处理器 设计 ASIC software simulation event driven hardware acceleration hardware emulation static timing verification formal verification
  • 相关文献

参考文献2

  • 1周祖成 王志华.专用集成电路和集成系统自动化设计方法[M].北京:国防工业出版社,1997.392-413.
  • 2周祖成,专用集成电路和集成系统自动化设计方法,1997年

共引文献4

同被引文献2

引证文献3

二级引证文献35

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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