覆盖率导向的WTB控制器功能验证方法

随着单芯片集成度的迅速提高,硬件验证在系统设计中占有越来越重要的地位.仅由设计者完成的模块级验证已经不能够保障流片成功率,需要在验证方法学指导下采用多种先进有效的验证技术和工具,帮助设计者尽可能早地发现和修改设计缺陷.本文详细介绍了在验证方法学VMM指导下,基于IEC61375-1标准的规定,设计分层次的验证环境,对绞线式列车总线控制器进行RTL和参考模型联合仿真的功能验证技术.通过可重用VMM库和随机化函数及基于断言的验证方法,编写高效、可重用的验证平台,以提高验证效率和覆盖率.实验表明,采用覆盖率导向的验证方法可有效地减少验证工作量和验证时间,提高验证质量.     

H.264/AVC视频编码核基于FPGA验证的设计与实现

H.264相比以前的标准具有更高的压缩率、图像质量、容错功能及网络适应性,成为当前最流行的一种高性能的视频编解码技术。基于H.264嵌入式的快速发展,对H.264编码器的验证也进入到了白热化的状态。在验证过程中,如何缩短验证时间、提高验证效率和质量从而加快芯片的上市时间也是一项艰巨的任务。文中基于H.264/AVC视频编码技术原理搭建了FPGA验证平台,从编码正确性、图像质量及性能设计了完备的验证用例,对编码核展开全面的FPGA验证。验证结果表明,H.264/AVC视频编码核功能完善,性能优良,为后续芯片提供有力的保证。     

基于FPGA的数字频率计的设计

本文介绍了一种在EDA软件平台上设计数字频率计的方法,并基于altera的FPGA进行了建模和实现。     

基于FPGA的多功能FC协议分析仪设计

光纤通道是下一代航空电子统一网络的一种主要联网标准,广泛应用于航空电子系统设备的互连、通讯等领域。专门的FC仿真测试、调试分析设备是加速机载FC设备研制所必需的仪器,是设计的协议符合性、可靠性和性能等的保障,也是维护和排故的有效工具。但是,由于FC协议的复杂性等原因,目前专用FC协议仿真、测试分析设备的研发远滞后于机载FC设备的研制。针对这一现状,提出了一种支持原语和帧捕获分析、故障注入、压力测试等多项功能的FC协议分析仪设计方案,描述了其系统结构和硬、软件组成,并详细说明了其核心FPGA的设计思路。该分析仪具有便携、功能丰富、使用简便直观的特点,能够替代昂贵、复杂的国外商用FC测试设备,具有广阔的市场前景。     

基于UVM实现时间同步电路的功能验证

时间同步电路模块是某款在研网络通信SoC芯片的核心IP之一,为通信网络子系统之间提供精准的时间同步功能,因此对其功能正确的验证具有重要意义。如果采用传统的定向测试方法对其验证将很难遍历到所有情况,而采用受约束的随机测试、基于覆盖率驱动的UVM验证方法学,能大量减小验证激励的开发项,有效穷举要验证的功能点。文中介绍了基于UVM验证方法学验证平台设计实现的过程,经过仿真验证和覆盖率的统计分析,证明采用该方法能高效地检查出设计的缺陷,减少了验证花费的时间。     

蓄电池监控系统方案

蓄电池是通信行业常用的电源模式,现有蓄电池工作情况缺乏简便有效的管理,本文介绍了一种蓄电池监控系统的方案,并通过实际的测试验证了该方案的可行性。     

MATLAB和ModelSim联合仿真在FPGA开发中的应用

在带有图像输入、图像输出的FPGA仿真过程中,针对使用单个工具进行仿真存在的问题,以子图像提取器的FPGA设计仿真过程为例,说明MATLAB和ModelSim联合仿真在FPGA开发中的应用,有效解决输入图像信号繁琐低效、输出图像不直观等问题。     

基于断言的形式验证方法研究与应用

