基于SV语言的DBA芯片的验证

• 作者: 张长明 欧家成 董宝贵
• 来源期刊: 通信技术
• 学科: 工学
• 关键词: SV语言 VMM架构 DBA 动态带宽分配 验证方法学
• 年，卷（期）: 2010,（9）
• 页码范围: 173-176
• 分类号: TP393.04
• 字数: 3341字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0802.2010.09.059

摘要

随着芯片规模和设计复杂度的增加,传统的模拟验证方法学已经成为整个验证的瓶颈.为了解决这一瓶颈问题,验证方法学从模拟验证逐步演变成形式验证,先后经过了模拟晶体管模型仿真、门级仿真以及采用点线功能模型(BFM)的事务级仿真三个阶段.SV验证方法学是在模拟验证的基础上增加了形式验证的方法;它采用以覆盖率为导向的技术,受约束的随机技术和基于断言的技术来构建全面的验证环境.以覆盖率为导向可使验证迅速达到验证的出口条件,采用随机测试用例为主代替传统的直接测试为主可使验证迅速收敛,而通过在设计中插入断言可精确验证设计的内部时序问题.实践结果表明,采用这种验证方法极大的提高了验证的效率,缩短了验证周期.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张长明	电子科技大学光电信息学院	10	64	5.0	7.0
2	欧家成	电子科技大学光电信息学院	2	4	1.0	2.0
3	董宝贵	电子科技大学光电信息学院	1	4	1.0	1.0