基于状态机的ROM接口电路模型

在芯片设计中会经常使用到ROM,而ROM又经常作为片外存储器被所设计的芯片进行读写操作,在这里就需要设计接口电路用来配合ROM和设计的芯片.ROM多为异步工作方式,如果设计的电路为同步电路,之间又存在着接口时序配合的问题.文中介绍一种基于状态机的ROM接口电路模型.该模型有两个特点:一是采用状态机实现同步时序电路与ROM异步时序电路的接口时序配合;二是实现与具有不同时间参数ROM接口电路的兼容.该模型的设计结果通过了FPGA验证,并在ASIC芯片中得到运用.     

针对同步时序电路VHDL设计的有效模型判别器VERIS

介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案-一个有效的符号模型判别器VERIS,该模型判别器利用同步时序电路设计的特点以及待验证性质的局部性,可显著地减少有限状态机（FSM）的状态空间;大大地提高可达性分析和性质验证的速度;同时,实现了反例生成机制,实验结果表明,与Deharbe的模型判别器相比,用这个模型判别器验证一些基准电路更加适用于同步时序电路。     

时序逻辑电路的分析

在历年数字电子技术考研题目中,时序逻辑电路的分析是要求重点掌握的也是必考的,时序逻辑电路的分析分同步和异步时序电路,因此,本文就同步和异步时序电路分析的题型,列举几个例题,描述出一个完整的解题思路,帮助读者提高对数字电路的解题能力时序逻辑电路的分析步骤一般有如下几步:1.看清电路根据给定的电路,首先明确电路的各个组成部分及输入、输出信号,再确定电路类型是同步时序电路还是异步时序电路,是Moore型电路还是Mealy型电路。2.写出方程⑴由电路中组合逻辑电路部分的逻辑关系,列出每个驱动方程。它反映了各触发器输入信号的组合…     

用主机接口以异步方式实现DSP与PC机间通信

ADSP2106X的主机接口(HPI)可采用异步或同步两种方式与主机通信,从而可构成主从式系统.ADSP2106X主机接口采用异步方式与AT总线连接,以实现与PC机间通信,同时对用到的信号以及控制时序作了详细说明.设计了ADSP2106X主机接口在异步方式下与AT总线连接的具体电路,对该电路的工作原理进行了深入分析.详细讨论了使用该电路实现PC机与DSP间通信的方法,对于使用DSP主机接口构成主从式系统的设计具有很好的参考价值.     

异步时序电路分析一种OBDD方法

对异步时序电路的分析和使用是一个比较困难的问题,所以,异步时序电路的实际应用范围远不如同步时序电路,通过改进JRBurch等提出的分析方法,使之适用于异步时序电路,该方法使用基于OBDD的布尔特征函数来表示电路的转移关系,并通过基于OBDD的布尔函数的运算涞确定异步时序电路的稳定状态,及当输入改变时电路的下一个稳定状态,由此可实现对电路特性的精确描述。     

同步和异步时序逻辑电路统一设计的新方法

介绍了一种新的时序电路的设计理论与方法,实现了同步、异步电路的设计过程的统一。该方法的特点是直接从时序电路的状态转换图(STD)获得触发器的激励条件和时钟脉冲;设计原理简单,易于理解,使设计更直观清楚,比传统方法简便、快捷,避免了对状态方程、驱动方程的复杂计算;该设计方法过程可以采用程序实现,实现了时序电路设计的程序化、自动化。     

故障自检出的异步时序电路

本文探讨故障自诊断异步时序电路的设计问题。研究了异步时序电路次状态方程组的故障特性,提出故障自检出异步时序机的状态分配法。电路实现的单故障代码完全取决于它的次状态方程组,且单故障检出是实时的。     

基于STN LCD驱动控制芯片的MPU接口电路的设计

设计一种应用于STNLCD驱动芯片中的可支持多种类型MPU的接口电路,该电路在整个芯片中用于为内部电路提供数据,为电路的正常工作提供所需时序,并在同类设计中率先支持I^2C总线协议。简单介绍了MPU接口电路的设计要求,重点描述了MPU接口电路中各个模块的设计。采用Verilog对所设计的接口电路功能进行了仿真验证,并且整个芯片用SMIC0．25μm工艺得到了实现。     

ISP技术在PCI总线接口设计中的应用

本文介绍了使用Lattice公司的ISP器件ispLSI8840-110LB432芯片设计PCI总线数据采集卡的接口电路，并且用VHDL语言实现PCI总线目标模块的设计，详细介绍了配置空间的设置和时序状态机的设计方法。     

EPP并行通信接口同步设计

针对异步器件在工程实践中难以控制时序,并且EDA工具所给予的支持也不如同步器件等特点,提出了一种以状态机为控制核心的同步化EPP并行通信接口的设计思路,使EPP协议的操作时序更加清晰、易于控制,电路更加稳定、可靠。此设计思路也可以推广到PS/2和ECP等并行接口的同步化设计。     

基于FPGA的MDDI数据处理电路实现

介绍了一种基于FPGA的MDDI(mobile display digital interface)数据处理电路设计;基于单片集成AM-OLED驱动控制芯片的设计需求以及并行数据总线在移动显示设备上存在的不足,设计了MDDI数据处理电路;MDDI作为一种高速串行移动显示数字接口标准,具有连线数量少,信号传输可靠性高,低功耗等特点,广泛应用于移动显示终端领域;所设计的MDDI Type2主端数据处理电路采用两级状态机控制内部电路,主状态机用于控制从状态机的状态切换,从状态机则用于实现MDDI数据的生成;通过加入可配置寄存器,实现对数据包生成和接口模式的控制;采用Verilog语言编写RTL级代码实现MDDI Type2数据处理电路软核;使用Xilinx工具综合的结果表明,该数据处理电路能够支持480-RGB×320、26万色的AM-OLED显示屏,数据传输速率可达180 Mbps,其性能指标满足系统设计要求。     

激光雷达集成电路存储单元上电复位状态机设计

为了提高激光雷达集成电路存储单元上电复位的稳定性,提出基于集成DSP的激光雷达集成电路存储单元上电复位状态机设计方法。构建激光雷达集成电路存储单元复位状态机的总体结构模型,采用内核电源电路进行单极点高通滤波控制,通过由DSP集成信息模块等组成的上电复位机控制的方法,进行激光雷达集成电路存储单元的程序加载和基线恢复控制,通过基线恢复器实现激光雷达集成电路存储单元的掉电复位和连通性测试,实现激光雷达集成电路的逻辑时序控制和上电状态机设计,实现激光雷达集成电路存储单元的硬件优化设计。仿真结果表明,设计的激光雷达集成电路存储单元上电复位状态机稳定性较好,集成控制性能较强,提高了激光雷达集成信号采集能力。     

基于ARM+Linux平台的USB指纹采集模块设计实现

采用FPS200指纹采集芯片的USB模式,内部ROM功能在ARM+Linux平台下实现指纹的采集,完成了硬件和软件的设计,而对于软件需要完成USB的驱动程序和应用程序的设计.FPS200的USB功能利用芯片的手指自动检测电路探测是否有指纹来产生中断,将ISR(中断状态寄存器)的值传到端点2.为了快速地响应中断,利用异步...     

基于AVR单片机的SPI接口的实现

介绍了ATmega16单片机的SPI串行通讯原理,并设计了串行Flash存储器AT45DB021B与ATmega16单片机的硬件接口电路,这种方式对于简化电路设计和扩展系统存储容量具有重要意义。     

基于Lyapunov理论的异步电机定子绕组匝间短路故障检测系统设计

为实现对定子绕组匝间短路故障行为的精准识别，确保异步电机的稳定运行状态，设计了基于Lyapunov理论的异步电机定子绕组匝间短路故障检测系统。在DSP外围电量回路中，设置ARM处理器与步进电机驱动模块，采用模数转换单元结构，调节电量互感装置的实时运行状态，实现对异步电机定子绕组匝间短路故障检测系统硬件设计。根据Lyapunov函数定义条件，确定Nussbaum增益参数取值范围，在此基础上，定义Lyapunov算法模型，再通过计算故障预测特征的方法，求解定子绕组的短路故障电压方程与匝间电感参数，对定子绕组匝间短路故障特征进行分析，实现异步电机定子绕组匝间短路故障检测。实验结果表明，所设计系统可以有效控制定子绕组匝间短路故障电流和电压检测结果与标准检测结果之间的差值水平，能够精准识别定子绕组匝间短路故障行为，保障异步电机的稳定运行状态。     

工控机与单片机主从分布式控制系统串行通信

分析了工控机与 AT89C2 0 5 1单片机组成的集散式控制系统和其串行通讯接口的异步通讯原理 ,对其硬件接口电路进行了研究 ,设计了由二者组成的主从式控制系统硬件接口电路 ,同时提出一种新的软件设计方法     

Model matching for asynchronous sequential machines with adversarial inputs using state bursts

Asynchronous sequential machines are referred to as finite state machines in which state changes are not governed by a global clock. This paper presents model matching for asynchronous sequential machines where an unobservable adversarial input can infiltrate and provoke unauthorized state transitions. The objective is to build an automatic state feedback controller so that the closed-loop system can match a prescribed model and all the unauthorized transitions by adversarial inputs can be invalidated. We address reachability and detectability properties of the asynchronous machine with adversarial intervention, and present necessary and sufficient conditions for the existence of appropriate controllers that realize model matching. Whenever controllers exist, algorithms for their design are outlined and an experimental verification is provided.     

异步FIFO的模型检验方法

跨时钟域(Clock Domain Crossing,CDC)设计和验证是SOC系统芯片设计的关键问题。讨论了异步FIFO的模型检验方法,利用模型检验工具SMV,建立了异步FIFO的有限状态机模型,使用时序逻辑LTL对该模型和属性进行了描述和验证。实验结果达到要求,同时表明该方法是行之有效的。与传统的模拟和仿真等验证方法相比较,模型检验具有能够自动进行、验证速度快、不用书写测试激励等优点。     

异步电路的静态数据流图模型及其性能分析

静态数据流图是异步电路的一种抽象模型,具有灵活性高、易于理解的优点.基于静态数据流图的一种形式化的执行语义,提出了一种适合于性能分析的静态数据流图的Petri网模型,并基于该模型提出了一种性能评价方法.该方法具有速度快、灵活性高的优点,特别适合大规模异步电路设计早期的性能分析.该模型比静态数据流图的传统Petri网模型在规模上小一倍,而且避免了引入非标准的read-arc.通过实验,该模型和性能评价方法的有效性得到了充分的验证.     

基于FT245BM和FPGA的USB接口设计

介绍了USB协议芯片FT245BM的工作原理,设计了FT245BM与FPGA的接口电路,给出了FPGA发送和接收数据帧状态机的Verilog语言的描述,并介绍了PC机软件的设计方法。该电路被成功地应用到光纤陀螺多路测试系统中,简化了电路设计,提高了测试效率。该设计具有很强的通用性。