冷热刺激先后顺序对眼震最大慢相角速度的影响 被引量：4

1

作者 温彦华 张连山 葛平江 《临床耳鼻咽喉科杂志》 CSCD 北大核心 2004年第4期212-214,共3页

目的 :　了解变温实验检查中冷热刺激顺序同眼震反应强度的关系。方法 :应用眼震电图仪和冷热空气刺激仪进行冷热刺激检查。将 12 0例眩晕患者分成两组 ,第 1组先热后冷刺激 ,第 2组先冷后热刺激 ,观察不同冷热顺序刺激下眼震最大慢相... 目的 :　了解变温实验检查中冷热刺激顺序同眼震反应强度的关系。方法 :应用眼震电图仪和冷热空气刺激仪进行冷热刺激检查。将 12 0例眩晕患者分成两组 ,第 1组先热后冷刺激 ,第 2组先冷后热刺激 ,观察不同冷热顺序刺激下眼震最大慢相角速度的变化。结果 :冷热反应强度差同冷热刺激顺序明显相关 ,第 2组比第1组大 (P <0 .0 1)。另外第 2组眼震最大慢相角速度半规管轻瘫差相对值和优势偏向差相对值比第 1组大 (P <0 .0 1)。结论 :变温实验中变温的顺序影响前庭对冷热刺激的敏感性和半规管轻瘫差值以及优势偏向差值。 展开更多

关键词 变温实验 眼震电图 最大慢相角速度

原文传递

Chisel构建处理器模型的功能验证方法研究

2

作者 吴乐宁 王淼 陈福 《西北工业大学学报》 EI CAS CSCD 北大核心 2023年第5期1024-1032,共9页

