节点文献

数字专用集成芯片前端验证方法研究

The Study on Verification Method of Digital ASICs Former Design

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 罗琨赵磊尹建华杨怡伟王琳曹阳

【Author】 Luo Kun 1 Zhao Lei 3 Yin Jianhua 1 Yang Yiwei 1 Wang Lin 1 Cao Yang 1,21 (College of Electronic Information,Wuhan University,Wuhan430072) 2 (State Key Lab of Software Engineering,Wuhan University,Wuhan430072) 3

【机构】 武汉大学电子信息学院,清华大学电子系,武汉大学电子信息学院,武汉大学电子信息学院,武汉大学电子信息学院,武汉大学电子信息学院 武汉430072,北京100084,武汉430072,武汉430072,武汉430072,武汉430072武汉大学软件工程国家重点实验室,武汉430072

【摘要】 在分析当前数字专用集成芯片前端验证问题的基础上,提出了一种基于SystemC软件建模的专用集成芯片RTL级验证方法,并应用到对网络调度处理芯片的具体验证实验中。实验数据表明:由于采用软件模型和软件控制技术,该方案在缩短验证周期、提高验证可靠性、精确判定验证决策点以及有效集成各类验证环境等方面均明显优于传统RTL验证方案。

【Abstract】 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.

【基金】 国家教育部博士点基金资助项目(编号:RFDP1999048602)
  • 【文献出处】 计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,2002年17期
  • 【分类号】TN432
  • 【被引频次】18
  • 【下载频次】159
节点文献中: 

本文链接的文献网络图示:

本文的引文网络