SoC自动化验证方法的研究与实现

为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60％降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

SAR有源压制干扰抑制效果评估方法研究

合成孔径雷达(SAR)是对地观测和军事侦察的重要手段,但SAR非常容易受电子干扰的影响.SAR干扰技术的发展也促进了抗干扰技术的发展,现代SAR系统往往采用多种抗干扰技术.干扰抑制效果的评估是衡量一种抗干扰方法有效性以及SAR系统抗干扰性能的一项综合性指标.本文针对有源压制干扰,将干扰抑制效果评估方法划分为主观评估方法和客观评估方法.对于主观评估方法,引入了图像质量等级改善因子的概念,提出了基于图像质量等级评估标准的主观评估法,该方法可以在一定程度上降低主观评估结果的随机性和主观性.对于客观评估方法,研究了基于回波能量的评估方法和基于图像质量指标的评估方法,给出了具体的评价指标,可以客观、定量的对干扰抑制效果进行评估.最后分别采用点目标和面目标对客观评估方法进行了仿真验证,结果表明了方法的可行性和有效性.     

时间自动机的事务级形式验证

提出了一种形式方法用于验证TLM-2.0的设计方案.该方法中TLM-2.0设计方案将被转换成定时自动机形式模型.定义若干种属性,验证将根据这些属性执行,并引入一种模拟事务级设计方案差错的故障模型来评估这些属性.然后这些属性通过使用形式UPPAAL验证工具在系统的定时自动机表示上针对这些故障被验证.最后通过一个实例研究说明该方法的有效性.     

基于Boosting算法的垃圾邮件过滤方法研究

为解决垃圾邮件过滤的精确度和有效性问题,提出了一种基于邮件内容过滤的垃圾邮件过滤方法,该方法采用Boosting算法构造了一种垃圾邮件过滤器,利用该垃圾邮件过滤器实现对垃圾邮件的过滤. 本文借鉴文本分类和信息检索领域所使用的评价指标,构建了垃圾邮件过滤器的评价体系,利用该评价体系,针对基于Boosting算法所构造的垃圾邮件过滤器对垃圾邮件的过滤实验所得到的数据进行了测试和评估,测试和评估的结果验证了Boosting算法在垃圾邮件过滤中的有效性,其性能优于传统的贝叶斯算法.      

基于SystemC描述的嵌入式系统的自动化验证

基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .     

高效验证平台在TD-SCDMA终端芯片功能验证中的应用

介绍了基于事务级验证的验证方法学(RVM)和覆盖率驱动技术,以及如何将RVM方法学和覆盖率驱动技术结合而搭建高效的验证平台,并详细分析了使用此验证平台对TD-SCDMA终端芯片进行完备和高效的RTL级功能验证.此验证平台比传统验证平台在效率上大大提高,有效地缩短了SoC芯片模块级和系统级的验证时间,缩短了3 SoC芯片的开发周期.     

测试性评估与验证的超几何分布法

分析了现有故障检测率RFD和故障隔离率RFI验证方法存在的问题,改用故障检测覆盖率RFDC和故障隔离覆盖率RFIC作为测试性指标参数,提出了测试性评估与验证的超几何分布法.基于故障检测(隔离)成功数的超几何分布,利用极大似然法思想研究了RFDC(RFIC)指标的点估计方法,利用贝叶斯公式研究了区间估计方法,并给出了测试性验证规则.仿真结果表明,与传统的二项分布法相比,对于样本总体确定情况下的测试性验证,超几何分布法的评估和验证结果更加准确,更加适应当前电子装备检测设备的特点,适用于测试性指标RFDC和RFIC的评估和验证.     

复杂系统结构建模的新方法

在对现有解释结构建模(ISM)方法进行分析的基础上,针对复杂系统结构建模特点,采用将拓扑分析演化为代数分析的思路,提出了一种结构建模新方法,包括强连通子集划分、区域划分、级别划分和求骨架矩阵等4个环节.给出了相应的若干定理作为理论依据,并通过一个示例的演示验证了该方法的简捷性和有效性,进而对该方法进行了模糊化推广.     

一种多重约束下的NoC电压频率岛划分方法

针对高性能低功耗的片上网络设计问题,提出一种多重约束下的电压频率岛划分方法.该方法以优化片上网络系统总能耗为目标,综合考虑电压频率岛个数、传输延时及网络中各PE节点的可靠性等多重约束条件,构建了适用于ILP的数学模型以解决片上网络的电压频率岛划分问题.使用LPSolve求解器对所建模型求解,并从E3S测试基准中选用多组测试用例和一个多媒体系统实例,验证了该方法的有效性.实验结果表明,该电压频率岛划分方法可在满足多重约束条件的同时,更加合理地划分片上网络的电压频率岛,有效地降低网络能耗.相比于随机划分方法和其他经典的划分方法,该方法可降低能耗9.1%~33.6%和16.7%.     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

基于粗集理论的C3I信息融合性能评估方法

讨论了基于粗集理论的信息融合系统性能评估的理论和方法, 以C³I的应用为背景建立了信息融合性能指标体系. 给出基于粗集理论进行系统综合评估的一般步骤和确定评估指标权值的算法, 尤其是在有信息遗失情况下的信息处理方法. 同时提出一种用于多传感器信息融合性能测试与评估的系统结构, 通过软件测试的方法, 对融合算法进行测试与评估, 实现了对融合算法选择和参数选择的指导, 实验结果验证了本文方法的有效性.     

基于SORA的多学科协同优化可靠性优化方法