随着航空硬件设计复杂度的提高,芯片验证技术已经成为了芯片设计的难点。为了有效缩短设计流程的总体工作时间,有必要在占据设计大量时间的验证中,研究出快速寻找设计错误的方法。被测设计是兼容ARM V4指令集架构(instruction set archi... 随着航空硬件设计复杂度的提高,芯片验证技术已经成为了芯片设计的难点。为了有效缩短设计流程的总体工作时间,有必要在占据设计大量时间的验证中,研究出快速寻找设计错误的方法。被测设计是兼容ARM V4指令集架构(instruction set architecture,ISA)的处理器模型ARMChisel,该处理器模型采用新型的硬件语言Chisel构建,是一个具有高复杂性的硬件设计。基于这一嵌入式处理器模型:①设计了支持ARM V4 ISA架构全部指令的随机指令生成器,提高了生成测试激励的速度;②根据新型构建语言Chisel的特点,针对被测处理器模型设计了Chisel层面初级验证、覆盖率快速验证、直接测试验证和复杂应用程序验证策略,确保达到预期的覆盖率;③在Chisel环境和Verilog环境中搭建了基于嵌入式处理器模型的测试平台,测试平台收集覆盖率同时能快速准确地发现错误并定位错误,提高了验证速度。采用FPGA(field programmable gute array)方法加速大型应用程序的验证,缩短了验证周期。 展开更多

关键词 Chisel 处理器模型验证 ARM架构 指令生成器 测试激励

下载PDF 职称材料

SSA土壤固化剂改良杂填土的影响机理 被引量：3

3

作者 周业梅 梅启林 丁国民 《武汉理工大学学报》 CAS 2022年第12期22-28,共7页

研发了一种SSA土壤固化剂,并利用试验、电镜等测试手段,研究了SSA固化剂与不同土料的相互作用机理,同时研究了SSA固化剂对不同土料的影响规律。SSA固化剂固化状态测试显示,SSA在水中的分散性优异,与水具有良好的亲和性;SSA固化不同土料... 研发了一种SSA土壤固化剂,并利用试验、电镜等测试手段,研究了SSA固化剂与不同土料的相互作用机理,同时研究了SSA固化剂对不同土料的影响规律。SSA固化剂固化状态测试显示,SSA在水中的分散性优异,与水具有良好的亲和性;SSA固化不同土料的SEM图像显示,经过SSA固化后的高炉矿渣颗粒或粉煤灰颗粒间均产生了大量水化硅酸钙凝胶,有效地增加了颗粒间的相互连接;SSA固化不同土料性能测试显示,经SSA固化后的土料,随着龄期的增加,其抗压强度大幅提高;通过机理研究,SSA固化土壤在碱性激发剂作用下,将土壤中的游离水转变为结合水,提升土壤的结构强度,从而提升土壤结构的密实度和力学性能。由此推测,SSA固化剂可以改良由尾矿以及工业矿渣等废弃物组成杂填土,为杂填土无障碍的应用于实际工程提供技术支持。 展开更多

关键词 土壤固化剂 图像分析 性能测试 激励反应

原文传递

ASIC设计中测试矢量产生与验证

4

作者 居水荣 《半导体技术》 CAS CSCD 北大核心 2001年第3期42-47,共6页

介绍了ＡＳＩＣ设计过程中测试矢量的产生与验证步骤，包括激励编写规则、波形检查、测试矢量的获得以及测试矢量的验证。

关键词 专用集成电路设计 验证 测试矢量 激励 波形

下载PDF 职称材料

用CPLD实现计算机组成原理结构的研究 被引量：1

5

作者 包健 冯建文 《杭州电子工业学院学报》 2003年第3期42-45,共4页

介绍了利用CPLD设计技术来实现计算机组成原理各部件的方法,采用高密度在系统可编程ispLSI逻辑器件,结合实际设计指令译码部件的例子说明该方法的实现过程。分析了指令译码部件的输入输出信号及逻辑电路组成,采用原理图和硬件ABEL语言... 介绍了利用CPLD设计技术来实现计算机组成原理各部件的方法,采用高密度在系统可编程ispLSI逻辑器件,结合实际设计指令译码部件的例子说明该方法的实现过程。分析了指令译码部件的输入输出信号及逻辑电路组成,采用原理图和硬件ABEL语言两层设计思想来设计其功能,最后将该设计的芯片所实现的指令译码部件和实验仪上其他部件结合实现计算机组成原理整体实验。该研究体现了开放性的计算机组成原理学习方法,大大增强了学习的广度和深度。 展开更多

关键词 CPLD 在系统可编程 指令译码部件 计算机组成原理 测试矢量文件

下载PDF 职称材料

二元响应模型的选择 被引量：1

6

作者 苏芳 田玉斌 《应用数学》 CSCD 北大核心 2004年第S2期59-62,共4页

本文在中、小样本试验数据下,研究响应模型的选择问题.文中给出了一个四参数分布族,变化其中两个参数的取值可以得到四种常见的响应分布模型.从而,将四种常见响应分布的选择问题,转化为该分布族的参数检验问题.

关键词 二元响应模型 参数检验 临界刺激量

下载PDF 职称材料

一种基于类间马氏距离的测试激励优选方法 被引量：1

7

作者 陈圣俭 魏子杰 +1 位作者 周校晨 宝石 《微电子学》 CAS CSCD 北大核心 2016年第6期845-848,858,共5页

针对模拟电路多频测试问题,提出了一种基于类间马氏距离的测试激励优选方案。通过幅频特性分析,确定频率优选范围。根据参数扫描分析数据,计算不同激励下故障特征样本集的类间马氏距离,并以此为适应度函数,利用离散粒子群算法实现激励... 针对模拟电路多频测试问题,提出了一种基于类间马氏距离的测试激励优选方案。通过幅频特性分析,确定频率优选范围。根据参数扫描分析数据,计算不同激励下故障特征样本集的类间马氏距离,并以此为适应度函数,利用离散粒子群算法实现激励优选。相比于传统的欧氏距离,马氏距离不受量纲的影响。仿真结果表明,该方法优选出的测试激励信号降低了故障间的模糊度,提高了故障诊断率。 展开更多

关键词 马氏距离 测试激励 离散粒子群算法

下载PDF 职称材料

一种BIST测试激励的聚类移位压缩方法

8

作者 涂吉 王子龙 李立健 《计算机科学》 CSCD 北大核心 2014年第5期33-36,共4页

提出一种针对内建自测试的测试激励聚类移位压缩方法。对难测故障的测试向量进行聚类压缩,将测试向量划分为若干类,每类内的向量相互之间最多只有一比特相异,从每类中只选取一个种子向量存储到ROM中。为了进一步提高测试向量压缩率,对... 提出一种针对内建自测试的测试激励聚类移位压缩方法。对难测故障的测试向量进行聚类压缩,将测试向量划分为若干类,每类内的向量相互之间最多只有一比特相异,从每类中只选取一个种子向量存储到ROM中。为了进一步提高测试向量压缩率,对聚类后的种子向量再进行移位压缩。实验结果表明,聚类移位压缩具有较高的测试数据压缩率,能减少难测向量存储单元,且能以芯片频率进行测试。 展开更多

关键词 聚类压缩 移位压缩 内建自测试 测试激励

下载PDF 职称材料

心理测试题目设置中的兴奋点和刺激点分析

9

作者 唐帅 崔燕平 《刑事技术》 2004年第5期6-9,共4页

目的　从心理兴奋点和刺激点的角度 ,以及有效刺激和无效刺激问题上对心理测试题目设置问题进行系统的分析。方法　以实践为基础结合案件应用对相关问题进行探讨。结果　对相关问题从有效刺激的角度进行了新的定义。结论　把握好刺激点... 目的　从心理兴奋点和刺激点的角度 ,以及有效刺激和无效刺激问题上对心理测试题目设置问题进行系统的分析。方法　以实践为基础结合案件应用对相关问题进行探讨。结果　对相关问题从有效刺激的角度进行了新的定义。结论　把握好刺激点与兴奋点的对应关系 ,尽可能把相关问题的刺激点转化成有效刺激 。 展开更多

关键词 心理测试 题目设置 兴奋点 刺激点 信息耦合理论 CQT测试法

下载PDF 职称材料

基于事件相关电位P300探究调息操作对情绪反应的调节效应

10

作者 张鑫政 郭佳美 +5 位作者 胡庆川 张佳蕾 董晶晶 李航宇 邵晓倩 魏玉龙 《中华中医药杂志》 CAS CSCD 北大核心 2021年第10期6110-6113,共4页

目的:探究调息操作对人体情绪反应的调节效应。方法:将招募入组的50名健康人,分为自然呼吸状态组(A组)和调息状态组(B组),通过听觉情绪刺激的oddball测验记录脑电事件相关电位变化,对两组P300峰值及脑电功率图进行对比分析。结果:P300... 目的:探究调息操作对人体情绪反应的调节效应。方法:将招募入组的50名健康人,分为自然呼吸状态组(A组)和调息状态组(B组),通过听觉情绪刺激的oddball测验记录脑电事件相关电位变化,对两组P300峰值及脑电功率图进行对比分析。结果:P300峰值各脑区对比,正性音乐刺激条件下大脑顶区B组低于A组(P<0.05),中性音乐刺激条件下大脑顶区、后颞区B组低于A组(P<0.05),负性音乐刺激条件下大脑后颞区B组低于A组(P<0.05),其余各脑区之间差异无统计学意义。相同刺激下两组脑电功率图对比,A组脑区高功率集中在大脑右侧额区、额中央交界区、中央区、中央顶交界区、顶区、颞区,而B组的脑区功率呈全脑降低趋势,并集中在大脑中央区域。结论:调息操作可以降低人体对情绪刺激的反应,并且能使人体对强情绪刺激的反应趋向于中性平稳。 展开更多

关键词 气功 调息 事件相关电位 P300 情绪 oddball测验 听觉刺激

原文传递

词联导航训练法与Schuell刺激疗法改善卒中后言语功能的对比研究 被引量：36

11

作者 田智慧 江钟立 +4 位作者 丛芳 林枫 祁冬晴 苏彩霞 沈旭 《中国康复医学杂志》 CAS CSCD 北大核心 2014年第2期119-123,共5页

目的:比较词联导航训练法(WANT)和Schuell刺激疗法(SSM)对失语症患者言语功能改善的疗效。方法:18例失语症患者随机分为WANT组(n=9)和SSM组(n=9)。从中文联想词汇库中选取122个词汇,WANT组由治疗师采用网络分析技术自动生成语义关联顺... 目的:比较词联导航训练法(WANT)和Schuell刺激疗法(SSM)对失语症患者言语功能改善的疗效。方法:18例失语症患者随机分为WANT组(n=9)和SSM组(n=9)。从中文联想词汇库中选取122个词汇,WANT组由治疗师采用网络分析技术自动生成语义关联顺序的词汇进行训练。而SSM组由言语治疗师根据失语症类型和严重程度自主决定训练素材和刺激方法。两种方法训练疗程均为10d,每日2次。训练前后进行西方失语症成套测验(WAB)和日本标准失语症检查量表(SLTA)检查。结果:WAB显示WANT组训练后自发言语项积分和AQ差值显著高于SSM组,WANT组训练后自发言语、听理解、复述、命名项积分显著高于训练前,SSM组训练前后各项积分无显著差异。SLTA显示WANT组命名项差值显著高于SSM组,WANT组训练后名词理解、口头指令、漫画说明、句子理解等项积分显著高于训练前,SSM组训练后读、写项积分显著高于训练前。结论:WANT可以有效地改善失语症患者的自发言语、命名和计算能力。 展开更多

关键词 词联导航训练 失语症 西方失语症成套测验 日本标准失语症检查方法 Schuell刺激疗法

下载PDF 职称材料

基于Levy飞行改进蝴蝶优化算法 被引量：15

12

作者 郭德龙 周锦程 周永权 《数学的实践与认识》 2021年第12期130-137,共8页

蝴蝶优化算法是一种模仿蝴蝶觅食行为群智能优化算法,充分利用蝴蝶的嗅觉来确定食物源的位置上,但是该算法与其他智能算法一样,也存在一些缺点和不足如收敛速度和求解精度等方面的问题,蝴蝶优化算法原理主要主要模仿蝴蝶种群寻找食物,... 蝴蝶优化算法是一种模仿蝴蝶觅食行为群智能优化算法,充分利用蝴蝶的嗅觉来确定食物源的位置上,但是该算法与其他智能算法一样,也存在一些缺点和不足如收敛速度和求解精度等方面的问题,蝴蝶优化算法原理主要主要模仿蝴蝶种群寻找食物,每只蝴蝶都散发出一定浓度的香气,每只蝴蝶都会感受到周围其它蝴蝶的味道,并朝着那些散发更多香味的蝴蝶移动而进行搜索.本文提出一种基于Levy飞行改进蝴蝶优化算法,因为levy飞行就是随机游走并且可以在任意维度的空间中,在一个点随机地向任意方向前进任意长度的距离,该算法通过蝴蝶在搜索的过程引进Levy飞行搜索算子来改进原算法局部搜索和全局搜索的能力,最后通过标准测试函数,结果表明收敛速度和求解精度都有所提高. 展开更多

关键词 蝴蝶优化算法 Levy飞行 标准测试函数 刺激强度

原文传递

SoC功能验证的特点和方法 被引量：7

13

作者 徐英伟 刘佳 《微处理机》 2006年第2期11-13,共3页

简要分析了传统集成电路(ASIC)验证方法的特点以及将这些方法应用于系统级芯片(SoC)验证时所面临的问题。在此基础上,论述说明了模块级验证是提高SoC验证效率的基础;而基于随机测试激励的验证方法能够提升SoC的功能验证的覆盖率。另外,... 简要分析了传统集成电路(ASIC)验证方法的特点以及将这些方法应用于系统级芯片(SoC)验证时所面临的问题。在此基础上,论述说明了模块级验证是提高SoC验证效率的基础;而基于随机测试激励的验证方法能够提升SoC的功能验证的覆盖率。另外,还介绍了用于SoC功能验证的关键方法,包括断言和RTL形式验证,Farm,随机化测试激励和功能覆盖等。 展开更多

关键词 系统级芯片 设计 功能验证 断言 功能测试 随机测试激励

下载PDF 职称材料

“申威-1号”高性能微处理器的功能验证 被引量：13

14

作者 黄永勤 朱英 +2 位作者 巨鹏锦 吴志勇 陈诚 《软件学报》 EI CSCD 北大核心 2009年第4期1077-1086,共10页

微处理器设计日趋复杂,如何对微处理器设计进行有效而充分的验证,成为芯片流片成功的关键因素之一.在介绍微处理器功能验证的一般理论和方法的基础上,介绍了"申威-1号"高性能微处理器的功能验证所采用的验证策略及各种验证方... 微处理器设计日趋复杂,如何对微处理器设计进行有效而充分的验证,成为芯片流片成功的关键因素之一.在介绍微处理器功能验证的一般理论和方法的基础上,介绍了"申威-1号"高性能微处理器的功能验证所采用的验证策略及各种验证方法.RTL(register transfer level)级验证是功能验证的重点,模拟验证是"申威-1号"RTL级验证的主要验证手段.详细介绍了如何综合采用多种验证技术来解决RTL级模拟验证的几个关键问题:高质量测试激励生成、模拟结果正确性的快速判断以及验证覆盖率目标的实现.最后对各种验证方法所取得的验证效果进行了分析. 展开更多

关键词 功能验证 伪随机测试激励 功能覆盖率 参考模型 实时比较

下载PDF 职称材料

高固含量HMX基浇注PBX的烤燃试验研究 被引量：9

15

作者 殷明 罗观 +2 位作者 代晓淦 张攀军 汤滢 《火炸药学报》 EI CAS CSCD 北大核心 2014年第1期44-48,共5页

参照美国MIL-STD-2015C非核弹药的危险性评估试验,研究了新研制的高固含量HMX基浇注PBX(PBX-9010)的热刺激响应特性,进行了升温速率为1、3、10和100℃/min的烤燃试验,用SEM、XPS和DSC-TG对烤燃试验前后的PBX-9010样品进行了表征。结果表... 参照美国MIL-STD-2015C非核弹药的危险性评估试验,研究了新研制的高固含量HMX基浇注PBX(PBX-9010)的热刺激响应特性,进行了升温速率为1、3、10和100℃/min的烤燃试验,用SEM、XPS和DSC-TG对烤燃试验前后的PBX-9010样品进行了表征。结果表明,PBX-9010炸药均发生了燃烧的低等级反应,是一种高安全性不敏感炸药。升温过程中PBX-9010炸药表面出现"脱粘"现象,烤燃分解反应是由HMX的热分解反应引起,HMX的晶型转变和黏结剂对烤燃试验结果均有重要影响。 展开更多

关键词 物理化学 混合炸药 PBX HMX 烤燃试验 热刺激机理

下载PDF 职称材料

变温实验中冷和热刺激反应强度的差异 被引量：5

16

作者 温彦华 张连山 葛平江 《听力学及言语疾病杂志》 CAS CSCD 2003年第3期174-176,共3页

目的　了解变温实验检查中冷和热刺激对患者反应强度变化有无影响。方法　应用眼震电图仪和冷热刺激仪对 12 0例有眩晕症状的患者进行冷热实验检查 ,观察他们在不同温度刺激下眼震的最大慢相角速度。结果　单热刺激以及先冷后热刺激中... 目的　了解变温实验检查中冷和热刺激对患者反应强度变化有无影响。方法　应用眼震电图仪和冷热刺激仪对 12 0例有眩晕症状的患者进行冷热实验检查 ,观察他们在不同温度刺激下眼震的最大慢相角速度。结果　单热刺激以及先冷后热刺激中的热刺激引起的患者眼震的最大慢相角速度较冷刺激组明显大 (P <0 .0 1)。 展开更多

关键词 变温实验 冷刺激 热刺激 反应强度 最大慢相角速度 眩晕

下载PDF 职称材料

斯尔文绘画测验述评 被引量：5

17

作者 叶文晖 《中国特殊教育》 CSSCI 北大核心 2007年第2期46-50,共5页

本文从对儿童绘画的发展阶段与儿童认知、心理的发展阶段进行比较入手,介绍了一种可以用于临床评估语言障碍、听力障碍和学习障碍儿童的认知能力与情感状态的工具——斯尔文绘画测验,以及相关研究成果与对该测验的评价。同时分析了绘画... 本文从对儿童绘画的发展阶段与儿童认知、心理的发展阶段进行比较入手,介绍了一种可以用于临床评估语言障碍、听力障碍和学习障碍儿童的认知能力与情感状态的工具——斯尔文绘画测验,以及相关研究成果与对该测验的评价。同时分析了绘画测验运用于特殊儿童的优点。 展开更多

关键词 绘画测验 心理评估 特殊儿童 刺激绘画技术 斯尔文绘画测验 画故事测验

原文传递

数字电路测试压缩方法研究(英文) 被引量：3

18

作者 韩银和 李晓维 《中国科学院研究生院学报》 CAS CSCD 2007年第6期847-857,共11页

测试压缩可以在没有故障覆盖率损失的情况下,极大地降低测试时间和测试数据量,弥补了测试设备和芯片制造能力提升之间的差距,受到学术界和工业界的广泛关注.测试数据分为测试激励和测试响应2种,测试压缩也对应分为测试激励压缩和测试响... 测试压缩可以在没有故障覆盖率损失的情况下,极大地降低测试时间和测试数据量,弥补了测试设备和芯片制造能力提升之间的差距,受到学术界和工业界的广泛关注.测试数据分为测试激励和测试响应2种,测试压缩也对应分为测试激励压缩和测试响应压缩2个方面.本文针对这2方面分别展开了研究.主要贡献包含:(1)提出了一种Variable-Tail编码.Variable-Tail是一种变长-变长的编码,对于X位密度比较高的测试向量能够取得更高的测试压缩率.实验数据表明,如结合测试向量排序算法,则使用Variable-Tail编码可以取得很接近于编码压缩理论上界的压缩效果(平均差距在1.26 %左右) ,同时还可以减少20 %的测试功耗.(2)提出了一种并行芯核外壳设计方法.研究发现了测试向量中存在着扫描切片重叠和部分重叠现象.当多个扫描切片重叠时,它们仅需要装载一次,这样就可以大大减少测试时间和测试数据量.实验结果表明,使用并行外壳设计,测试时间可以减少到原来的2/3 ,测试功耗可以减少到原来的1/15 .(3)提出了3X测试压缩结构.3X测试压缩结构包含了3个主要技术:X-Config激励压缩、X-Balance测试产生和X-Tolerant响应压缩.X-Config激励压缩提出了一个周期可重构的MUX网络.X-Balance测试产生综合考虑了动态压缩、测试数据压缩和扫描设计等因素,产生测试向量.它使用了回溯消除算法和基于确定位概率密度的扫描链设计算法,减少测试向量体积.X-Tolerant响应压缩提出了一种单输出的基于卷积编码的压缩电路.该压缩电路只需要一个数据,因此总能保证最大的压缩率.同时为了提高对X位的容忍能力,还提出了一个多权重的基本校验矩阵生成算法. 展开更多

关键词 系统芯片 测试激励压缩 测试响应压缩 扫描设计 自动测试向量生成(ATPG) 不关心位 未知位 卷积编码

下载PDF 职称材料

IAT的属性类别标签效应研究 被引量：3

19

作者 张陆 佐斌 叶娜 《中国临床心理学杂志》 CSSCI CSCD 2009年第4期454-456,共3页

目的:探讨内隐联想测验(IAT)的属性标签效应。方法:采用单因素被试间设计,实验包含两个IAT程序,两个程序所使用的刻板对象标签相同,均为男名和女名;所使用的属性类别标签不同,IAT1中以"家具/衣服"为属性类别标签,IAT2中以&qu... 目的:探讨内隐联想测验(IAT)的属性标签效应。方法:采用单因素被试间设计,实验包含两个IAT程序,两个程序所使用的刻板对象标签相同,均为男名和女名;所使用的属性类别标签不同,IAT1中以"家具/衣服"为属性类别标签,IAT2中以"坚硬/柔软"为属性类别标签;所使用的样例刺激完全相同。结果:两个IAT效应差异显著,IAT2的效应大于IAT1的效应,表明属性类别标签的改变造成了IAT效应的差异。结论:属性类别标签影响IAT效应,IAT存在属性类别标签效应。 展开更多

关键词 内隐联想测验 刻板印象 类别标签 样例刺激 IAT效应

原文传递

FPGA功能验证自动化技术研究与实践 被引量：3

20

作者 朱伟杰 阳徽 +2 位作者 费亚男 李洋 王昶 《航天控制》 CSCD 北大核心 2017年第2期72-77,98,共7页

深入分析了影响FPGA功能验证效率和质量的各项因素,改进了传统FPGA软件验证平台的搭建方法,阐述了FPGA软件自动化验证平台搭建技术、基于Perl语言的Testbench自动生成技术、受约束的随机激励生成技术、接口时序自动侦错技术、SVA断言以... 深入分析了影响FPGA功能验证效率和质量的各项因素,改进了传统FPGA软件验证平台的搭建方法,阐述了FPGA软件自动化验证平台搭建技术、基于Perl语言的Testbench自动生成技术、受约束的随机激励生成技术、接口时序自动侦错技术、SVA断言以及基于VBA宏的管脚配置自动检查技术等6种改进策略。这些自动化技术将功能验证中程式化和标准化的工作交由工具完成,提高了验证平台搭建和仿真结果检查的效率。 展开更多

关键词 功能验证 自动侦错 自动化验证平台 受约束的随机激励

下载PDF 职称材料