密码芯片电磁信息泄漏评估方法研究

基于半定制集成电路设计流程,提出一种对CMOS集成电路进行电磁信息泄漏评估的方法。该方法首先利用综合工具生成电路的门级网表,将门级网表中的普通单元替换为防护逻辑单元,然后利用电磁辐射仿真模型和电磁信息泄漏评估模型对集成电路进行电磁辐射仿真和信息泄漏分析。该方法能够在设计阶段对密码芯片的抗电磁旁路攻击能力进行评估,可提高密码芯片的设计效率,减少资源浪费。     

一种应用定制指令集可重构结构及FFT算法映射优化

现代无线通信应用对FFT计算吞吐率与灵活性需求越来越高,针对传统方案实现FFT计算时难以兼顾性能与灵活性的问题,提出一种应用定制指令集可重构结构ASRA,实现了FFT算法在该结构上的映射优化。ASRA在静态多发射处理器内紧耦合应用定制的混合粒度可重构硬件作为扩展功能单元簇,通过运行时重构动态切换扩展指令集。ASRA采用多体便笺存储器、多端口便笺管理单元及可重构互连构成片上缓存系统,结合多体并行访问、循环级乒乓交替、读/写流水化等技术有效提高了访存带宽;静态多发射和运行时语境管理机制支持核心循环的硬件自动流水执行和软流水执行,开发了指令级、数据级和循环级等多层次并行性。实验结果表明,ASRA大幅提升了FFT计算吞吐率,且支持的FFT计算参数更加灵活,而增加的面积开销相对较小。     

嵌入式微处理器的多层次可配置仿真工具

为了适应嵌入式定制微处理器的开发的需要 ,克服现有微处理器仿真工具的某些不足 ,文中介绍了微处理器的仿真验证工具———VCPU的设计和实现方法。同其它微处理器仿真工具相比 ,该工具具有多层次 ,可配置 ,功能全面的特点。利用该工具 ,设计者可在设计早期进行系统集成验证 ,缩短设计周期并减少设计错误。该工具已经在嵌入式微处理器开发过程中得到成功应用     

MPEG-4视频编码器纹理填充模块的VLSI结构设计

研究了MPEG-4纹理填充算法的特点,设计了纹理填充硬件实现的VLSI结构.在Xilinx ISE6.1i集成开发环境下,采用VHDL对该结构进行了描述,并使用了电子设计自动化(EDA)工具进行了模拟和验证.仿真和综合结果表明,所设计的VLSI处理器,逻辑功能完全正确,而且可以满足MPEG-4 Core Profiles & Level2的实时编码要求,可用于MPEG-4的VLSI实现.     

中小型石油库(站)CAD系统中快速设计的实现

如何提高中小型石油库(站)设计的效率是工程设计人员非常关注的一个问题,也是中小型石油库(站)工程设计CAD软件开发的基本目标之一,但目前在国内研究较少。分析归纳了中小型石油库(站)实际设计中的典型设计方法,提出了以外部数据库和图形数据库为基础,采用基于工程参数驱动图块的设计技术、基于单元图的设计技术、基于工程定型图的设计技术,并结合根据需要开发的修改编辑工具,为设计人员提供了一整套设计工具,帮助其实现快速设计。试用效果证明,该思路切实可行,并已在中小型石油库(站)CAD系统的开发中得以实现。     

YHFT-DX高性能DSP中Cache失效流水设计

YHFT-DX是国防科技大学自主研制的一款高性能DSP.以提升YHFI-DX的 Cache 性能为目标,研究了降低 Cache 失效延迟的优化策略,设计并实现了一种针对高频高性能DSP的一级数据Cache优化策略--失效流水.与传统优化策略相比,该策略将连续访问Cache的失效请求并进行流水化处理,使多个Cache失效延迟重叠,从而达到降低平均Cache失效代价的目的.将该策略应用到YHFT-DX芯片的一级数据Cache控制器的设计与优化中,使访问Cache失效引起的流水线停顿从8拍降为2拍,显著提升了系统性能.     

电子战研究注重海军虚拟现实技术

美国海军研究实验室正在开展利用虚拟现实技术实现电子战仿真的研究,本文对这一称为“海军电子战系统效能分析(ENEWS)”的项目进行了综合介绍,阐述了它的研制目的、系统功能、技术实现原理与工具、系统构成、软件和人机接口设计,并对该项目的开发现状和发展前景作了评述和展望。     

复杂仿真系统可信度评估辅助工具设计与实现

为了提高复杂仿真系统可信度评估的工作效率,保证评估活动的规范化,设计并开发了复杂仿真系统可信度评估辅助工具——CEAT(credibility evaluation assistant tool).分析了复杂仿真系统可信度评估所面临的问题及其实现自动化的迫切需要,并讨论了国内外的研究现状.详细阐述了CEAT的功能特点和总体结构设计,深入探讨了各关键模块的具体实现,并通过应用实例说明了该工具的设计和实现是合理有效的,实现了可信度评估的自动化.     

电子对抗仿真推演系统研究与应用

研究电子对抗仿真推演系统体系结构与开发技术。根据当前作战模拟系统特点与电子对抗仿真推演系统需求,设计了电子对抗仿真推演系统的体系结构。针对系统的可扩展性与可重用性需求,研究了组件开发技术。实现了基于HLA/CORBA混合模式的某机载雷达对抗仿真推演系统,该系统具备组件开发支撑工具。通过应用开发证明,研究的相关技术提高了系统的开发效率与交互能力。     

