用STATECAD快速设计有限状态机

有限状态机设计的关键是如何把一个实际的时序逻辑关系抽象成一个时序逻辑函数，传统的电路图输入法通过直接设计寄存器组来实现各个状态之间的转换，而用硬件描述语言来描述有限状态机，往往是通过充分发挥硬件描述语言的抽象建模能力，通过对系统在系统级或寄存器传输级进行描述来建立有限状态机。随着EDA工具的快速发展，通过CAD快速设计有限状态机自动化成为可能。     

基于与或逻辑的界面关系模型表示方法

作为用户与系统直接交互的途径,界面设计的好坏将影响用户对系统的第一印象,因此界面设计在软件工程系统设计中十分重要.传统有限状态机在表达复杂的界面状态关系时存在困难.我们引入与或图表示方法来表达初始界面到最终界面的业务流程问题求解过程,建立基于与或逻辑的界面关系模型,并给出模型的逻辑表示,讨论了利用逻辑推理和演绎实现模型语法和语义检查的方法.     

用STATECAD快速设计有限状态机

有限状态机设计的关键是如何把一个实际的时序逻辑关系抽象成一个时序逻辑函数,传统的电路图输入法通过直接设计寄存器组来实现各个状态之间的转换,而用硬件描述语言来描述有限状态机,往往是通过充分发挥硬件描述语言的抽象建模能力,通过对系统在系统级或寄存器传输级进行描述来建立有限状态机。随着EDA工具的快速发展,通过CAD快速设计有限状态机自动化成为可能。     

定时系统的VHDL设计

用VHDL硬件描述语言设计定时系统，定时采用时钟控制，并用Mealy有限状态机表示定时器的状态，并考虑了控制器的微程序设计实现，然后用VHDL进行了描述，并给出了主要部分的模拟结果。     

基于VHDL有限状态机控制器的设计方法

有限状态机作为形式化描述方法具有独特优点,在利用VHDL进行电子系统控制功能的设计和实现中,有限状态机已成为有力的手段和途径。通过一个循环控制器的设计实例,说明了利用有限状态机的基本流程和方法,并给出了程序与仿真结果。     

一种应用VHDL语言设计有限状态机控制器的方法

本文对利用VHDL语言设置有限状态机控制器的过程进行系统的论述，通过对控制器控制对象的时序分析，抽象出控制器的行为描述，并划分控制器的状态，在此基础上，针对ADC0809模数转换器的控制器进行设计，并通过了系统仿真和逻辑分析仪测试，从而给出了利用VHDL语言设计有限状态机控制器的一种方法。     

基于FPGA的UART电路设计与仿真

文章介绍了一种采基于FPGA实现UART电路的方法,并对系统结构进行了模块化分解以适应自顶向下的设计方法。采用有限状态机对接收器模块和发送器模块进行了设计,所有功能的实现全部采用VHDL进行描述,并在Modelsim环境下进行了仿真,结果表明了该设计的正确性和可靠性。     

基于Verilog HDL的高速可综合FSM设计

有限状态机（finite state machine,FSM）广泛应用于数字系统的控制器设计中,用Verilog设计的可综合状态机有多种编码风格,通常这些编码风格生成的状态机带有组合逻辑输出.时序分析指出组合逻辑输出型状态机不适合高速系统,提出了一种适合高速系统的寄存器输出型状态机.最后通过实例给出了寄存器输出型状态机的状态编码方法及其可综合Verilog编码风格.     

有限状态机在模拟演练系统中的应用

在研究了有限状态机的基本原理和在游戏开发中的应用, 并结合应急模拟演练系统的实际需求, 通过在Delta3D引擎中实现一个有限状态机控制器组件解决系统角色状态控制的问题. 首先介绍了有限状态机的基本原理和Delta3D引擎架构的特点, 设计了一个有限状态机的例子并详细介绍了有限状态机控制器组件的总体结构、基本功能和具体实现方式.     

基于有限状态机的协议测试方法

该文首先介绍了有限状态机的一般理论并描述了两种确定型有限状态机模型,之后将有限状态机模型引入通信系统中,并以GTP协议为例介绍了通信协议报文在GPRS网络中流转的过程及测试方法。     

使用概率规则文法评估人机界面可用性

提出一种在界面系统设计规约的基础上使用的可用性评估方法.首先使用有限状态自动机抽象界面系统设计,根据概率规则文法对有限状态自动机的状态转换概率进行预测;然后结合用户的熟练程度提出了界面可用性评估算法;最后讨论了一个手机界面的可用性计算实例.文中方法能够在界面系统生命周期的早期使用,以较早地对不同设计方案进行比较,降低开发风险.     

一个多机器人制造系统的设计与实现

本文构建了一个包含多个机器人和自动化物流单元的柔性制造系统，其中机器人部分包括一个自动导引小车和两台装配机器人，物流单元部分包括一个小型立体仓库和一条自动传输线．系统采用递阶分散式的体系结构，每个作业单元均有独立的控制器，并通过串行接口实现与主控计算机的实时通讯．在对系统作业任务进行有限状态机建模的基础上，采用基于事件的控制思想实现了多个作业单元的协调控制，提高了系统的柔性和鲁棒性，实验结果也证明了系统设计的有效性．     

机床控制流程的一种有限状态机表达方法

面向过程的IEC-1131-3规范已难以满足机床 控制流程表达新的应用需求,为了更好地支持控制器开放式体系结构设计和面向对象系统实 现技术,我们扩展了有限状态机的基本概念,提出了一种机床控制流程表达的分层式有限状 态机(FSM)方法．本文首先对分层式FSM的组织方法、特性、形式定义等进行了详细讨论;为 了进一步阐明这种方法的表达特性,我们介绍了一种分层式FSM表达的机床控制器总体结构 ,并讨论了这种结构下的开放性设计表达和系统实现等相关问题．     

FPGA中设计FSM实现TigerSHARC DSP link口加载

介绍了一种在FPGA中实现的有限状态机FSM,可以通过link口对TigerSHARC信号处理器进行程序加载。通过信号处理器系统的处理器之间的link互联结构,FSM可实现对整个信号处理系统的加载功能。在FPGA中设计加载状态机及信号处理系统与其他系统的接口,使信号处理系统更加简单、高效。     

基于有限状态机的视频编解码器设计

在实时嵌入式多媒体通信系统中，分析了基于帧的视频编解码器设计方式对语音编解码器、通信模块实时性的影响，利用状态转换图分析了视频编解码器的有限状态机(FSM)。实验结果表明，基于状态机的设计方法提高了嵌入式系统的实时性。     

基于加速度采集系统的无线输入设备的研究*

研究基于加速度采集系统的无线输入设备,介绍了硬件系统的组成和工作原理,重点讨论了有限状态机FSM和COM组件软件技术的应用,用C 语言给出了FSM的实现框架和COM接口函数的描述,并基于加速度信息采集平台用C#语言开发了一个测试程序,既充分展示了采用FSM和COM技术的优点,同时说明了基于该系统的虚拟键盘鼠标系统实现方案的可行性.     

一种复杂BIU的设计及其CPLD实现

文章分析了可配置成多机系统的嵌入式微处理器中的总线接口单元的结构。文章首先详细分析了这种情况下总线接口单元的控制通路。然后从采用格雷方式FSM编码、FSM有效描述和接口信号的正确描述三个方面讨论该部件的高效实现。     

Modeling of a dynamic dual-input dual-output fast steeringmirror system

A modeling method is proposed for a dynamic fast steering mirror (FSM) system with dual inputs and dual outputs. A physical model of the FSM system is derived based on first principles, describing the dynamics and coupling between the inputs and outputs of the FSM system. The physical model is then represented in a state-space form. Unknown parameters in the state-space model are identified by the subspace identification algorithm, based on the measured input-output data of the FSM system. The accuracy of the state-space model is evaluated by comparing the model estimates with measurements. The variance-accounted-for value of the state-space model is better than 97%, not only for the modeling data but also for the validation data set, indicating high accuracy of the model. Comparison is also made between the proposed dynamic model and the conventional static model, where improvement in model accuracy is clearly observed. The model identified by the proposed method can be used for optimal controller design for closed-loop FSM systems. The modeling method is also applicable to FSM systems with similar structures.     

一种程控变频电源GPIB接口的设计与实现

介绍一种基于FPGA的程控变频电源GPIB接口设计方法,采用VHDL语言在XC3S400芯片上实现专用接口芯片NAT7210的功能.介绍了程控变频电源控制电路和FPGA实现的功能块框图,并给出了讲者接口功能的状态转换图及其实现方法,最后介绍了在PIC24单片机上实现GPIB驱动的设计方法.