期刊文献+

“e”语言 一种新的高级数字系统验证语言 被引量:1

下载PDF
导出
摘要 近二十年来,数字设计自动化环境随着设计复杂程度的提高经历了许多个发展阶段。近年来先后出现了"SystemVerilog"、"SystemC"、"e"等语言和行为综合器,它们把高度复杂 SOC 数字系统设计的验证和综合的自动化程度又大大提升了一步。本文综述了这几种高级硬件设计仿真语言,着重介绍"e"语言在验证通信用 SOC 芯片模型性能时的高效率。
作者 夏宇闻 周文
出处 《中国集成电路》 2003年第53期41-47,31,共8页 China lntegrated Circuit
  • 相关文献

同被引文献7

  • 1葛晨阳,王东,孙宏滨,张超,张斌.一种可重构的数字视频处理SoC芯片验证平台[J].微电子学与计算机,2009,26(2):62-65. 被引量:5
  • 2Samir Palnitkar. Design verification with e[M]. Bos- ton: Prentice Hall PTR, 2003.
  • 3Victor Berman. The e system verification language [J]. IEEE Design & Test of Computers, 2005,22(5) : 484-486.
  • 4吴国锋.基于SpecmanElite的自动功能验证平台[D].西安:西安电子科技大学,2010.
  • 5Andreas S Meyer. Principles of functional verification [M]. hoiland: elsevier Science, 2004,32-36.
  • 6韦乐平.光同步数字传送网[M].北京:人民邮电出版社,1998.106-125.
  • 7虞致国,魏敬和.基于JTAG的SoC软硬件协同验证平台设计[J].微电子学与计算机,2010,27(10):160-162. 被引量:4

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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