等价性验证在Soc设计中的应用

本文介绍了仿真验证与形式验证的功能,重点讨论了等价性验证在soc设计中的应用及基本流程,分析了等价性验证过程中常遇到的一些问题并给出了解决方案,实验显示,该验证方法可准确快速的发现设计的错误,提高验证效率。     

物联网中适用于内容搜索的实体状态匹配预测方法

对实体匹配用户内容搜索的状态进行预测可显著提高物联网搜索的效率,降低搜索过程的通信开销。该文提出等时距与周期内实体状态预测方法,估计实体在用户查询时刻的状态;设计了适用于内容搜索的有序验证方法,依据实体匹配用户查询内容的概率对实体进行排序验证,以保证用户搜索结果的可靠性。结果表明,所提实体状态预测方法具有较高的精度,结合所提预测方法与匹配验证方法的搜索机制具有较低的通信开销。     

Search strategy switching: A cost model and an analysis of backtracking

Test generation algorithms contain search strategies which are used to control decision making when the algorithm encounters a choice of signal value, or what action to perform next. Our study of traditional search strategies used in automatic test pattern generation has led us to the observation that no single strategy is superior for all faults in a circuit and all circuits. Further experimentation led to the conclusion that a combination of search strategies provides better fault coverage and/or faster ATPG for a given backtrack limit. Instead of using just one strategy up to the backtrack limit, a primary strategy is used for the first half of the backtrack limit, then a secondary strategy is used for the second half of the backtrack limit. This article presents a qualitative ATPG cost model based on the number of test generation events, uses this model to explain why search strategy switching is faster, and shows experimental evidence to verify both the cost model and search strategy switching theory. The experiments were performed with the ISCAS circuits and our implementation of the FAN algorithm.     

总线形局域网总线故障的快速定位方法

提出一种基于二分搜索思想的总线形局域网总线故障的快速定位方法，有效地提高了总线故障的查找效率。     

面向寄存器的流水线处理器建模及验证方法

提出了一种新的流水线处理器功能的验证方法 ,这种方法的主要思想是通过验证流水线处理器中所有寄存器的功能来验证处理器的功能 .流水线处理器绝大部分是由同步电路组成的 ,同步电路的状态则完全由寄存器的状态决定 ,因此如果能够保证每个寄存器功能正确就可以保证整个同步电路功能正确 .对于流水线处理器来说 ,寄存器状态的变迁是由处理器的原始输入和寄存器本身状态决定的 .原始输入包括控制信号 (如复位信号 )和数据输入 (如指令输入 ) .如果把对每个寄存器的赋值操作转换成对控制信号和数据输入的操作 ,就可以生成一个验证序列 ,这个序列包括每个     

双基地MIMO雷达最优化搜索参数设计研究

针对双基地MIMO雷达搜索特性,从搜索波束覆盖的几何模型出发,分析衡量波束覆盖效率的基本因素,以及其对搜索资源消耗的影响,并在此基础上提出了双基地MIMO雷达搜索波束覆盖优化的基本思路,即在不同的距离范围匹配选取不同的波束宽度和波束重叠度,从而达到快速覆盖发射波束的目的。最后建立了在约束条件限制下,同时考虑时间资源和能量资源消耗的搜索优化模型,仿真分析了影响搜索资源消耗参数(脉冲重复个数、脉冲宽度、搜索周期)的最优值随检测概率门限值的变化规律,为最优化搜索参数选取提供依据。     

基于覆盖率驱动的SoC验证技术研究

覆盖率数据是验证工程师判定SoC验证完备程度的定性度量,为SoC验证完全性提供了保障,指明了方向．文中以SoC总线仲裁器验证为例,对其结构覆盖率、功能覆盖率、断言覆盖率等多种覆盖率进行了全面的分析,然后根据覆盖率分析结果反馈到RTL设计代码和测试激励进行修正,直到验证的完整性满足设计的要求．     

考虑门逻辑功能的最长路径搜索算法

在静态时序分析中,寻找最长时延路径以及最坏情况下时延是最重要的任务。考虑门的逻辑功能,提出了一种精度更高的最长路径搜索算法。由于门的时延大小不仅取决于输入信号的过渡(transition)时问和负载电容大小,还取决于输出信号的状态(上升或下降)以及其它管脚状态(高电平或低电平),因此,该算法极大地提高了静态时序分析的精度。文章还给出了区段搜索算法,可以找出时延在给定范围内的所有路径。这两个搜索算法对每务边至多遍历一次,时问复杂度依然为线性。     

A Method of Formal Verification of Cryptographic Circuits

In this letter we report the formal verification of encryption and decryption circuits. After we describe algebraically a simple modular arithmetic circuit at both function and logic levels, we apply the symbolic manipulation of Mathematica.     

一种紧凑型折射式红外搜索/跟踪光学系统设计

根据机载红外搜索/跟踪系统对大搜索框架角与小型化的需求,设计了一个三次成像光学系统,其像质优良,MTF达到衍射极限.对光路进行空间三维折叠,使其外形尺寸包络于一个球体内.光学系统的通光口径超过了包络球体外壳直径的52%,且球体直径约等于系统等效焦距.     

A Case for Cloud-Based Mobile Search

Mobile search is beset with problems because of mobile terminal constraints and also because its characteristics are different from the traditional Internet search model. This paper analyzes cloud computing technologies-especially mass data storage, parallel computing, and virtualization-in an attempt to solve technical problems in mobile search. The broad prospects of cloud computing are also discussed.     