针对多学科可靠性优化问题计算过程具有复杂性的特点,从简化计算复杂性的角度,研究协同优化可靠性优化方法.鉴于序列优化与可靠性评估(SORA)方法采用可靠性分析与优化过程相分离的方式,提出了基于SORA的协同优化可靠性优化方法.该方法将具有三层嵌套循环的协同优化可靠性优化问题,转变为顺序地执行确定性协同优化和可靠性分析过程.因而,该可靠性优化模型维持了协同优化的两级优化结构,降低了计算复杂性.最后,利用工程算例对该方法的有效性进行了验证.     

一种基于多级聚类的VLSI电路划分算法

超大规模集成电路(VLSI)划分问题,属于NP-难问题。结合了贪心随机自适应搜索过程(GRASP)和多级聚类方法的思想,提出了一种基于多级聚类的电路划分算法。算法采用贪心随机自适应的思想改进了多级划分方法中重边粗化聚类(HEM)方法。通过对ISPD98的18个标准测试样例的测试结果表明,该方法与著名的划分工具h Metis相比,划分质量有一定的提高,最多可以改进3%左右。     

一种求解产品设计项目调度问题的启发式方法

针对产品设计项目(product design project,PDP)调度问题,考虑任务工期的随机性特点和任务的返工可能性,扩展了传统的优先规则计算方法.提出了一种启发式调度方法,采用扩展优先规则和随机串行调度生成方案,以项目交付期最小为目标构造调度方案.通过抽样得来的随机工期向量获得近优调度策略.在不同工期可变幅度下对方法进行测试,实验结果验证了该方法的有效性,并显示在任务工期的不确定程度和任务返工可能性较大时,采用随机调度方法解决PDP的调度问题可以获得更高质量的调度方案.     

复杂星间链路网络规划评估方法

为确保以导航星座星间链路为代表的复杂星间链路的运行服务效果,在使用网络建链拓扑、路由规划参数前,应对其正确性和有效性进行评估确认.本文提出了对复杂星间链路网络规划进行参数正确性快速评估和业务服务性能评估的分级评估方法.第一级评估实现网络规划结果正确性的快速判断,涵盖了场景要素符合性、节点特性符合性、测量业务约束满足性、数传性能满足性等多维度综合化快速验证评估.第二级实现网络规划结果有效性的进一步确认,构建由星间网络行为模型和数据接入模型组成的星间链路网络仿真系统,基于星间数据传输和处理的加速仿真,统计建链数量和数据包传输性能并与业务服务指标比对,完成业务服务性能仿真评估.经对导航星座星间链路典型业务场景的两级评估结果的比对,验证了分级评估方法的有效性.     

基于PCA-DT的多联机制冷剂充注量故障诊断

针对多联机制冷剂充注量故障,提出了一种基于主成分分析-决策树(PCA-DT)算法的制冷剂充注量故障检测与诊断方法.该方法先通过数据预处理进行数据清理,然后利用PCA对原始数据做降维处理,最后将新的数据划分为训练集与测试集,以训练集建立决策树模型进行故障检测与诊断.实验数据测试集的检测与诊断结果验证了该模型的可行性.采集了某多联机在3个地区的实际运行数据,对建立的决策树模型进行进一步的验证,结果表明:该方法对于多联机的制冷剂充注量故障有良好的检测与诊断效果,且检测与诊断效果整体上要优于DT算法.     

动态可重构众核处理器仿真平台设计

针对众核处理器,提出了一种基于计算资源划分机制的动态可重构技术.该技术以虚拟计算群为核心,设计了基于硬件支持的动态可重构子网划分和动态可重构的Cache一致性协议以及动态在线的计算资源调度算法,并对系统级多核仿真平台Gem 5进行了扩展.同时,采用实际测试结果验证了众核处理器中动态可重构技术的有效性.结果表明,动态可重构技术可以提高众核处理器的资源利用率,实现动态可重构的Cache一致性协议以及单一矩形物理子网覆盖的子网划分机制.     

一种基于叠层电感的25Gb/s 30dB限幅放大器

提出一种采用叠层电感(Stacked Inductor)的25Gb/s 30dB的限幅放大器(Limiting Amplifier,LA),相对于传统限幅放大器,该放大器面积更小.改进的Cherry-Hooper放大器能够解决增益和电压余度(Voltage Headroom)之间的折中问题,因此具有3级级联的该放大器组成了本电路的核心增益级.直流失调消除电路由低通滤波器和放大器组成,同时利用密勒效应实现电容倍增从而节约电容面积.为了在印刷电路板上单独测试LA,将连续时间均衡器以及具有前馈均衡的输出驱动器都集成在本芯片上.该设计采用TSMC 65nm工艺进行流片验证,测试结果表明3dB带宽达到17.5GHz,增益为29.0dB;在电源电压为1.1V的情况下,核心增益级功耗为25.3mW,占用0.072mm2面积.     

基于AD和用例驱动的软件体系结构设计

提出了一种基于公理设计理论和用例驱动的软件体系结构设计的新方法.从系统的用户需求出发,利用基于统一建模语言(UML)的分析建模方法,将公理设计理论的功能域和物理域对应的功能需求和设计参数分别进行用例级、活动级、交互级和类级的4级Z字形分解与映射,完成从用例模型到软件体系结构的建模过程.每次分解得到设计矩阵,通过判断其特征来保证各级建模在功能上的独立性.实例分析验证了该方法在软件体系结构建模过程中的可行性和有效性.     

一种在RTL测试模式生成中验证断言再用的方法

在对设计的功能验证中,断言常被用于检测设计错误.针对制造业的测试模式生成,提出了在寄存器传输层(RTL)用于无扫描设计的断言再用方法.这种方法减少了顺序自动测试码生成程序(ATPG)的搜索空间,因而能加快测试生成过程,增加故障覆盖率.通过实例分析,证明了该方法的可行性和效果.