星载数据处理机验证平台的搭建和实现

随着片上系统(SoC)设计技术的发展,迫切需要与之相对应的系统验证技术。本文以一款星载数据处理系统的验证为例,讲述了系统级验证和软硬件协同验证的概念、平台搭建方法和实现步骤,为类似的大规模系统设计的验证提供了有益的参考。     

采用TTCN-3解决测试验证难题WiMAX测试日趋复杂

WiMAX是一种新兴的无线通讯技术,能提供宽带无线的高速连接,最大传输速度甚至可达75Mbit/s.其技术应用可以分成因特网的接取功能,作为基站回传网络(Backhaul)的功能,不仅可运用于无线接取,也可以成为基站和基站(BS to BS)、基站和局端间(BS to CN)低成本的传输技术,在地理范围较大的郊区依然能够提供良好的覆盖范围.未来笔记本计算机、智能型手机等便携式装置都内置WiMAX时,无线服务将更加无所不在,高移动性及高传输速率需求的服务也应更加普及.     

一种寄存器自动化验证方法

随着芯片功能的不断增加,芯片中寄存器数量日趋庞大,寄存器的属性也日趋复杂,寄存器验证的完备性和高效性成为验证人员迫切需要解决的问题。本文介绍一种寄存器自动化验证方法,只需要提供寄存器的规格文档,极少的人工参与,即可自动生成验证寄存器的仿真验证激励及相应说明文档。对于特殊功能的寄存器或寄存器位,会生成特殊寄存器报告,验证人员根据该报告对特殊寄存器加以补充验证,从而让寄存器的验证更完备。     

无线电技术设施报废管理及测试验证研究

目前,我国无线电管理事业进入高质量发展阶段,无线电技术设施已成为无线电管理工作的重要工具。但是无线电技术设施的全生命周期管理仍有待完善,无线电技术设施报废管理及测试验证尚需进一步探索。本论文根据陕西省无线电技术设施管理现状,分析当前无线电技术设施报废存在的问题,并提出相关工作建议,为无线电技术设施报废管理及测试验证工作提供思路。     

一种新的基于SRAM的快速综合技术

对静态随机存储器(SRAM)全定制设计过程中的版图设计工作量大、重复性强的问题进行了分析,并在此基础上提出了一种新的应用于SRAM设计的快速综合技术。这种技术充分利用SRAM电路重复单元多的特点,在设计过程中尽可能把电路版图的硬件设计转换为使用软件来实现,节省了大量的版图设计和验证的时间,从而提高了工作效率。这种技术在龙芯Ⅱ号CPU的SRAM设计中得到了应用;芯片采用的是中芯国际0.18μm CM O S工艺。流片验证表明,该技术对于大容量的SRAM设计是较为准确而且有效的。     

运用Poincaré-Miranda定理数值验证变分不等式解的存在性

本文运用Poincaré-Miranda定理数值验证变分不等式问题解的存在性.证明这一新方法相对于已有的方法更具有普遍性,并通过数值例子说明本方法的高效性.     

基于本福特定律的短视频播放量合理性验证研究

在自媒体、短视频、微新闻等快速发展背景下,视频播放量产生了虚假刷流量的"灰色产业链"业务,这种现象违背了数据客观公正原则,不利于对媒体传播的数据真实性进行评估.由于视频播放量符合随机性、多数量级、增长量正比于存量等特征,因此可以基于本福特定律对视频播放量进行模型验证并通过相关性对验证结果进行检验,从而反映数据异常点,这...     

复合材料失效判据有效性验证方法研究

为系统地验证复合材料失效判据计算精度和有效性范围,给出了4种材料体系、6种铺层形式的层合板在单轴、双轴载荷下的失效试验数据,用以评估复合材料失效判据在单向层合板失效包线、多向层合板初始失效包线、多向层合板最终失效包线、层合板变形及层合板的破坏特性等五个方面的预测能力。并根据验证方法和有效性评估策略对失效判据计算精度进行量化考核,给出了失效判据在五个层面上的计算精度。     

基于RISC-V处理器执行单元的高效灵活验证平台设计

目前高复杂度设计的微处理器采用传统的定向验证很难满足高效灵活性的验证需求。针对以上问题,以RISC-V指令集处理器执行单元为验证对象,采用通用验证方法学（Universal Verification Methodology,UVM）设计灵活可配置组件,搭建约束随机指令发生器,成功实现验证平台约束随机激励生成、具备可复用性和可配置性的特点,并针对RISC-V指令集的参考模型SPIKE库存在访存不灵活,受SPIKE库规定地址约束的问题,提出分级思想,根据指令对地址是否访问,分级设计了访存指令参考模型和非访存指令参考模型,成功提高访存指令的验证效率。实验结果表明,该验证平台功能覆盖率约达到100%,代码覆盖率约达到98%以上,具备良好的高效灵活性。     

HyperFLOW软件非结构网格亚跨声速湍流模拟的验证与确认

计算流体力学(computational fluid dynamics,CFD)数值模拟在航空航天等领域发挥越来越重要的作用,然而CFD数值模拟结果的可信度仍然需要通过不断地验证与确认来提高.本文给出了从制造解精度测试、简单到复杂外形湍流模拟网格收敛性研究等三个方面开展CFD软件验证与确认的方法,并对自主研发的CFD软件平台HyperFLOW在非结构网格上模拟亚跨声速湍流问题的能力进行了验证与确认.首先通过基于Euler方程和标量扩散方程的制造解精度测试,分别验证了HyperFLOW在非结构网格上对Euler方程和黏性项的求解精度,结果表明其能够在任意非结构网格上达到设计的二阶精度. 其次,通过NASATurbulence Modeling Resource中的湍流平板、二维翼型近尾迹流动、二维Bump等几个典型的亚声速湍流算例的网格收敛性研究,量化考察了数值结果的观测精度阶和网格收敛性指数,并与国外知名CFD解算器CFL3D,FUN3D的计算结果进行了对比,验证了HyperFLOW对简单湍流问题的模拟能力,且具有良好的网格收敛性和计算精度(阶). 最后,通过NASA CommonResearchModel标模定升力系数的网格收敛性研究和升阻极曲线预测,验证了软件在复杂外形亚跨声速湍流流动数值模拟中也具有良好的可信度.