|
|||||
|
|
| 数字专用集成芯片前端验证方法研究 | |
| 引用本文： | 罗琨,赵磊,尹建华,杨怡伟,王琳,曹阳.数字专用集成芯片前端验证方法研究[J].计算机工程与应用,2002,38(17):37-39,58. |
| 作者姓名： | 罗琨 赵磊 尹建华 杨怡伟 王琳 曹阳 |
| 作者单位： | 1. 武汉大学电子信息学院,武汉,430072 2. 清华大学电子系,北京,100084 3. 武汉大学软件工程国家重点实验室,武汉,430072 4. 武汉大学电子信息学院,武汉,430072;武汉大学软件工程国家重点实验室,武汉,430072 |
| 基金项目： | 国家教育部博士点基金资助项目(编号:RFDP1999048602) |
| 摘 要： | 在分析当前数字专用集成芯片前端验证问题的基础上,提出了一种基于SystemC软件建模的专用集成芯片RTL级验证方法,并应用到对网络调度处理芯片的具体验证实验中。实验数据表明:由于采用软件模型和软件控制技术,该方案在缩短验证周期、提高验证可靠性、精确判定验证决策点以及有效集成各类验证环境等方面均明显优于传统RTL验证方案。 |
| 关 键 词： | 专用集成芯片验证 寄存器传输级 SystemC模型 |
| 文章编号： | 1002-8331-(2002)17-0037-03 |
The Study on Verification Method of Digital ASICs Former Design |
|
| Luo Kun,Zhao Lei,Yin Jianhua,Yang Yiwei,Wang Lin,Cao Yang.The Study on Verification Method of Digital ASICs Former Design[J].Computer Engineering and Applications,2002,38(17):37-39,58. | |
| Authors: | Luo Kun Zhao Lei Yin Jianhua Yang Yiwei Wang Lin Cao Yang |
| Affiliation: | Luo Kun 1 Zhao Lei 3 Yin Jianhua 1 Yang Yiwei 1 Wang Lin 1 Cao Yang 1,21 |
| 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. |
| Keywords: | ASICs verification Register Transfer Level SystemC model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |