【摘 要】
：
AMBA协议是主流SoC(system-on-chip)片上总线的事实标准。结合龙芯1号AHB接口的验证,介绍了基于覆盖率模型的AMBA接口随机验证的系统架构,提出了AHB协议模型的定义方法,采用约束化随机向量对目标空间产生强化测试。该方法迅速定位了接口设计中隐蔽的问题,最终达到了100%的功能覆盖率。该方法能够有效地保证接口设计的质量,对互连协议的验证具有普适意义。
【机 构】
：
中国科学院计算技术研究所微处理器中心,中国科学院研究生院,中国科学院计算技术研究所系统结构重点实验室
论文部分内容阅读
AMBA协议是主流SoC(system-on-chip)片上总线的事实标准。结合龙芯1号AHB接口的验证,介绍了基于覆盖率模型的AMBA接口随机验证的系统架构,提出了AHB协议模型的定义方法,采用约束化随机向量对目标空间产生强化测试。该方法迅速定位了接口设计中隐蔽的问题,最终达到了100%的功能覆盖率。该方法能够有效地保证接口设计的质量,对互连协议的验证具有普适意义。
其他文献
提出了一种传输受限的异构P2P负载平衡算法,此算法依赖于局部网络的负载信息,并在局部网络内部进行负载迁移使整个系统达到负载平衡状态。理论分析和实验数据均表明,此算法可在网络传输存在限制的条件下,尽快地使系统到达平衡状态。基于局部负载信息与基于全局负载信息的负载平衡效果几乎相同,而前者的时间复杂度远低于后者,特别是在节点较多的P2P网络中。同时由于在局部网络内进行负载迁移,故能够以较小的网络通信量得
高校科研管理的信息化、网络化已成必然趋势.高校校园网的开通为科研管理的信息化、网络化的实现提供了必要的条件.本文介绍基于Internet和Intranet的高校科研管理的基本功能
研究并设计了一种基于UPnP协议的嵌入式家庭媒体适配器,它使传统的影音家电与网络媒体服务能够方便地互连,并实现零配置连接。该设计充分满足了数字家庭媒体内部和外部Internet的数据流和媒体流共享的需求。
在基于系统调用的入侵检测研究中,如何提取系统调用序列模式是一个重要问题。提出一种利用进程堆栈中的函数返回地址链信息来提取不定长模式的方法。同王福宏的不定长模式提取方法相比,该方法可以取得更完备的模式集。在此基础上,基于系统调用序列及其对应的不定长模式序列构建了一个两层隐马尔可夫模型来检测异常行为,与仅利用系统调用序列信息的经典隐马尔可夫方法相比,该方法可以取得更低的误报率和漏报率。
提出了一种新的peer-to-peer网络环境信任模型。明确区分了交易信誉和推荐信誉,不是简单地将交易信誉迭代作为推荐信誉,而是通过推荐偏移量来计算推荐信誉,并通过动态平衡自身历史经验和他人推荐信誉来计算节点的综合信任值,最后给出了模型的实现协议及仿真实验。实验结果表明,该模型计算更逼近真实值,且能抵抗恶意的联合攻击、动态策略型攻击等安全威胁,具有良好的性能。
针对现有分组轮转法的局限,提出一种新的分组策略——虚拟权重队列分组策略。在这个新的分组策略的基础上,结合DRR和WF2Q,提出了虚拟权重队列分组轮转法。仿真实验表明,虚拟权重队列分组轮转调度算法比现有的分组轮转法拥有更好的延时性能和公平性能。
将AOP技术引入到Web服务组合中,提出了一种面向方面的Web服务组合的UML建模方法,来解决当前服务组合方法的局限性。该方法独立于特定语言进行抽象级别建模,克服了现有面向方面的Web服务组合方法存在的难以理解和阅读的问题。
为了满足软件体系结构复杂性的预测和评价需求,通过抽取构件之间的连接,提出了基于复合关系的分层式软件体系结构,从而能够清晰、准确地表达构件之间的关系。在该结构基础上,提出了基于加权图的复杂性评价模型,并结合实例分析了模型的使用效果。模型能够准确地刻画系统结构及构件关系,而且能够较为客观地定量评估系统结构复杂性。它具有实现过程简单、通用性强等特点。
提出了一种自动图像配准方法。该方法首先使用模板匹配获得图像间的粗匹配点,然后利用这些粗匹配点估计图像之间的变换参数,并通过统计这些变换参数的适用情况,选取出一组最佳的图像变换参数,从而实现了图像间的自动配准。实验验证,该方法在两幅图像间存在平移、转动且重叠区域较少时,仍能准确得匹配这两幅图像。
优先级反转是实时系统中出现最多的问题。为了防止这种现象的发生,目前经常采用的方法是优先级继承和优先级置顶。但是,它们在特定情况下也存在缺陷。容错技术是提高系统可靠性的重要保障,利用容错技术对优先级继承进行扩展,可以更好地解决优先级的反转问题,保障了系统的实时性能。