| 基于EraSoC的模块级验证平台的设计 |
| |
| 引用本文： | 龚艳丽,张志敏,傅亮.基于EraSoC的模块级验证平台的设计[J].微电子学与计算机,2008,25(1):181-184,189. |
| |
| 作者姓名： | 龚艳丽 张志敏 傅亮 |
| |
| 作者单位： | 1. 中国科学院,计算技术研究所,北京,100080;中国科学院,研究生院,北京,100049
2. 中国科学院,计算技术研究所,北京,100080 |
| |
| 基金项目： | 中科院计算所创新课题(20056170)，北京市工业促进局技术发展资金(京财经一指[2005]1858号) |
| |
| 摘 要： | 随着SoC规模的日益扩大,功能验证也日趋复杂,在模块级验证中尽早地找出设计中的逻辑错误,能大大节省时间和人力的开销。针对EraSoC芯片,搭建了一个模块级功能验证平台,采用事务级的验证策略,并综合运用了约束随机,断言和覆盖率驱动等多种验证方法。以CAN控制器的验证为例介绍了该平台的具体设计和使用。该验证平台极大地提高了验证效率和重用性,在EraSoC的验证中发挥了重要作用。平台的结构和方法具有通用性,可以为其他类似系统的验证提供借鉴。
|
| 关 键 词： | 事务验证平台 功能覆盖率 断言 约束随机 |
| 文章编号： | 1000-7180（2008）01-0181-04 |
| 收稿时间： | 2007-03-07 |
| 修稿时间： | 2007年3月7日 |
Design of Block-Level Verification Platform Based on EraSoC |
| |
| GONG Yan-li,ZHANG Zhi-min,FU Liang.Design of Block-Level Verification Platform Based on EraSoC[J].Microelectronics & Computer,2008,25(1):181-184,189. |
| |
| Authors: | GONG Yan-li ZHANG Zhi-min FU Liang |
| |
| Abstract: | With the growth of the scale of SoC, its function verification becomes more and more complicated. Finding the bugs as early as possible in the block-level verification will greatly reduce the cost of time and manpower. This paper presents a block-level function verification platform based on EraSoC, which uses transaction-level strategy, constraint-random, assertion-based and coverage-driven methodology. The verification of CAN controller is also presented to explain the design and application of this platform. The platform improves the verification efficiency and reusability, and plays a great role in the verification of EraSoC. The practical construction and methodology can be used in other similar applications. |
| |
| Keywords: | transaction-level verification platform function coverage assertion-based constraint-randomize |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
