基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。     

基于PCI总线的高速实时数据采集系统

本文介绍了一种基于PCI总线的高速实时数据采集系统的设计与实现方法．主要讨论了高速数据采集的存储与传输的硬件解决方案，以及该系统的控制逻辑的实现，最后给出了控制逻辑仿真波形。     

PCI接口芯片s5935及其应用

s5935是AMCC公司生产的PCI接口芯片 ,可实现直通 (PASS-THRU)、邮箱 (MAILBOX)、FI FO/DMA三种工作方式。文章简要介绍了这三种工作方式 ,并给出了s5935的WDM驱动编程。     

基于PCI总线的扫描电镜图像采集系统

图像采集系统是扫描电镜的一个重要组成部分，用于控制扫描电镜的扫描电源，视频图像采集，数字化与显示，电镜主控计算机与底层微机板的通讯和电镜照相，本图像采集系统基于PCI总线接口设计，硬件主要设计采用FPGA技术，实现了数字电路的模块化设计，集成度和灵活性高，目前，电镜图像卡已达到所要求的设计水平。     

基于TS101的PCI接口高速数据采集系统的设计

给出了基于TS101和PCI的双通道数据采集处理系统的设计方案。首先介绍了ADI公司新型数字信号处理(DSP)微处理器TS101和FLYBY数据传输模式,阐述了系统结构和工作原理,最后对如何利用TS101的FLYBY接口提高数据采集、存取效率和数据系统的逻辑控制进行了详细的论述。     

凌华科技推出mIPC-E系列紧凑型壁挂整机

Intersil公司宣布推出一个免费的．基于Web的交互式工具．可以模拟运算放大器元件．帮助用户在Intersil众多产品中选择合适的器件。根据用户提供的输入和输出规格．运算放大器的iSim工具将找出所有适合于给定应用的Intersil器件。大多数情况下．也可通过仿真获得电路性能的即时反馈。     

数字家电元器件

ZSP410/ZSP520/ZSP560：缓存DSP核；TrueStore RC7200：90纳米读取通道；CX23885：PCI Express广播解码器；BTG215：移动TV解决方案BTG215。[编者按]     

大幅降低成本的PC与消费类电子设备PCI CardBus控制器

日前，德州仪器(TI)借助其在PC连接解决方案方面的强大实力，宣布推出了业界最新系列的集成PcI CardBuS控制器，其中包括1394a (FireWire(r))、CardBus以及智能卡功能。该系列理想地适用于如下设备的连接需求，     

PCI总线

一、概述 PCI(Peripheral ComponentInterconnect)总线是1991年下半年由Intel公司首先提出的,并立即受到了工业界的重视。1992年6月,计算机界的一些主要公司联合起来成立了一个PCI集团(全名为PCI Special Interest GrouP,简称SIG),以共同建立、发展和推广PCI总线标准。目前,各主要计算机公司都加入了这个组织,它由一个领导委员会领导,Intel作为PCI的发起者也是该领导委员会的永久成员。去年11月,在SIG成员会议上选出了IBM、DEC、COMPAQ、Apple、