随着设计规模的不断扩大和设计复杂度的不断提高。功能验证已经成为数字系统设计开发过程中的制约瓶颈。目前，利用传统的仿真方法并不能有效解决这一困境，而形式验证则是改善该状况的有效途径。本文针对形式验证中模型检验算法在工程实践中遇到的形式语言局限性和状态空间爆炸危机的问题，提出了基于断言的形式验证解决策略，并以DW8051-timer模块为例，利用该方法对它的RTL级设计进行了实际的功能验证。     

基于FPGA的双通道FC数据采集卡设计

光纤通道(Fiber Channel)网络具有低延时、高带宽、高可靠性等特点,非常适合于对数据传输带宽和速率有较高要求的综合式航空电子系统。为了解决航空电子系统FC网络测试环境中多路高带宽、大容量数据实时采集和快速存储的问题,在对FC协议进行深入研究的基础上,提出一种双通道FC数据采集卡解决方案。以含高性能处理器的FPGA为核心,构造嵌入式数据采集系统,使用硬件实现FC协议的解析和处理,软件实现数据存储格式的控制,并行地对两路FC输入数据进行采集,将处理后的数据以轮询优先级的方式,通过SATA接口写入到大容量存储设备中,完成采集数据的存储,为光纤通道网络测试技术在航空电子系统中的应用奠定了基础。     

即时通信蠕虫研究综述

即时通信为个人和企业提供了更加快捷方便的通信服务,随着互联网的飞速发展,即时通信得到更为普及和广泛的应用,而即时通信蠕虫是一种利用即时通信服务进行传播的网络蠕虫,它的出现严重威胁了网络的安全。文中首先介绍了即时通信蠕虫的研究背景;然后论述了即时通信蠕虫的基本定义;接着讨论了即时通信蠕虫的网络拓扑和传播模型,归纳总结了最新防御即时通信蠕虫的技术;最后展望了需要进一步研究的方向,并探讨目前研究中存在的问题。     

XML检索方法研究

随着XML在互联网信息传输、数字图书馆领域的广泛应用,XML检索成为了XML应用过程中需要解决的一个关键问题。研究一种高效、准确的XML检索方法对提高系统效率、可用性有非常重要的意义。本文针对XML检索技术进行研究,对目前已有的检索算法进行了对比总结。重点从XML检索亟待解决的重要问题：XML查询语言,XML索引和XML检索模型等方面对XML检索方法进行了论述。XML检索模型目前是通过传统模型改进而来,可以通过研究传统索引方法来进一步改进XML存储与索引。     

基于STM32与FPGA的导波激励源设计

基于STM32和FPGA设计了一种专门用来进行超声导波管道无损检测的信号发生器。该激励源由STM32、FP-GA、D/A转换电路以及低通滤波电路组成。基于DDS基本原理,阐述了超声导波专用DDS模块设计方法,并给出了STM32与FPGA的接口电路、D/A转换电路及滤波电路的设计方法。其中STM32为整个系统控制核心,主要负责送频率控制字,FPGA主要为了产生DDS波形。FPGA输出的数字信号经D/A转换及低通滤波后即可得所需激励信号。实验结果表明输出的信号噪声小、精度较高、频率可调,能方便地用于管道超声导波检测。     

家庭网络安全研究

目前,家庭网络是重点研究领域之一,家庭网络提供重要服务之一是远程控制家庭网络里的信息家电,由于家庭网络由异构网络协议和各种服务模型组成,远程控制服务导致家庭网络受到各种安全威胁。分析了国内外家庭网络研究现状和存在的安全威胁,对家庭网络安全研究的各种方法的优缺点进行了分类分析和总结,提出了家庭网络安全研究的科学问题与研究和发展方向,从而为家庭网络安全研究相关技术的进一步研究提供一定的理论基础。为用户提供简单易用、安全可靠的家庭网络环境,并提供隐私保护是家庭网络安全研究的最终目标。     

基于读写器和双重ID验证的RFID安全协议

针对海量标签应用导致RFID系统成本提高的缺点,本文分析现有RFID安全协议的特点及局限性,提出重点关注功能强大的读写器,并提出一种新的基于读写器和双重ID验证的RFID安全协议。读写器对标签的ID(伪ID)进行第一次验证,然后该伪ID与替换表配合,形成一个新的真实ID,读写器进行第二次验证。整个通信过程采用Hash加密和随机数发生器来提高系统安全性。分析结果表明,该协议可以明显降低RFID系统的成本,防止网络攻击,适合于大规模使用标签的RFID系统中。     

