基于动态伪随机技术的微处理器验证*

通过分析现有微处理器验证方案的不足,提出了一种以功能覆盖率为参考条件的动态伪随机验证方法。实验结果表明,与传统验证手段相比,该方法在仿真时间相同的情况下,条件覆盖率平均提高了13％;在测试指令数目相同的情况下,条件覆盖率平均提高了20％。     

一种基于SIMD-MCC计算机的二维FFT并行算法

FFT是图像处理中最重要的全局算子之一。文章以SIMD-MCC并行计算机为模型,讨论了二维FFT的并行实现问题,同时给出了相应的并行算法。该算法利用处理元的局部存储器,可在K×K的阵列上处理M×M的图像(M>K),较好的解决了在固定规模阵列上对大尺寸图像进行处理的问题。通过对算法的性能分析表明本算法是可行和高效的。     

逻辑级功耗估计方法的研究

随着芯片规模的增大和速度的不断提高,功耗已经成为深亚微米设计中需要考虑的一个主要因素.在设计中,为了满足功耗需求而又避免进行昂贵地重新设计过程,就需要在设计的不同阶段进行精确而高效的功耗估计.同时,功耗估计对于设计过程中的优化及可靠性设计也是十分重要的.因此,在设计的各个抽象层次出现了很多功耗估计的方法.文章研究了逻辑级功耗估计的方法,重点是近年来提出的几种逻辑级功耗估计的方法,阐述了这些方法的基本原理并比较它们各自的优缺点.     

可测试性设计的JTAG方法

本文将从边界扫描路径,测试体系结构,测试状态定义,测试指令安排与板级测试策略五个方面,介绍VLSI电路可测试性设计的JTAG方式.     

基于有限状态机的UART设计

文章结合UART的设计，分析阐述了硬件设计中的有限状态自动机理论；并在分析UART功能特点的基础上，给出了利用有限状态自动机理论进行UART设计的实例，与其他设计方法相比较，利用有限状态自动机理论设计控制逻辑具有直观简单，设计流程短等优点，在EDA技术中必将发挥重要的作用。     

运动估计协处理器的设计

设计了一个运动估计协处理器,用来从硬件的角度解决图像匹配的实时性问题.首先介绍图像处理中的运动估计技术,然后介绍运动估计技术中常用的块匹配算法及判据的选择,最后详细介绍了运动估计协处理器的设计及其实现.     

RISC体系结构的比较与选择

本文主要从数据类型,寻址方式,寄存器模型,存储器管理以及核心指令集合等五个方面对RISC体系结构进行了比较与选择,提出了一个32位RISC的体系结构方案.     

对数计算机

引言 利用对数方法完成乘除运算并不是一个新的方法,但是,将加减运算也直接用对数来实现,这是最近才提出来的。于是,第一次使得四则运算整个地在对数系统中完成,构成了一个完整的系统。这些算法不仅仅是使得计算是可能的,而且有利于提高速度,减少字长,可实际用于信号处理之类的领域中去。 对数系统避免了定点计算中乘除法运算慢的矛盾,且没有带来余数系统中如溢出判别、     

两相时钟方案

选择时钟方案是同步时序集成电路设计的前提。本文阐述了两相时钟方案的规则,通过比较一相时钟与两相时钟方案,给出了两相时钟方案用于同步时序电路设计的优点。最后结合例子简要介绍了该方案在VERILOG HDL中的应用及其注意事项。     

嵌入式计算机的普及与发展

提起嵌入式计算机,已是尽人皆知的事了,这里仅想就嵌入式计算机普及的重要性、发展的可能性及其基础技术等三个问题谈一点粗浅的看法.……