期刊文献+

数字专用集成芯片前端验证方法研究 被引量:3

The Study on Verification Method of Digital ASICs Former Design
下载PDF
导出
摘要 在分析当前数字专用集成芯片前端验证问题的基础上,提出了一种基于SystemC软件建模的专用集成芯片RTL级验证方法,并应用到对网络调度处理芯片的具体验证实验中。实验数据表明:由于采用软件模型和软件控制技术,该方案在缩短验证周期、提高验证可靠性、精确判定验证决策点以及有效集成各类验证环境等方面均明显优于传统RTL验证方案。 This paper presents a RTL verification method in digital ASICs design based on SystemC modeling technolo-gy.The use of this method in an actual queue scheduler ASIC is also illustrated and analyzed in detail.The experimen-tal results reveal that with the advantage of software modeling and software controlling technology,the process of our ASIC verification is obviously superior to the traditional process in condensing period,enhancing reliability and integrat-ing other evaluating environments.
出处 《计算机工程与应用》 CSCD 北大核心 2002年第17期37-39,58,共4页 Computer Engineering and Applications
基金 国家教育部博士点基金资助项目(编号:RFDP1999048602)
关键词 数字专用集成芯片 前端验证方法 寄存器传输级 SystemC模型 专用集成电路 ASICs verification,Register Transfer Level,SystemC model
  • 相关文献

参考文献4

  • 1[1]Adrian Evans,Allan Silburt. Functional Verification of Large ASICs[C].In:Proceedings of the 35th ACM / IEEE Design Automation,1998:324~329
  • 2[2]Functional Specification for SystemC 2.0.Synopsys,Candence[S].http://www.systemc.org, 2001
  • 3[3]Notbauer J,Albrecht Th,Niedrist G.Verfication and Management of a multi-million gate embedded core design[C].In:Proceedings of the 36th ACM/IEEE Design Automation,1999:425~428
  • 4[4]Kaushik Roy,Raul Bhatt,Giovanni De Micheli.System-on-chip Specification and Modelling Using C++[C].In:Proceedings of IEEE ICCAD 2001 Conference,2001:115~12

同被引文献16

引证文献3

二级引证文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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