基于EraSoC的模块级验证平台的设计

• 作者: 傅亮 张志敏 龚艳丽
• 来源期刊: 微电子学与计算机
• 关键词: 事务验证平台 功能覆盖率 断言 约束随机
• 年，卷（期）: 2008,（1）
• 页码范围: 181-184,189
• 页数: 5页
• 分类号: TN47
• 语种: 中文

摘要

随着SoC规模的日益扩大,功能验证也日趋复杂,在模块级验证中尽早地找出设计中的逻辑错误,能大大节省时间和人力的开销.针对EraSoC芯片,搭建了一个模块级功能验证平台,采用事务级的验证策略,并综合运用了约束随机,断言和覆盖率驱动等多种验证方法.以CAN控制器的验证为例介绍了该平台的具体设计和使用.该验证平台极大地提高了验证效率和重用性,在EraSoC的验证中发挥了重要作用.平台的结构和方法具有通用性,可以为其他类似系统的验证提供借鉴.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张志敏	中国科学院计算技术研究所	60	393	12.0	15.0