处理器验证激励在线筛选技术

如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低.为了提高验证激励的质量,提出一种在线筛选技术来处理验证激励.该技术采用单分类支持向量机来在线地构建分类器,以对新生成的验证激励是否冗余进行预测,如果是冗余的,则不进入仿真阶段进行仿真.在此基础上,进一步提出指令序列核函数来衡量不同指令序列的相似程度.实验结果表明,与约束随机生成技术相比,文中技术可以减少约83%的验证激励及79%的验证时间.     

MPEG-2／4AAC音频编码模块的验证

先进音频编码（AdvancedAudioCoding,AAC）以其多声道、多采样率、高压缩比、音质好等特点被广泛使用。文中首先介绍了MPEG-2／4AAC音频编码技术;接着基于MPEG-2／4AAC音频编码原理,开发了时钟复位、寄存器配置和音频数据收发的BFM模型,搭建了音频编码模块的RTL级虚拟验证平台,同时归纳了验证项;最后基于此验证平台和验证项,对设计进行了全面的仿真验证。实践证明该验证方法效率高、收敛快、覆盖率高,取得了较好的效果,为后续的FPGA平台验证和芯片应用提供了有力的保证。     

基于SoPC的智能监控卡设计与实现

针对机载机电管理计算机传统监控板卡智能化不高、集成度低的缺点,介绍了一种基于s0PC（SystemonProgram-mableChip）方案实现的智能监控卡。该卡使用FPGA内嵌的PPC处理器管理本地各种资源,主机通过PCI接口完成与PPC处理器的指令及数据交互。在FPGA片内集成了多个成熟IP产品,提高了系统集成度,缩短了产品开发周期。着重阐述了FPGA核心电路的系统架构设计、各功能模块的逻辑设计与实现、软硬件协同验证等。实际的系统测试表明该产品具有功能丰富、集成度高、扩展性强的特点。     

模仁数控程序设计及其后置验证的快捷方法

笔者以一个凹模仁数控加工为例,详细分析了模具CAD／cAM作业流程中的的两个关键问题：数控程序的设计和程序的后置验证。作者分析并总结出在不同CAM平台（CATIA／CAM、NX／CAM和Wildfire／CAM）进行模仁数控程序创建工作的主要不同之处及关键技术。     

OPEN XML文档数字签名的C#实现

针对电子文档的安全性问题,分析了文档的各种数字签名情况,设计了一种能够完成多种签名方法,且能全面验证签名的文档签名系统。系统采用C#编程,从而提高了电子文档的安全性。     

浅谈软件需求工程

软件需求工程是包括创建和维护软件需求文档所必需的一切活动的过程,可分为需求开发和需求管理两大工作。需求开发包括需求获取、需求分析、需求定义和需求验证四个阶段,本文将本别对这几个阶段的活动进行阐述。     

基于GIS的黑龙江省多年平均降水量空间插值分析比较

以黑龙江省分辨率为90m的数字高程模型(DEM)的数据为基础,结合ArcGIS软件,分析黑龙江省83个气象站点1971—2018年的降水资料,采用克里金法(Kriging)、反距离权重法(IDW)、径向基函数法(RBF)、全局多项式插值法(GPI)和趋势面法(TS)五种方法进行空间插值模拟.结果表明,黑龙江省年平均降水量东多西少,具有自边缘到中心逐渐增加的特征.西南部和西北部(漠河和北极村)的降水量大多在500mm以下,部分中部地区的降水量超过700mm.总体年平均降水量在400mm—700mm之间,大部分地区属于半湿润区.在该研究区域中,通过克里金指数模型插值方法获得结果的准确性优于其他插值方法.     

产品新闻发布

安捷伦推出用于X系列信号分析仪的新型软件本刊讯:2012年11月,安捷伦科技公司(NYSE:A)推出用于X系列信号分析仪的最新测量应用软件,巩固了其在802.11acWLAN测试解决方案中的领导地位。该软件现在支持新兴的802.11ac标准。     

复杂零件数控自动编程与虚拟加工

复杂零件编程加工时,多采用CAD/CAM软件先对零件进行自动编程,再使用虚拟仿真软件验证程序、进行仿真加工,不仅能够真实地模拟在加工过程中刀具的切削、加工零件、夹具、工作台及机床各轴的运动情况,还可以对加工过程进行修改、优化,最后进行实际加工。本文介绍使用CAXA数控车软件对复杂轴类零件进行自动编程,使用VERICUT软件对     

CPF低功耗设计的等价性验证策略

文章介绍低功耗设计的方法,着重介绍CPF相关低功耗设计特点。最后总结针对CPF低功耗设计的等价性验证方法,重点讨论隔离单元的验证。