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

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

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

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

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

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

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.     

面向RTOS的嵌入式软件模拟器构造与实现方法

提出一种快速嵌入式软件验证工具——RTOS软件模拟器。在RTOS软件模拟器验证方法中,利用RTOS模块化、层次化设计特点,快速实现嵌入式软件在不同目标机器间的代码移植,通过扩展RTOS API功能,建立硬件模拟驱动,实现软件模拟器和硬件模拟器通信连接和协同模拟同步控制。RTOS软件模拟器克服ISS速度低的缺点,从更高层次验证嵌入式软件功能。     

SystemC2.0的事务级建模

采用SystemC2.0,结合AMBA片上总线,探讨了在事务级的建模方法,并结合JPEG2000中的无损小波提升算法给出建模实例。介绍TsystemC2.O通过指令集模拟器建立事务级处理器模型的一般方法和步骤。     

VHDL语言中循环语句的综合方法

文中提出一种在RTL综合中实现循环语句综合的方法。该方法将循环赋值语句从行为描述中提取出来,构成循环语句列表从而完成格式判别和综合,并且文中对循环语句中使用的next语句、exit语句也给出综合的方法。最后给出测试实例及结果分析。     

嵌入式系统软件模拟及硬件接口设计的快速验证

该文提出了一种面向宿主机器代码编译的嵌入式软件功能验证方法,该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方法验证嵌入式系统软件和硬件接口功能。     

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

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

实时嵌入式系统协调设计的行为验证模型

嵌入式系统协调设计中,通常采用协同验证方法检验系统设计的正确性,目前比较常用的验证手段有行为验证和基于处理器结构的指令集模拟．指令集模拟从底层时序关系模拟CPU功能,通过建立与硬件模拟器连结关系来验证软硬件接口．指令集模拟的主要特点是模拟精度高,但模拟速度慢,对于不同的CPU结构需要构造不同的指令集模拟器．文中研究一种基于RTOS实时嵌入式系统行为验证模型,通过扩展RTOS功能,建立RTOS软件模拟器,实现RTOS模拟器和VHDL／VerilogHDL协同模拟交互．RTOS模拟器把嵌入式软件功能代码、CPU接口代码以及定制硬件驱动代码分开,实现嵌入式软件设计与硬件平台的弱相关,从更高层次验证系统功能。