基于VxWorks系统的航电激励器设计与实现

航电激励器在民用飞机航电系统半物理仿真平台中起着至关重要的作用.在航电系统开发过程中,航电激励器向航电仿真设备提供的激励数据是进行航电系统仿真验证的基础,所以在航电激励数据的获取和处理中,航电激励器的设计与实现是极其重要的一个环节.该文基于VxWorks系统设计一款航电激励器,对航电激励器进行总体设计,从激励数据获取模...     

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

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

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

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

基于UVM的PCIe桥接芯片验证平台设计

RapidIO协议是一种针对高性能嵌入式系统需求而设计的包交换互联协议,PCIe(Peripheral Component Interconnect express)是一种高速串行计算机扩展总线标准,能够提供点对点双通道高带宽传输.现有的国产CPU均不支持RapidIO接口,只能通过PCIe转RapidIO桥接芯片才可以连接到交换网络中,研制国产化PCIe桥接芯片对国产CPU的推广具有重要意义.通过在传统UVM(Universal Verification Methodology)架构的基础上进行优化,在计分板(Scoreboard)中采用基于单描述符实时比对的方法,比对数据改为从PCIe VIP (Verification Intellectual Property)的数据链路层中选取,使BDMA(Block Direct Memory Access)引擎的内存占用率减小了30%,验证平台总仿真时间缩短了25%;采用寄存器模型自动化集成的方法,对寄存器进行前门和后门交叉访问,可对寄存器的属性和初始值进行快速验证,使寄存器的总验证时间降为原来的20%,并且正确率可达95%以上,该方法特...     

基于E语言的外部存储器接口的功能验证

在SoC设计中,传统功能验证方法已显示出其缺点,主要问题有：复杂验证场景难以构建;边缘情况难以覆盖。针对这些问题,业界提出了一种新的功能验证方法学——受限随机矢量生成的功能验证,该方法在满足约束条件的前提下,随机产生验证矢量。本文研究了受限随机矢量生成的功能验证在SoC设计中的应用,并以基于E语言和Specman验证平台验证了SoC芯片中的外部存储器接口,给出了具体的验证环境和验证步骤。验证结果表明,复杂验证场景和边缘情况的覆盖率均达到了100％。极大地提高了验证的效率和质量。     

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

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

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

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

对两个可转变认证加密方案的分析和改进

该文对可转变认证加密进行了研究,指出了Wu-Hsu(2002)方案和Huang-Chang(2003)方案中存在的问题,分别给出了这两个方案的改进方案,很好地解决了认证加密方案的公开验证问题。     

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

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

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

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