【摘 要】
：
首先对SOC功能验证做了简要介绍,然后主要讨论了功能验证中的层次化验证方法,并以一个基于AMBA总线架构的SOC系统为例,从模块级、子系统级和系统级三个方面分别阐述了如何用
【机 构】
：
北京工业大学电子信息与控制工程学院
论文部分内容阅读
首先对SOC功能验证做了简要介绍,然后主要讨论了功能验证中的层次化验证方法,并以一个基于AMBA总线架构的SOC系统为例,从模块级、子系统级和系统级三个方面分别阐述了如何用层次化的方法进行验证.层次化验证方法主要分三层,第一层测试主要验证接口协议;第二层测试是对随机产生的大量的交易序列的测试;第三层测试主要是对特定的逻辑功能进行验证.每一层都是构建于其他层之上,这使得层与层之间衔接非常紧密,以便于在完成了第一层的测试之后可以快速地扩展到第二层进行测试,层次化验证方法的应用大大地提高了验证环境的执行效率.
其他文献
同步是通信中的一个重要问题,他直接关系到数字接收机解调指标.利用数字COSTAS环HSP50210可以方便地实现载波同步和码元同步.文章介绍了HSP50210的主要性能特点和基本工作原
文章从几个方面系统地介绍了组合式海上自航平台的性能以及其独特的分解、组合方式。该平台运输十分方便，能在水上快速组装、航行、定位，并能完成水上挖掘、起重、运输等作业，解
给出了一种基于DDS技术的跳频信号源的设计方法.首先简要介绍了跳频扩频通信和直接数字频率合成技术的相关知识,然后介绍一种复杂的可编程逻辑器件CPLD-EPM7064和直接数字频
以共射固定偏置放大电路为例讨论放大电路中静态工作点与电压放大倍数、输入电阻、输出电阻、最大不失真输出电压等动态参数的关系，得出提高电压放大倍数的有效方法。并且讨论
我公司对某轮船体进行改造时，其艏艉线型不变，平行舯体加长，以便增加载重量，同时又要解决桨“重”的问题，这种情况以往不常见。经过对该轮原桨改造设计，坞修下水后试航及实航均良好
税收征管目标既包括正确执行税法的目标,又包括促进纳税人依法纳税的目标.结合我国的税收征管实践,建议着重解决:正确处理税收征管目标与税收目标的关系;正确执行税法与促进
通过对东北老工业基地产业结构现状及其存在的问题、产业结构调整的依据以及主导产业选择的方向、基准与具体选择等方面的研究与实证分析,证明了在WTO背景下,石油和天然气开