《计算机组成原理》（运算器）多媒体模拟实验教学

介绍如何应用计算机设计《计算机组成原理》的实验教学，应用C 编写功能函数来模拟各种芯片的工作，使同学们在学习中更直观的了解芯片的工作。所介绍的程序是对运算功能发生器(74LS181)的模拟编程，完成32种算术逻辑运算实验。     

单片机复位状态及外设复位信号的处理

在单片机应用系统工作时，由于各种原因会经常进入复位状态，单片机在复位状态下各寄存器将置初值，单片机通常采用硬件、软件看门狗电路来监视外设复位情况。     

一种面向测试的RTL行为抽象与蕴含方法

针对寄存器传输级（register transfer level,RTL)行为的抽象，提出了一种层次化的带条件的表示，这种抽象的行为是面向测试的，它不仅表达简单，而且能很方便地进行蕴含操作，通过抽象，电路可以规范为行为集，并代替电路本身进行功能测试向量的生成，在测试生成过程中，大量地应用蕴含操作何以使其中的行为得到简化，并极大地提高了系统的效率。     

GSM中归属位置寄存器数据库的设计与实现

基于某种移动通信系统（ＧＳＭ）数字程控交换机归属位置寄存器（ＨＬＲ）数据库系统的工作原理,对ＨＬＲ数据库内容特别是用户数据进行详细分析,针对用户数据容量大的特点,设计出模块数据存储方案;并且通过定义数据特征描述表给出了独立于存储结构的用户访问模型和一组高效的ＡＰＩ函数。整个数据库设计方案数据冗余度小,操作简单快速,在应用层较好地屏蔽了数据的存储结构,数据调整灵活。     

可变2n点流水线FFT处理器的设计与实现

设计一种可以连续计算N点复数序列傅里叶变换(FFT)的流水线结构处理器,其序列长度N(为2的幂)可变.流水线结构由乒乓存储器将基本运算模块级联而成,对输入数据的顺序以及流水运算的级数加以控制便可计算不同长度序列FFT.给出了由序列长度控制输入数据倒序、旋转因子寻址以及数据输出的实现方法.数据采用块浮点表示,提高了运算精度.用硬件描述语言VHDL在寄存器传输级(RTL级)进行描述,并在单片FPGA上实现.该芯片可工作在80 MHz,连续计算时,处理长度为1 024点的序列仅需12.8 μs.     

进位反馈移位寄存器状态图分布的进一步研究

进一步研究了以奇数q为连接数的FCSR的所有q 1个周期状态的状态图的圈长和计数问题，使得FCSR的状态图分布与LFSR的状态图分布一样清晰。     

利用DLL技术实现化学虚拟仪器的端口操作

通过采用Windows下的动态链接库技术（DLL），在VC中将对端口寄存器的读写操作封装起来作成DLL供VB调用，实现了开发化学虚拟食品时对底层物理端口访问，极大地方便了后续软件开发。     

自动量程转换电路设计

介绍了双积分式 A/D转换器 CC1 44 3 3在宽范围电压测量中自动量程转换电路的设计及工作原理 .通过多路模拟开关与运放的组合设置了多个电压量程 ,应用 CC1 44 3 3的超欠量程信息控制双向移位寄存器的移位操作 ,获得了合适的量程标志 .通过量程标志对多路模拟开关及显示器小数点位置的控制 ,实现了量程的自动切换及表示 .应用辅助门电路及数据选择器解决了量程标志中边界问题及无效量程标志问题 .设计的电路具有测量电压范围宽、工作稳定可靠、显示直观等优点 .     

SRAM的一种可测性设计

用ETCO算法对SRAM进行了内建自测试设计．首先说明了设计的原理，进而对电路中所用的各个单元电路进行了设计，主要包括地址计数器、数据计数器和BIST控制器等．设计出的电路可针对具体的故障模型设置相应的测试长度，从而获得预期的故障覆盖率．测试时不需存储正确响应，并可通过一个响应标志位表示检测的结果．可测性部分对电路硬件的开销较小，所设计的电路在工作站上已成功通过仿真，此电路可广泛应用于嵌入式SRAM，以降低电路的测试难度．     

A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证