抗噪Roberts算子边沿检测器

图像边缘检测是图像分割、目标识别、区域形态提取等图像分析技术的基础。边沿检测的软件实现有很多方法,但其一般无法保证在低成本计算平台上的实时性。因此文中基于形态学滤波和Roberts边沿检测算法提出一组数字电路,用以实现低成本、实时图像边沿检测器。文中还对比了Roberts算子的Matlab上实现和硬件实现的实际效果,发现实际硬件的边沿检测精度更高,噪声更多,必须采用去噪电路。该检测器消耗ALTERA-EP4CE115中2139个逻辑单元,每秒可处理30帧分辨率为640*480的RGB图像。     

基于AccelDSP的LBP算法在人脸识别中的应用

针对人脸识别中实时性的要求,采用FPGA硬件方式实现人脸的实时识别,对传统的LBP算法在硬件实现上存在的问题进行了详细分析,并提出了一种符合硬件数据流处理的LBP优化算法。利用AccelDSP综合工具对该优化算法进行硬件设计,并在Dasal公司的Anaconda卡的IPU FPGA上进行实验验证,满足了人脸识别中实时性的要求。实验结果表明优化后的LBP算法不仅人脸识别率得到了提高,而且在硬件上特征值提取速度是软件上的19倍,能够满足实时性的要求,达到每秒处理100幅人脸图像。     

一种双处理器间通信方案的研究与设计

目前,在SOC系统设计中存在着多处理器通信问题。传统的通信方式一般只适用于处理器功能相同的情况。本文提出了一种新的双处理器通信方案,适合一个处理器运行操作系统,而另一个处理器不运行操作系统的情况。通过对系统的需求进行分析,理解双处理器之间的通信内容,使用Verilog HDL实现定制的IP核。处理器都可对IP核进行读写,设置相应的标志位,使双处理器能相互通信。在系统中,存在两个相同的IP核,不仅提高了通信的速度,而且提高了通信的效率,使两个处理器都能很好的工作。     

Bandelet变换原理及应用研究

近年来,多尺度几何分析在统计分析、模式识别、信号处理、数字图像处理等领域中应用广泛。作为自适应多尺度几何分析的一种新方法,Bandelet变换侧重于图像边缘的表示和处理,对于图像中的几何正则方向具有较强的自适应跟踪能力,由于Bandelet变换能提供对图像的最稀疏表示,能够用比别的基函数更少的非零系数来达到同样的逼近效果,特别是对几何特征明显的图像更具优势。文中详细介绍了Bandelet变换的提出、基本原理和方法等技术实现细节,探讨和和分析了Bandelet变换在数字图像的压缩、融合、去噪和分割等诸多方面的应用,并探讨了Bandelet变换技术的应用发展趋势。     

SSL VPN技术及应用研究

安全套接层协议(SSL)是用来保障数据安全传输的协议,SSL VPN是采用SSL协议来实现远程接入的一种VPN技术,近年来在企业网中得到了广泛应用。文中分析了SSL VPN的组件,对SSL VPN的关键技术进行了研究,针对企业外用户访问企业网内部资源所面临的问题,提出了通过SSL VPN实现安全接入的方案。通过SSL VPN的安全接入,企业网用户在接入Internet的任何地方都可以方便、安全地访问企业网资源,有助于企业提高生产力,提高企业的信息安全性,同时也可以降低企业的管理和维护成本。     

实时高速实现改进型中值滤波算法

在图像采集和处理过程中会引入噪声,必须先对图像进行预处理。本文介绍一种快速中值滤波算法,该算法在硬件平台上实现实时处理功能。综合考虑,选择现场可编程门阵列(FPGA)作为硬件平台,采用硬件描述语言Verilog实现改进型中值滤波算法。经Modelsim仿真结果表明:基于FPGA硬件平台实现改进型中值滤波算法不仅速度快,而且实时处理效果佳,提高了图像处理的效率。