|
|||||
|
|
| 数字专用集成电路设计中的SystemC 建模验证方法 | |
| 引用本文： | 罗琨,曹阳,尹建华,黄天锡,赵磊. 数字专用集成电路设计中的SystemC 建模验证方法[J]. 武汉大学学报(理学版), 2002, 48(3): 306-310 |
| 作者姓名： | 罗琨 曹阳 尹建华 黄天锡 赵磊 |
| 作者单位： | 1. 武汉大学,电子信息学院,湖北,武汉,430072 2. 武汉大学,电子信息学院,湖北,武汉,430072武汉大学,软件工程国家重点实验室,湖北,武汉,430072 3. 清华大学,电子系,北京,100084 |
| 基金项目： | 国家教育部博士点基金资助项目(RFDP1999048602) |
| 摘 要： | 针对当前数字专用集成电路中的验证瓶颈，提出了一种基于SystemC电路行为建模与测试控制技术的专用集成电路验证方法，应用到网络调度芯片的具体验证实验中，实验数据表明：由于用软件建模与控制技术，该方法在缩短验证周期、提高验证可靠性、精确判断验证程序以及有效集成各类验证环境等方面均明显优于传统RTL验证方法。 |
| 关 键 词： | 数字专用集成电路 设计 SystemC建模 验证 |
| 文章编号： | 0253-9888(2002)03-0306-05 |
| 修稿时间： | 2002-01-25 |
The Verification Method of SystemC Modeling in Digital ASICs Design |
|
| LUO Kun,CAO Yang,,YIN Jian-hua,HUANG Tian-xi,ZHAO Lei. The Verification Method of SystemC Modeling in Digital ASICs Design[J]. JOurnal of Wuhan University:Natural Science Edition, 2002, 48(3): 306-310 | |
| Authors: | LUO Kun CAO Yang YIN Jian-hua HUANG Tian-xi ZHAO Lei |
| Affiliation: | LUO Kun1,CAO Yang1,2,YIN Jian-hua1,HUANG Tian-xi1,ZHAO Lei3 |
| Abstract: | With respect to the verification bottleneck of current digital ASICs design, a RTL verification method is presented based on SystemC ASIC behavior modeling and test controlling technology. The use of this method in an actual queue scheduler ASIC is also illustrated and analyzed for detail. The experimental results reveal that with the advantage of software modeling and controlling technology, the process of our ASIC verification is obviously superier to the traditional process in condensing period, enhancing reliability and integrating other evaluating environments. |
| Keywords: | ASIC electronic design automatic SystemC modeling model verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |