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

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

面向对象的VHDL模拟器

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

多进程下子程序综合方法研究

子程序的综合方法包括内联扩展、单独的控制单元和数据通道部分和子例程，这些方法都是针对在源描述中只包括单独一个进程时的情况。在多进程的情况下会出现一些问题。给出必须采用子程序内联扩展方法的原则，提出并且实现了将子程序转换成临界资源的方法。同时还解决了包含多个return语句的函数的内联扩展实现方法如何在保持语义的同时进行优化的问题。     

集成电路/计算机硬件描述语言标准Verilog 的标准化工作

1前言Ｖｅｒｉｌｏｇ是一种硬件描述语言,从诞生起就与生产实际紧密结合在一起,具有结构清晰、文法简明、功能强大、高速模拟和多库支持等优点,并获得许多工具的支持,深受用户的喜爱。Ｖｅｒｉｌｏｇ实际上是ＩＣ行业标准,特别是在1995年12月被ＩＥＥＥ接纳为正式标准后,...     

SystemC2.0的事务级建模

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

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

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

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

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

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

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

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

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