期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
一种基于UVM的模块级可重用随机化验证平台构建方法 被引量:10
1
作者 谈笑 王小力 《微电子学与计算机》 CSCD 北大核心 2015年第3期67-72,共6页
介绍了一种基于UVM验证方法学的SoC模块级验证平台的构建方法.该平台针对基于AMBA总线的AES硬件加速器IP的功能验证需求,采用面向对象的层次化建模方法,完成可重用AMBA通用验证化组件,参考模型以及验证事务级建模的随机化高功能覆盖率... 介绍了一种基于UVM验证方法学的SoC模块级验证平台的构建方法.该平台针对基于AMBA总线的AES硬件加速器IP的功能验证需求,采用面向对象的层次化建模方法,完成可重用AMBA通用验证化组件,参考模型以及验证事务级建模的随机化高功能覆盖率测试向量的可重用工作.该平台面向基于AMBA总线的SoC模块级验证领域实现可重用性.验证结果表明,基于随机化验证策略的验证平台在功能覆盖率收敛效率上提高了21.4%. 展开更多
关键词 事务级建模 随机化约束 覆盖率 可重用化 验证自动化 UVM
下载PDF
一类金融系统行为的非线性混沌分析 被引量:4
2
作者 林勇新 陈予恕 曹庆杰 《应用数学和力学》 EI CSCD 北大核心 2010年第10期1239-1248,共10页
利用相位随机化的替代数据方法对中国商品期货市场某些品种特性进行了判定,此方法用于随机时序与非线性混沌时序所得的判据值有明显差异.并应用混沌时序的奇异值分解技术对混沌时序的噪声进行了剥离,将相空间分解为值域空间和虚拟的噪... 利用相位随机化的替代数据方法对中国商品期货市场某些品种特性进行了判定,此方法用于随机时序与非线性混沌时序所得的判据值有明显差异.并应用混沌时序的奇异值分解技术对混沌时序的噪声进行了剥离,将相空间分解为值域空间和虚拟的噪声空间,在值域空间内重构了原混沌时序.进一步采用建立在改进的一般约束随机化方法基础之上强扰动的方法再次判定.根据计算结果对商品期货市场的走势进行了分析,结果表明中国商品期货市场是具有明显非线性混沌特性的一类复杂非线性混沌系统. 展开更多
关键词 非线性混沌时序 随机时序 相位随机化 奇异值分解 一般约束随机化
下载PDF
基于类定向测试的多制式视频后处理芯片验证 被引量:2
3
作者 陈星 史再峰 +1 位作者 姚素英 张之圣 《计算机工程》 CAS CSCD 2012年第15期251-253,257,共4页
为加快多制式视频后处理芯片的验证进度,以约束随机化和功能覆盖率收敛技术为指导,提出基于类定向测试的芯片验证方法,给出定向测试中的权重修正过程。仿真实验结果表明,该方法能够提高覆盖盲点被击中的概率、减少重复配置,使输入输出... 为加快多制式视频后处理芯片的验证进度,以约束随机化和功能覆盖率收敛技术为指导,提出基于类定向测试的芯片验证方法,给出定向测试中的权重修正过程。仿真实验结果表明,该方法能够提高覆盖盲点被击中的概率、减少重复配置,使输入输出制式覆盖率快速收敛,验证效率比传统方法提升60%~70%。 展开更多
关键词 验证进度 约束随机化 覆盖率收敛技术 类定向测试 权重修正 覆盖盲点
下载PDF
基于UVM的存储控制器功能验证 被引量:7
4
作者 曹阳 胡越黎 《计算机测量与控制》 2015年第3期834-837,共4页
采用通用验证方法学(UVM)搭建验证平台,以AHB总线上挂载的存储控制器为验证对象,重点分析了UVM验证平台的设计;采用传统的定向验证方法将很难遍历到所有情况,而通过UVM验证平台能够产生受约束的随机激励信号,对存储控制器进行全面的验证... 采用通用验证方法学(UVM)搭建验证平台,以AHB总线上挂载的存储控制器为验证对象,重点分析了UVM验证平台的设计;采用传统的定向验证方法将很难遍历到所有情况,而通过UVM验证平台能够产生受约束的随机激励信号,对存储控制器进行全面的验证,并能自动收集功能覆盖率和分析验证结果;验证结果表明,该验证平台能有效地查出设计缺陷,达到覆盖率要求,减少验证时间,提高验证效率,且具有良好的可配置性和可复用性。 展开更多
关键词 UVM验证方法学 存储控制器 约束随机化激励 功能覆盖率
下载PDF
采用UVM的数字抽取滤波器的验证 被引量:2
5
作者 骆丽 程成 《北京交通大学学报》 CAS CSCD 北大核心 2014年第2期24-28,共5页
采用通用验证方法学(UVM)搭建验证平台,以Sigma_Delta A/D转换器中的数字抽取滤波器为验证对象,重点分析UVM验证平台的设计方法.利用该UVM验证平台,产生随机化的测试向量,对数字抽取滤波器模块进行全面的验证,最终达到覆盖率要求.通过... 采用通用验证方法学(UVM)搭建验证平台,以Sigma_Delta A/D转换器中的数字抽取滤波器为验证对象,重点分析UVM验证平台的设计方法.利用该UVM验证平台,产生随机化的测试向量,对数字抽取滤波器模块进行全面的验证,最终达到覆盖率要求.通过与传统定向测试平台的验证结果对比,可以得出使用通用验证方法学的验证效率与验证能力更高. 展开更多
关键词 数字抽取滤波器 通用验证方法学 覆盖率 约束随机化激励
下载PDF
An efficient latent variable optimization approach with stochastic constraints for complex industrial process 被引量:1
6
作者 费正顺 刘康玲 +1 位作者 胡斌 梁军 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2015年第10期1670-1678,共9页
For complex chemical processes,process optimization is usually performed on causal models from first principle models.When the mechanism models cannot be obtained easily,restricted model built by process data is used ... For complex chemical processes,process optimization is usually performed on causal models from first principle models.When the mechanism models cannot be obtained easily,restricted model built by process data is used for dynamic process optimization.A new strategy is proposed for complex process optimization,in which latent variables are used as decision variables and statistics is used to describe constraints.As the constraint condition will be more complex by projecting the original variable to latent space,Hotelling T^2 statistics is introduced for constraint formulation in latent space.In this way,the constraint is simplified when the optimization is solved in low-dimensional space of latent variable.The validity of the methodology is illustrated in pH-level optimal control process and practical polypropylene grade transition process. 展开更多
关键词 Data-driven model OPTIMIZATION Partial least square POLYMERIZATION
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部