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

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

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

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

飞思卡尔RS08内核和MC9RS08KA系列单片机

在线座谈(Online Seminar)是中电网于2000年推出的创新服务,通过“视频演示 专家解说 在线问答”三位一体相结合的形式,充分发挥网络平台的便捷性,实现了先进半导体技术提供商与系统设计工程师的实时互动交流,其形式和内容都广受电子行业工程师的好评。本刊每期将挑选一些精华内容整理成文,以飨读者。欲了解更多、更详细的内容,敬请登录http:／／seminar．chinaecnet．com。     

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以及智能卡功能。该系列理想地适用于如下设备的连接需求，