SOC层次化验证方法及应用

• 作者: 崔云飞 徐喆
• 来源期刊: 现代电子技术
• 关键词: SOC 交易 层次化验证 子系统 随机测试
• 年，卷（期）: 2005,（7）
• 所属期刊栏目: 电子技术
• 页码范围: 105-108
• 页数: 4页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2005.07.040

摘要

首先对SOC功能验证做了简要介绍,然后主要讨论了功能验证中的层次化验证方法,并以一个基于AMBA总线架构的SOC系统为例,从模块级、子系统级和系统级三个方面分别阐述了如何用层次化的方法进行验证.层次化验证方法主要分三层,第一层测试主要验证接口协议;第二层测试是对随机产生的大量的交易序列的测试;第三层测试主要是对特定的逻辑功能进行验证.每一层都是构建于其他层之上,这使得层与层之间衔接非常紧密,以便于在完成了第一层的测试之后可以快速地扩展到第二层进行测试,层次化验证方法的应用大大地提高了验证环境的执行效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐喆	北京工业大学电子信息与控制工程学院	23	146	6.0	11.0
2	崔云飞	北京工业大学电子信息与控制工程学院	1	24	1.0	1.0