Institute of Computing Technology, Chinese Academy IR
| 基于EraSoC的模块级验证平台的设计 | |
| 龚艳丽; 张志敏; 傅亮 | |
| 2008 | |
| 发表期刊 | 微电子学与计算机
 |
| ISSN | 1000-7180 |
| 卷号 | 25.0期号:1.0页码:181 |
| 摘要 | 随着SoC规模的日益扩大，功能验证也日趋复杂，在模块级验证中尽早地找出设计中的逻辑错误，能大大节省时间和人力的开销。针对EraSoC芯片，搭建了一个模块级功能验证平台，采用事务级的验证策略，并综合运用了约束随机，断言和覆盖率驱动等多种验证方法。以CAN控制器的验证为例介绍了该平台的具体设计和使用。该验证平台极大地提高了验证效率和重用性，在EraSoC的验证中发挥了重要作用。平台的结构和方法具有通用性，可以为其他类似系统的验证提供借鉴。 |
| 关键词 | 事务验证平台 功能覆盖率 断言 约束随机 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/29468 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 第一作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 龚艳丽,张志敏,傅亮. 基于EraSoC的模块级验证平台的设计[J]. 微电子学与计算机,2008,25.0(1.0):181. |
| APA | 龚艳丽,张志敏,&傅亮.(2008).基于EraSoC的模块级验证平台的设计.微电子学与计算机,25.0(1.0),181. |
| MLA | 龚艳丽,et al."基于EraSoC的模块级验证平台的设计".微电子学与计算机 25.0.1.0(2008):181. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [龚艳丽]的文章 |
| [张志敏]的文章 |
| [傅亮]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [龚艳丽]的文章 |
| [张志敏]的文章 |
| [傅亮]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [龚艳丽]的文章 |
| [张志敏]的文章 |
| [傅亮]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论