面向两类典型分析仿真的多样本任务调度工具的设计

当在多台计算机上调度很多样本并行运行时,采用手工操作效率低且极易出错。设计一个自动化的任务分发与调度工具可以有效地提高仿真运行效率。蒙特卡罗仿真和粒子群优化算法仿真是两类典型的分析仿真,介绍了面向这两类仿真的多样本任务调度工具的实现原理和关键技术,这些方法具有很好的通用性和可扩展性,可以广泛应用于解决各类仿真任务的自动分发与调度问题。     

阵列排序器的VHDL设计方法

ＶＨＤＬ是数字电路设计和描述的标准语言。讨论了脉动阵列结构的排序运算器及其改进电路,它们简洁的ＶＨＤＬ描述,经计算机的综合自动生成ＦＰＧＡ或ＡＳＩＣ的门级网表。实践证明,应用ＶＨＤＬ可以极大地提高设计效率。     

Productivity estimates of the strategic airlift system by the use of simulation

Although the strategic airlift system is under continuous analysis, C-5A problems provided impetus to analyze the airlift system productivity function by using a large-scale simulation model. Development of the simulation model (Simulation of Airlift Resources - SOAR) was initiated by the Office of Secretary of Defense (Systems Analysis) in 1966. SOAR had barely become operational in time for the study in November 1968. Since limited verification and validation tests had been performed on the simulation model, the design of experiments was of critical importance. The experimental design had to be flexible enough to salvage the maximum amount of information possible upon the discovery of either a verification or validation error. In addition, the experimental design was required to accommodate the estimation of a large number of possibly changing independent variables. The experimental design developed for the analysis was full factorial design sets for a finite number of factors. Initial analysis began with aggregated sets of factors at two levels, and information gained from experiment execution was used to parse the sets. The process was sequential and parsing continued until the major explanatory independent variables were identified or enough information was obtained to eliminate the factor from further direct analysis. This design permitted the overlapping of simulation runs to fill out the factorial design sets. In addition to estimating the airlift productivity function, several other findings are reported which tended to disprove previous assumptions about the nature of the strategic airlift system.     

加权随机模拟的时变可靠性分析方法

针对结构时变可靠性的随机模拟分析方法计算代价大的问题,在极值方法的基础上提出基于加权随机模拟的时变可靠性分析策略。时变可靠性分析需要计算在不同时间处的失效概率,通常需要进行多次可靠性分析,计算代价巨大。所提方法通过对常规静态可靠性的随机模拟方法进行改进拓展,运用加权策略分别发展了加权蒙特卡洛法和加权重要抽样法,使之能够高效分析计算时变可靠性问题。所提方法仅需一次常规可靠性分析模拟,即可得到时变失效概率函数估计。采用管状悬臂梁和十杆桁架两个算例进行验证。结果表明,基于加权思想的分析方法在能确保精确度的前提下能够大幅度减小计算量,提高计算效率。     

基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

快速的平行码临界路径跟踪故障模拟

针对平行码临界路径跟踪故障模拟中最费时间的扇出源故障模拟,提出了若干加速技术。通过对电路结构进行的独立扇出分支、扇出源分类及扇出源的最终汇聚门等静态分析,结合对停止线及停止扇出源、测试码标记向量以及扇出源临界性确定前的预处理等动态计算,使得扇出源故障模拟区域及需要故障模拟的扇出源数目大大减少,极大地缩短了整个故障模拟时间。实验结果表明,平行码临界路径跟踪故障模拟算法,对少量和大批的随机码都非常有效,并且随着电路规模增加,其有效性更加明显。     

基于标注事件图的空间数据库主动规则终止性分析

主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。     

轻量级SpaceFibre节点高速传输系统的优化设计

为满足卫星有效载荷间SpaceFibre链路的高带宽、高可靠性和轻量化的应用需求,提出一种SpaceFibre节点传输系统的优化设计。该设计采用基于帧累计的增量化计算方法减少了计算电路的冗余;通过四级流水架构满足了错误检测操作的时序要求,使用循环冗余校验共享机制平衡了硬件资源的使用;采取基于完整应答的双层控制策略提升了系统的可靠性,通过构建面向资源优化的控制状态机和存储架构简化了确认重传算法的实现逻辑。使用型号为XC7Z100FFG900-2的FPGA搭建双节点系统,板级验证表明:该设计满足协议规范,与同类设计方案相比,最高工作频率提高1.5倍,支持最高6.25 Gbit/s的传输速率,查找表资源和存储资源降低,寄存器资源相近,为开发具有自主知识产权的高速可靠SpaceFibre编解码器提供了参考。     

PSPICE仿真的测试性验证方法

阐明了对复杂电子设备测试性进行验证的重要性,介绍了PSPICE软件的特点,对基于PSPICE仿真的电子设备测试性验证方法进行了研究,提出了电子设备测试性验证的具体方案.在确定电子设备测试性验证指标的基础上,通过实例分析对方案进行验证,并对实验结果进行了分析,总结了验证过程中存在的问题.实验表明,基于PSPICE仿真的测试性验证方法是可行的.     

基于测试码并行的同步时序电路故障模拟方法

将组合电路故障模拟的一些加速技术推广到时序电路故障模拟中,提出并实现了一个功能块级的基于测试码并行的同步时序电路故障模拟方法,对部分ISCAS89 Benchmark电路的模拟结果表明,该故障模拟方法有较好的性能.