基于MAF模型的串扰时延故障的测试矢量生成

随着深亚微米技术,串扰噪声问题越来越严重。利用MAF模型的基本思想,探讨了一种串扰时延最大化算法,并且利用被修改的FAN算法,生成测试矢量。对于一条敏化通路,利用被修改的FAN算法适当地激活相应的攻击线和受害线,使电路在最恶劣情况下引起最大通路时延,从而实现更有效的时延测试。在标准电路ISCAS’85上进行实验验证,结果表明:该算法对于多攻击线的串扰时延故障的测试矢量产生是有效的。     

基于片上网络改进HT模型的测试方法及仿真

No C结构规模巨大,内部电路互连非常复杂,No C内部串扰严重影响了片上系统的信号完整性。基于改进HT模型提出一种串扰测试的方法,实验结果表明,在改进的HT模型来中,N根传输线传统串扰测试方法需要测试6N次,而此方法只需要18次,从而有效地减小了开销。基于改进的HT故障种类模型设计了一套基于改进HT模型的测试代码,根据测试代码利用Pspice仿真软件设计了一种测试代码电路,该测试电路是利用16位数据选择器和16进制计数器构成,并对测试电路进行仿真测试,测试结果表明该电路能够满足测试要求并且具有可移植的优点。     

面向最大串扰噪声的测试生成方法

随着特征尺寸进入纳米尺度,相邻连线之间的电容耦合对电路的影响越来越大,并可能使得电路在运行时失效.为此提出一种面向受害线上最大串扰噪声的测试生成方法,该方法基于多串扰脉冲故障模型,能够有效地模型化故障并生成合适的向量.为了能够激活尽可能多的侵略线以造成受害线上的最大脉冲噪声,首先将测试生成问题转化为一个加权的最大可满足问题,再使用解题器求解,以得到测试向量;此外,将子通路约束加入到可满足问题的描述之中,以保证所有被激活的侵略线能够同时跳变.针对ISCAS89电路的实验结果显示,文中方法适用于较大规模电路的串扰噪声测试,并且具有可接受的运行时间.     

RTL数据通路模拟矢量自动生成方法研究与实现

针对已有的RTL数据通路模拟矢量自动生成方法的不足,提出一种利用约束逻辑编辑(CLP)自动生成数据通路模拟矢量的新方法．该方法首先对给定的Verilog RTL描述采用程序切片进行设计化简,然后对化简后的结果基于位向量算术原理生成CLP约束,并利用CLP求解器GProlog进行约束求解,最终生成满足输出要求的模拟矢量．该方法约束求解速度快,生成的约束是统一的,得到的模拟矢量较完备,能满足模拟验证的要求．实验结果表明,文中方法是一种高效的RTL数据通路模拟矢量自动生成方法．     

数字电路串扰故障测试的路径敏化方法研究

数字电路集成度的提高特别是近年来系统芯片的出现,信号线之间的间距不断缩小,使得信号线间容易发生串扰.文章首先对串扰故障模型,特别是信号线间容性和感性耦合所产生的串扰及其特征进行了讨论,其次针对数字电路中串扰故障的检测,研究了基于路径敏化的测试矢量生成方法,给出了方法的实现步骤.     

数模混合电路互连测试矢量自动生成的实现

测试矢量的自动生成研究一直都是板级边界扫描互连测试中的重点,针对数模混合被测电路的不同结构类型,特别是多扇出类型结点相连的复杂情况,建立了具有代表性的互连结构测试模型;在此模型的基础上提出可进行完备性测试矢量的自动生成算法并用软件加以实现;利用该算法,对实际DEMO板上的芯片进行了互连测试,测试结果表明该算法满足板级边界扫描互连测试的矢量自动生成要求。     

基于断言的模拟矢量自动生成方法

VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,并将传播过程和断言条件一起转化成CLP约束,最后求解CLP约束生成模拟矢量.该方法的优势在于运用了字级(word-level)约束求解技术,能统一处理控制电路和数据通路间的数据传播,求解效率高;基于功能模型的模拟矢量生成技术,模拟矢量生成目标更明确;与动态加速技术相结合,使搜索过程效率更高;设计化简技术的运用使搜索过程计算复杂度只与断言有关.实验结果表明,该方法能快速找到并定位设计中的错误,生成模拟矢量效率更高.     

改进的门单元多输入跳变电流源模型

电压信号的非线性问题和多输入跳变现象给时序分析带来了严重挑战.为更好地解决此问题,文中设计电路对门单元输入端和内部节点间的密勒电容进行了验证,从器件结构上分析了其来源,并通过引入该电容改进了已有多输入跳变电流源模型,以获得更高的模型精度;同时将二输入门单元模型扩展到多输入门单元,并详述了建模方法.多种门单元上的数值实验结果表明,与已有模型相比,在可接受的时间开销内,文中模型能够显著地提高门单元时延和输出波形的仿真精度.     

基于几何关系的跨模型通用扰动生成方法

对抗攻击通过在神经网络模型的输入样本上添加经设计的扰动,使模型高置信度地输出错误结果。对抗攻击研究主要针对单一模型应用场景,对多模型的攻击主要通过跨模型迁移攻击来实现,而关于跨模型通用攻击方法的研究很少。通过分析多模型攻击扰动的几何关系,明确了不同模型间对抗方向的正交性和对抗方向与决策边界间的正交性,并据此设计了跨模型通用攻击算法和相应的优化策略。在CIFAR10、SVHN数据集和六种常见神经网络模型上,对所提算法进行了多角度的跨模型对抗攻击验证。实验结果表明,给定实验场景下的算法攻击成功率为1.0,二范数模长不大于0.9,相较于跨模型迁移攻击,所提算法在六种模型上的平均攻击成功率最多提高57%,并且具有更好的通用性。     

