排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
2.
SOC层次化验证方法及应用 总被引:5,自引:0,他引:5
首先对SOC功能验证做了简要介绍,然后主要讨论了功能验证中的层次化验证方法,并以一个基于AMBA总线架构的SOC系统为例,从模块级、子系统级和系统级三个方面分别阐述了如何用层次化的方法进行验证。层次化验证方法主要分三层,第一层测试主要验证接口协议;第二层测试是对随机产生的大量的交易序列的测试;第三层测试主要是对特定的逻辑功能进行验证。每一层都是构建于其他层之上,这使得层与层之间衔接非常紧密,以便于在完成了第一层的测试之后可以快速地扩展到第二层进行测试,层次化验证方法的应用大大地提高了验证环境的执行效率。 相似文献
3.
提出一种可动态发现和管理代理服务器信息模型,通过代理吸附、代理验证来发现互联网中的代理服务器,实验表明该模型是可行的. 相似文献
1