A Biased Random Instruction Generation Environment for Architectural Verification of Pipelined Processors

Architectural verification is a critical aspect of the microprocessor design cycle. In this paper, we present a design verification environment centered around a biased random instruction generator for simulation-based architectural verification of pipelined microprocessors. The instruction generator uses biases specified by the user to generate instruction sequences for simulation. These biases are not hard-coded and can thus be changed depending on the specific areas in the design and type of design errors being targeted. Correctness checking is achieved using assertion checking and end-of-state comparison with a high-level architectural model. Several architectural-level errors are introduced into a behavioral model of the DLX processor to investigate the processor's response in the presence of design errors. Simulation experiments conducted using the behavioral model show that biased random instruction sequences provide higher coverage of RTL conditional branches and design errors than random instruction sequences or manually-generated test programs. Furthermore, instruction sequences containing a high percentage of read-after-write (RAW) and control dependencies are the most useful.     

基于模拟的SoC功能验证研究

基于模拟的验证技术在SoC等复杂数字系统功能验证中一直占据统治地位.模拟激励产生的速度和质量是决定验证过程收敛速度的关键因素,覆盖率信息定量地表示了验证完成的程度.覆盖率导向的受约束随机激励生成技术提高了验证过程的效率和自动化程度.按照是否需要待验证设计的内部结构信息,将受约束随机激励生成技术分为基于学习的激励生成和基于构造的激励生成两类并分别进行分析.对基于模拟的SoC功能验证涉及的其它关键技术如:约束定义、覆盖率分析及IP核及核间通信协议的功能验证等国内外研究现状进行了分析和总结,并对未来的发展趋势和研究方向进行了展望.     

相控阵雷达资源受限时搜索参数调整策略

相控阵雷达最主要的工作方式为搜索和跟踪,针对跟踪任务抢占雷达总资源导致搜索性能下降的问题,文中在搜索空域需要适时进行调整的条件下,考虑到扫描过程中产生的波束展宽效应,提出了以空域覆盖系数为优化函数的资源受限时的搜索性能优化模型,给出了波束宽度调整(ABW)、观测空域调整(AOA)和波束宽度和观测空域联合调整(ABWAOA)三种策略,通过仿真比较了三种参数调整策略的搜索性能,结果表明ABWAOA策略的调度性能最优。     

基于搜索空间自动缩减的路径覆盖测试数据进化生成

 提出一种基于搜索空间自动缩减的路径覆盖测试数据进化生成方法,首先,确定目标路径与输入变量之间的关系,将可分目标路径分离出与部分分量相关的子路径;然后,固定被穿越子路径对应的输入分量,并缩小交叉和变异操作的范围,使种群在不断缩小的空间里寻找测试数据,以提高测试数据生成的效率;最后,将提出的方法用于基准程序的路径覆盖测试数据生成,并与传统方法和随机法比较.结果表明,本文方法在生成测试数据需要的进化代数、运行时间和成功率等指标上均具有优越性.     

一种运动估计的快速搜索方法

本文提出了动态图像压缩中估计运动矢量的一种快速搜索算法。分析与实验表明，该算法的计算量大大低于二维全搜索，而匹配效果优于三步法等快速算法，目硬件实现简单。它适用于动态图像的实时编码。     

一种基于状态空间的启发式搜索算法及其实现

深度优先和广度优先搜索算法由于需遍历所有状态空间才能求出最佳解,使其在状态空间较大时效率极低,此时必需采用启发式算法实现快速求解。阐述启发式搜索算法在状态空间较大时的广泛应用,深入分析一种启发式算法-A-Star算法实现快速求解的原理,并详细介绍了其实现步骤及过程。最后,得出结论:基于合理估价函数的A-Star算法能极大提高求解效率。     

语义搜索引擎概念模型

语义搜索引擎作为未来的万维网搜索引擎，将不仅仅基于关键词检索，而是能够理解Web页面的内容，并进行逻辑推理来完成复杂的查询任务，最终返回精确的结果。对语义Web和搜索引擎技术进行了简要介绍，提出一种语义搜索引擎概念模型，并对其构成模块及模块问的互操作进行了描述，最后对概念模型具体实现上的关键技术进行了简要说明。     

一种数模混合32 bit SoC功能验证平台的设计

针对SoC的功能验证需求,提出了一种基于32 bit CPU核的SoC功能验证平台.该平台集成了SoC功能验证流程,包括IP模块验证、软硬件协同验证、模数混合验证、验证程序开发、验证程序调试、验证数据生成、验证Testbench、验证配置环境、结果比较和分析及基于FPGA的硬件验证平台等.该验证平台已经成功应用于某混合信号SoC的设计.该芯片在0.18 μm CMOS工艺上进行了实现,工作频率为80 MHz、功耗为450 mW.该验证平台原理清晰,提高了功能验证的效率和自动程度,并对其它混合SoC设计具有一定的参考作用.     

基于二维速度搜索的星载SAR运动目标聚焦算法研究

采用传统SAR成像方法对星载SAR地面运动目标进行成像处理时,运动目标通常会处于散焦状态,导致运动目标检测性能下降。该文结合RD算法,提出一种基于2维速度搜索的星载SAR运动目标检测算法,通过对运动目标距离向速度和方位向速度进行遍历来匹配运动目标多普勒参数,提取不同搜索速度下运动目标的最强幅度值用于恒虚警检测,可以提高运动目标的检测概率。仿真结果验证了该方法的可行性和有效性。