矢量图像分割的快速C-V模型

为了实现对矢量图像快速有效的分割,在分析矢量图像颜色、空间信息和水平集函数特性的基础上,对主动轮廓分割模型进行了改进,提出一种免重新初始化的矢量图像分割模型.在C-V(Chan-Vese)模型中引入了非线性热方程的符号距离函数的约束项,通过对非线性热方程传导率的均衡化使水平集函数始终保持符号距离函数的特性,完全取消比较...     

AVS视频解码器中运动矢量预测的硬件设计和实现

AVS是我国具有自主知识产权的音视频编码国家标准。本文介绍了基于该标准的视频解码器中运动矢量预测模块的硬件设计与实现。根据宏块类型将运动矢量预测的计算方式分成三大类,采用流水线加并行的处理方式,在满足速度指标的要求下有效地减小了逻辑电路结构的面积,且完全满足高清实时解码要求。     

基于SVM的车型识别系统的设计与实现

支持向量机(SVM)理论建立在结构风险最小化原理基础上,对非线性、高维数的小样本问题有非常好的分类效果和学习推广能力。本文设计了基于支持向量机的车型识别系统,系统通过对摄像机采集的视频图像进行运动目标检测分割、特征提取与选择、模式识别等处理,达到实时车型识别。试验结果表明,该系统有很高的识别率和适应性。     

基于STM32的硬件狗设计与实现

信息技术的快速发展,对党政军机要部门的信息安全保密提出了新的要求。为了满足各系统的需要,被保护的软件不被非授权访问或使用,提出一种基于USB接口的硬件狗对保密软件系统进行保护的方法。首先介绍硬件狗的基本原理,然后详细说明其算法实现,最后阐述其在STM32硬件平台上的具体设计与实现。     

基于CPLD的BP神经网络模型的硬件实现

神经网络的硬件实现已成为人工神经网络的一个重要的研究方向，本文提出一种基于Altera公司的CPLD的硬件实现该BP三层神经网络模型方法并进行了MAX PlusII仿真验证。     

一种新的基于PSO的MPC及其硬件实现

模型预测控制(MPC)在流程工业中应用已经比较成熟.其核心为在线求解二次规划(QP)问题,运算负荷大时延长,对控制器的运算能力要求高,阻碍了MPC向更深更广的应用领域拓展.为解决上述问题,从算法本身和硬件平台2个方面入手,提出了MPC算法一种新的实现方案.新的以粒子群优化算法(PSO)为核心的MPC算法很好地解决了带约束的二次规划问题,并且以可编程逻辑门阵列(FPGA)为平台用实现了PSO-MPC控制器.这一方案使得MPC可以应用在控制器体积受限,采样频率高的运动控制场合.     

基于硬件锁的多线程同步设计和实现

硬件锁用简单的取数指令实现“取并加一”或“取并减一”的原子操作.首先介绍了通用多核多线程FT处理器实现的硬件锁机制,并和软件锁机制进行了比较,之后介绍了使用硬件锁机制实现多线程同步的方法,然后在GNUOpenMP运行库中设计并实现了利用硬件锁的多线程同步机制,最后采用典型OpenMP测试程序对使用硬件锁和使用软件锁的同步操作性能进行了评估和分析.     

基于FPGA的RAID6硬件加速器的实现

设计了基于FPIGA的RAID6磁盘阵列的硬件加速器,将占用大量CPU周期的RAID6校验算法,用FPGA硬件实现并设计了软件与加速器的交互接口,将CPU从繁重的计算任务中解放出来,系统的处理速度和响应速度得到很大提升.     

CPCI架构MVB通信卡硬件设计与实现

简要介绍多功能车辆总线(MVB)总线及CPCI总线的特点,通过分析列车通信系统和局部总线技术,给出了基于CPCI的MVB总线通信网卡的硬件设计与实现方案.通信网卡的硬件包括本地处理器、MVB控制器、本地总线逻辑、CPCI接口信号及热插拔电源管理电路等.通过调试,通信卡的各项功能达到了设计目标,符合IEC-61375国际标准,可以应用于实际.     

基于SQL Server的硬件控制系统设计与实现

针对目前主流商业数据库引擎并不具有工业总线通讯和硬件控制的功能,由此造成了工业现场部署的困难和复杂度问题,文中提出一种基于SQL Server进行硬件控制的方法。本方法利用SQL Server扩展存储过程的特性,通过在存储过程中封装对CAN总线系统中驱动程序接口的调用,来实现SQLServer对硬件系统的访问控制,把SQL Server从传统的关系数据库应用领域拓展到了数据库管理和硬件控制应用相结合的场合。工程实践表明,本方法为使用单位节约了大量硬件开销,减少了控制总线的设计和部署的困难。     

基于USB2.0的硬件密码组件的设计与实现

本文提出了一种硬件密码组件的设计及具体实现方法,其中包括硬件结构、固件设计方案、驱动以及其应用程序的实现.该系统采用ADSP数字信号处理器和EZ_USB CY7C68013设备接口芯片来实现系统与PC机之间的高速数据传榆,提出了一种使用软硬件技术开发符合USB2.0规范的硬件密码组件的方法.