摘 要：首先对SOC功能验证做了简要介绍，然后主要讨论了功能验证中的层次化验证方法，并以一个基于AMBA总线架构的SOC系统为例，从模块级、子系统级和系统级三个方面分别阐述了如何用层次化的方法进行验证。层次化验证方法主要分三层，第一层测试主要验证接口协议;第二层测试是对随机产生的大量的交易序列的测试;第三层测试主要是对特定的逻辑功能进行验证。每一层都是构建于其他层之上，这使得层与层之间衔接非常紧密，以便于在完成了第一层的测试之后可以快速地扩展到第二层进行测试，层次化验证方法的应用大大地提高了验证环境的执行效率。
关键词：SOC；交易；层次化验证；子系统;随机测试
SOC
2023-05-25 21:39:52
96KB
1
购物车设计到的所有方法
登录/访客 用户初始化一条购物车纪录
判断是否属于同类商品，增加到购物车时用于合并判断使用
合并两条相同类型商品
2023-05-24 22:41:39
16KB
1
（MATLAB）的DCT,DWT,DFT,LSB多方法数字水印，带GUI界面，攻击方法多，评价，鲁棒性
（MATLAB）的DCT,DWT,DFT,LSB多方法数字水印，带GUI界面，攻击方法多，评价，鲁棒性
2023-05-24 00:34:30
15.28MB
1
本文实例讲述了javascript实现点击后变换按钮显示文字的方法。分享给大家供大家参考。具体实现方法如下：
<html xmlns=http://www.w3.org/1999/xhtml>
<head>
<title>显示一些按钮，如果点击了，
当前点击的按钮文本变为“点了”，其他按钮文本变为“没点”</title>
[removed]
//为所有按钮动态添加事件
function IniButtonEvent() {
var Items = document.getElementsByTagName(input);
2023-05-23 17:58:53
26KB
1
非正式分析方法：
用自然语言书写需求陈述，把陈述中的名词作为类与对象的候选者，
从形容词中考虑属性，
把动词作为服务（操作）的候选者。
2023-05-22 22:32:01
1.33MB
1
软件开发报价的计算方法 1软件开发价格估算方法 ? 软件开发价格与工作量商务成本国家税收和企业利润等项有关为了便于计算给出一个计算公式 软件开发价格 开发工作量 开发费用人月 1.1开发工作量 ? 软件开发工作量与估算工作量经验值风险系数和复用系数等项有关 软件开发工作量 估算工作量经验值 风险系数 复用系数 1.1.1估算工作量经验值以A来表示 ? 软什开发工作量的计算曾有人提出以源代码行或功能
2023-05-22 21:31:45
138KB
总结测量及求解电路板介电常数实部的4种方法――矩形谐振腔法、开路微带线谐振法、环形微带谐振法、时域测量法，讨论了微带介质谐振器损耗角正切的测量及求解方法. 针对4种求解方法开发计算软件，制作测试夹具及微波电路测试板. 提出用两根开路微带线代替一根开路微带线，通过测量其时域波形求解介电常数实部的改进方法. 采用Ansoft HFSS11软件进行仿真，比较了各种方法的测量结果和仿真结果. 结果表明，矩形谐振腔法精度较高.
2023-05-22 21:07:16
333KB
1
创建、打开和关闭工程
Project→New：用于创建一个新的工程文件
Project→Open：用于打开一个已有的工程文件
Project→Close：用于关闭当前的工程文件
2023-05-22 16:07:37
1.33MB
1
直流配电系统发生故障后故障电流快速上升，通过安装故障限流装置能有效降低故障电流上升的速率，减小故障电流的峰值，保护系统中的电力电子装置。基于电压源型换流器构建双端柔性直流配电网模型，分析直流配电系统发生极间短路故障的故障原理和故障特征，研究限流电抗器在不同接入位置的限流原理和效果。考虑到换流器耐流特性、保护装置及断路器动作特性，提出基于限流电抗器的故障限流位置和参数优化配置方法，并通过PSCAD/EMTDC平台进行仿真优化，从而确定故障限流电抗器的最优配置方案。
2023-05-22 15:40:56
4.03MB
1