Hardware-Software Co-Simulation for SOC Functional Verification

A hardware-software co-simulation method for system on chip (SOC) design is discussed. It is based on an instruction set simulator (ISS) and an event-driven hardware simulator, and a bus interface model that is described in C language provides the interface between the two. The bus interface model and the ISS are linked into a singleton program the software simulator, which communicate with the hardware simulator through Windows sockets. The implementation of the bus interface model and the synchronization between hardware and software simulator are discussed in detail. Co-simulation control of the hardware simulator is also discussed.     

嵌入式系统动态电源管理预测算法研究

针对目前在嵌入式系统中动态电源管理普遍采用超时算法节能效率低的缺点,采用预测的方法进行动态电源管理.提出一个动态电源管理预测算法,该算法通过利用设备空闲状态的历史信息对未来的空闲时间进行预测,预测结果作为动态电源管理的依据.实验结果说明该算法对工作状态平稳的系统空闲预测效果比较理想,适用于动态电源管理.     

JPEG2000小波提升算法的硬件设计

离散小波变换是当今许多图像处理和压缩技术的基础,并被最新的ISO/IEC静态图像压缩标准JPEG2000所采用.基于提升方法的离散小波变换比传统的基于卷积的运算量小.我们为JPEG2000中的小波提升算法提出一个硬件结构,该结构整体运算速度高,存储需求低,硬件资源耗费少.我们提出在数据通道之外实现边界扩展,以降低数据通道的复杂性,提高运算效率.我们通过采用流水线技术,进一步提高了硬件设计的运算效率.     

面向对象的VHDL模拟器

从面向对象技术角度出发,论述了VHDL编译型模拟器的构造方法,以及面向对象的封装、继承、多态技术在VHDL模拟系统构造中的应用方法。提出了由三部分组成的编译型模拟器总体结构：模拟核心、调试核心和用户VHDL源描述所转换而来的C＋＋代码部分。此种结构的面向对象编译型模拟器具有速度快、结构清晰、可扩充性强等优点。最后用实例验证了该结构的效率与性能。     

求解多输出逻辑函数覆盖问题的覆盖矩阵取补法

本文根据多输出多维体蕴涵的概念,提出构成多输出函数简化覆盖表的方法,将求解单输出函数的覆盖矩阵取补法推广到多输出函数的求解。该方法可求得函数全部有意义的无冗余覆盖(包括最小覆盖)。对于大覆盖表运用修改的锐积运算可只求得唯一一组无冗余覆盖。这个方法同时可用于消除输出冗余连接。覆盖表的产生和求解,只需存储它的某一部分或全部不存。因此本算法很简单,程序实现方便,解覆盖几乎不需要增加内存,并且计算量较小。现已编成程序,试算结果表明适于求解输入、输出变量较多的逻辑函数覆盖问题和其它规模较大的覆盖问题。     

具有层次关系目标的显示控制方法

针对具有层次关系目标的特殊性，提出通过推拉镜头实施多分辨率智能显示控制的一种LOD方法．首先模拟人眼摄取信息的特点，提出人眼角分辨率及目标重叠率的概念；然后给出层次聚合和分裂的智能显示控制准则；最后提出LOD智能显示控制的方法，从而使大量目标集显示的同时具有全局综合和局部放大的视觉效果．该方法在某C3I系统中做了实验，并给出了实验结果。     

快速响应矩阵码自动识别算法的设计

研究了快速响应矩阵码的自动识别技术,阐述一种用图像处理方法进行条码二值化、定位、分割、译码的方法,该算法运算速度快,性能优越。实验结果表明,整个识别算法的性能优于快速响应矩阵码国家标准提供的参考算法,明显地提高了不同光照下条码的识别率,可以满足不同场景下条码的实时译码应用。     

一个可处处中断的LOCK和UNLOCK算法

一般的锁操作中Ｌｏｃｋ和Ｕｎｌｏｃｋ语句需作为原语整体实施，即主要要求加锁的锁状态检查和加锁动作不可中断，与一般的锁操作法不同，本文给出一个可以处处被其他进程任意中断的锁操作Ｌｏｃｋ和Ｕｎｌｏｃｋ的算法，并通过其在异构数据库系统中的一个应用，阐明了它在实现互斥操作和并发控制等方面的实用价值。     

面向高级综合验证的数据流图提取技术研究

该文主要讨论高级综合系统RTL(register transfer level)级综合结果正确性验证策略的确 定及验证系统设计中DFG(data flow graph)逆向获取算法的设计与实现.算法主要包括4个处 理阶段：FSM(finite state machine)动态分析及控制输出获取;FSM当前状态下数据通道有 效元件分析;数据通道结构到DFG操作结点转换;DFG结点间数据依赖关系分析、共享寄存器 变量分离及有向边的形成.     

一种复杂场景下建筑目标识别方法

提出了一种基于建筑目标的竖直线特征寻找图像中存在建筑目标区域的方法；考虑了目标特征的相互关系，给出了一种新的模板匹配算法。实验表明：利用该文提出的算法建立的识别系统与其它识别系统相比，大大减少了运算时间，有较好的抗噪声干扰和处理目标被遮挡问题的能力。