基于VHDL的有限状态机设计
合集下载
第九次课 第7章 VHDL有限状态机设计到17页
10-1
接上页
10.1 VHDL状态机的一般形式
7.1.2 一般有限状态机的结构
10.1 VHDL状态机的一般形式
7.1.3 状态机设计初始控制与表述
（1）打开“状态机萃取”开关
（2）状态图观察
10.2 Moore型(莫尔型)状态机
莫尔型状态机的输出逻辑仅与当前状态 有关，与输入变量无关，输入变量的作 用只是与当前状态一起决定当前状态的 下一状态是什么，属于同步状态机。莫 尔型状态机框图如图所示。
实验与设计
7-4 五功能智能逻辑笔设计
（1）实验目的： （2）实验原理：
实验与设计
7-4 五功能智能逻辑笔设计
（1）实验目的： （2）实验原理：
示例文件：/KX_7C5EE+/EXPERIMENTs/EXP14_LOGIC_PEN/ （3）实验内容：
实验与设计
7-5 比较器加DAC器件实现ADC转换功能电路设计
10.1.2 一般有限状态机的结构 1. 说明部分 p259 位置一般在ARCHITECTURE BEGIN 之间
2. 主控时序进程 负责状态机转换和时钟驱动下负责状态转换的进程， 状态机是随外部时钟信号，依同步时序方式工作的
10.1 VHDL状态机的一般形式
10.1.2 一般有限状态机的结构 3. 主控组合进程p260（译码器进程）根据外部输入的控制信号，以及来自状态 机的内部其他主控的组合或时序进程的信号，给出当前状态的状态值及确定下 个状态。
4. 辅助进程 配合状态机工作的组合进程或时序进程
VHDL有限状态机
P260某生产车间共分5道工序,（S0,S1,S2,S3,S4） 1）首道工序S0为粗分拣车间，工序号为5号，红色 按钮按下表示继续分拣，绿色按钮按下表示完成去 下道工序，下道工序为S1； 2）S1为清洗车间，工序号为8号，红色按钮按下表 示继续清洗，绿色按钮按下表示完成去下道工序， 下道工序为S2； 3）S2为消毒车间，工序号为12号，红色按钮按下 表示不合格，打回S0，绿色按钮按下表示完成去下 道工序，下道工序为S3；
10 VHDL有限状态机设计
LIBRARY IEEE; USE IEEE.STD_LOGIC_1164.ALL; ENTITY ADC0809 IS PORT( D: IN STD_LOGIC_VECTOR(7 DOWNTO 0); clk , reset : IN STD_LOGIC; EOC : IN STD_LOGIC; ALE , START ,OE : OUT STD_LOGIC; ADDA, LOCK_T : OUT STD_LOGIC; Q : OUT STD_LOGIC_VECTOR(7 DOWNTO 0) ); END ENTITY ADC0809 ; 说明部分： ARCHITECTURE bhv OF ADC0809 IS 状态类型定义， TYPE states IS (s0,s1,s2,s3,s4); 当前状态和次态信号定义 SIGNAL cs, next_state : states:=s0; SIGNAL REGL :STD_LOGIC_VECTOR(7 DOWNTO 0); SIGNAL LOCK : STD_LOGIC; BEGIN 锁存数据和锁存信号定义 ADDA<='0';
COM1 : PROCESS(cs,EOC) IS BEGIN CASE cs IS WHEN s0 => next_state <= s1; WHEN s1 => next_state <= s2;
WHEN s2 => IF EOC='1' THEN next_state<=s3;
ELSE next_state<=s2; END IF; WHEN s3 => next_state <= s4;
【例10-2】：AD0809控制器的设计
COM : PROCESS( cs , EOC) IS BEGIN CASE cs IS WHEN s0 => ALE <= '0'; START <= '0'; OE <= '0'; LOCK <= '0'; next_state <= s1; WHEN s1 => ALE <= '1'; START <= '1'; OE <= '0'; LOCK <= '0'; next_state <= s2; WHEN s2 => ALE <= '0'; START <= '0'; OE <= '0'; LOCK <= '0'; IF EOC='1' THEN next_state<=s3; ELSE next_state<=s2; END IF; WHEN s3 => ALE <= '0'; START <= '0'; OE <= '1'; LOCK <= '0'; next_state < '0'; START <= '0'; OE <= '1'; LOCK <= '1'; next_state <= s0; WHEN OTHERS => ALE <= '0'; START <= '0'; OE <= '0'; LOCK <= '0'; next_state <= s0; END CASE; END PROCESS COM; 主控组合进程： LOCK_T <= LOCK;
COM1 : PROCESS(cs,EOC) IS BEGIN CASE cs IS WHEN s0 => next_state <= s1; WHEN s1 => next_state <= s2;
WHEN s2 => IF EOC='1' THEN next_state<=s3;
ELSE next_state<=s2; END IF; WHEN s3 => next_state <= s4;
【例10-2】：AD0809控制器的设计
COM : PROCESS( cs , EOC) IS BEGIN CASE cs IS WHEN s0 => ALE <= '0'; START <= '0'; OE <= '0'; LOCK <= '0'; next_state <= s1; WHEN s1 => ALE <= '1'; START <= '1'; OE <= '0'; LOCK <= '0'; next_state <= s2; WHEN s2 => ALE <= '0'; START <= '0'; OE <= '0'; LOCK <= '0'; IF EOC='1' THEN next_state<=s3; ELSE next_state<=s2; END IF; WHEN s3 => ALE <= '0'; START <= '0'; OE <= '1'; LOCK <= '0'; next_state < '0'; START <= '0'; OE <= '1'; LOCK <= '1'; next_state <= s0; WHEN OTHERS => ALE <= '0'; START <= '0'; OE <= '0'; LOCK <= '0'; next_state <= s0; END CASE; END PROCESS COM; 主控组合进程： LOCK_T <= LOCK;
第7章 VHDL有限状态机设计
7-9 硬件消抖动电路设计
设计任务：FPGA中的去抖动电路十分常用，在以后的实验中会多次用到。 基于5E+系统的演示示例：/KX_7C5EE+/EXPERIMENTs/EXP41_Di_Tremble/
7-10 状态机控制串/并转换8数码静态显示
（1）实验原理： （2）实验任务1： （3）实验任务2： （4）实验任务3： 演示示例：/KX_7C5EE+/EXPERIMENTs/EXP43_74HC164_8LED/
7-4 五功能智能逻辑笔设计
（1）实验目的： （2）实验原理：
7-4 五功能智能逻辑笔设计
（1）实验目的： （2）实验原理：
示例文件：/KX_7C5EE+/EXPERIMENTs/EXP14_LOGIC_PEN/ （3）实验内容：
7-5 比较器加DAC器件实现ADC转换功能电路设计
（1）实验原理： （2）实验内容1： （3）实验内容2：
Moore型和Mealy型有限状态机的区别
接下页
接上页
接下页
接上页
接下页
接上页
状态编码方式
直接输出型编码 顺序编码 一位热码状态编码
7.5.1 直接输出型编码
7.5.1 直接输出型编码
7.5.1 直接输出型编码
接下页
接上页
7.5.1 直接输出型编码
Moore型有限状态机
输出时序：异步输出状态机 Moore型有限状态机的输出仅为当前状态的函数，
这类状态机在输入发生变化后再等待时钟的到来，时钟
使状态发生变化时才导致输出的变化。
Mealy型有限状态机
输出时序：异步输出状态机 Mealy型有限状态机的输出是当前状态和所有输入
第六章 状态机的VHDL设计
WHEN st1=>comb_outputs<="01"; --对应st1的译码输出“01” WHEN st3=>comb_outputs<="11"; IF state_inputs="00" THEN IF state_inputs="11" THEN --根据外部的状态控制输入“00” next_state<=st3; next_state<=st1; ELSE --在下一时钟后，进程REG的状态将维 next_state<=st0; 持为st1 END IF; ELSE END CASE; next_state<=st2; END PROCESS; --否则，在下一时钟后，进程reg的状 --由信号next_state将下一状态值带出此 态将为st2 进程，进入时序进程reg END IF; END behave; WHEN st2=>comb_outputs<="10"; --以下依次类推 REG和COM进程间一般是 IF state_inputs="11" THEN next_state<=st2; 并行运行的，但由于敏感 ELSE 信号CLK的设置不同以及 next_state<=st3; END IF; 电路的延迟，在时序上进
END IF; END PROCESS; -由current_state将当前状态值带出 此进程，进入组合逻辑进程COM COM:PROCESS(current_state,stat e_inputs) --组合逻辑进程 BEGIN CASE current_state IS --确定当前状态的状态值 WHEN st0=>comb_outputs<="00"; --初始态译码输出 IF state_inputs="00" THEN --根据外部的状态控制输入“00” next_state<=st0; --在下一时钟后，进程REG的状态 维持为st0 ELSE next_state<=st1; --否则，在下一时钟后，进程REG 的状态将为st1 5 END IF;
有限状态机的VHDL设计
8.4 米立状态机设计（续2）
例8.3四状态米立状态机的描述。
COM：PROCESS (state, input) -- 依据当前状态和输入信号决定输出信号，与时钟无关 BEGIN CASE state IS WHEN s0=> IF input = '0' THEN output <= "00"; ELSE output <= "01"; END IF; WHEN s1=> IF input = '0' THEN output <= "01"; ELSE output <= "10"; END IF; WHEN s2=> IF input = '0' THEN output <= "10"; ELSE output <= "11"; END IF; WHEN s3=> IF input = '0' THEN output <= "11"; ELSE output <= "00"; END IF; END CASE; END PROCESS; END rtl;
8.3 摩尔状态机设计（续1）
例8.2 四状态摩尔型有限状态机的描述。
BEGIN PROCESS (clk, reset) -- 状态转换的时序进程 BEGIN IF reset = '1' THEN state <= s0; ELSIF (clk'EVENT and clk='1') THEN CASE state IS WHEN s0=> IF input = '1' THEN ELSE END IF; WHEN s1=> IF input = '1' THEN ELSE END IF; WHEN s2=> IF input = '1' THEN ELSE END IF; WHEN s3 => IF input = '1' THEN ELSE END IF; END CASE; END IF; END PROCESS; PROCESS (state) -- 输出由当前状态唯一决定的组合逻辑进程 BEGIN CASE state IS WHEN s0 => output <= "00"; WHEN s1 => output <= "01"; WHEN s2 => output <= "10"; WHEN s3 => output <= "11"; END CASE; END PROCESS;
基于VHDL语言有限状态机的电子密码锁设计
设计 ， 按功能划分为若干模块， 然后对每一个模块进 一步细分， 直 至得 到简单 易实现 的子模块 ，最后分别对各个子模块进行 Ｖ ＨＤＬ建模 。所设计的 电子密码锁 Ｆ Ｐ Ｇ Ａ 内部系统结构框 图 如图 １ 所示 。系统主要 由 ６个模块构成 ， 分别是控制模块、 计 数器模块 、 寄存器模块 、 比较模块 、 编码模块和显示模块 。
・密码脉冲 （ ｐ ｓ ｉ ） 作为计数 时钟 ， 计数
值 输 出作 为 寄 存 器 的地 址 ， 当 计 数器 计 到 ４时 ， 计 数 器计 满 信 号ｃ ｉ ｎ ＝ ｌ ， 如 果 通 过 比较模 块 比较 密 码 正 确 的 话 ， 则 进 入 密码 初 验正确状态 ， 如果密码错误 ， 则进入密码初验错误状态； 在 密
２ ． １控 制模 块 的设计 与 实现
控 制模 块是整个系统的核心，其主 要作 用是接 收按键 和 其 他模块传 递来的信 号，然后 根据 系统的功能产 生相 应的控 制 信号并送 到相 关的模块 ，同时控制钥匙信 号 （ 开锁或上锁） 和报警信号。控制模块采用有限状态机进行设计，根据系统
还包括无线二维码识别器、教学网络服务平台的设计及各部 件之间的多种无线通信对接、 音视频互动输 出等 ， 并且学习平 台的有效利用还离不开二维码教学资源的制作及相应网络资
源的建设 。
［ ４ ］ 徐凯， 钱燕， 魏宗群， 蔡俊 ， 仇捷． 基于 Ｔ ＭＳ ３ ２ ０ Ｄ Ｍ３ ６ ５的 ３ Ｇ 实时视频传输 系统 设计 与实现［ Ｊ ］ ． 浙江农业科学， ２ ０ １ ２ 基金项 目： 淮安信息职业技术学院科研基 金项 目“ 基于物联网 的互动学习平 台研 发（ 课题编号： ｈ ｘ ｙ ｑ ２ ０ １ ３ ０ １ ３ ） ” 研 究成果 。 作者简介： 龚佑红 （ １ ９ ８ ０ ． ） ， 女， 湖北公安人， 硕士 ， 讲师 ， 工程
用VHDL设计有限状态机的方法
用VHDL设计有限状态机的方法现代数字系统的设计一般都采用自顶向下的模块化设计方法。
即从整个系统的功能出发，将系统分割成若干功能模块。
在自顶向下划分的过程中，最重要的是将系统或子系统按计算机组成结构那样划分成控制器和若干个受控制的功能模块。
受控部分通常是设计者们所熟悉的各种功能电路，设计较为容易。
主要任务是设计控制器，而其控制功能可以用有限状态机来实现。
因而有必要深入探讨有限状态机的设计方法。
1 状态机设计的一般方法 传统的设计方法是首先绘制出控制器的状态利用VHDL设计状态机，不需要进行繁琐的状态分配、绘制状态表和化简次态方程。
设计者不必使用卡诺(1)根据系统要求确定状态数量、状态转移的条件和各状态输出信号的赋值，并画出状态转移(2)按照状态转移(3)利用EDA工具对状态机的功能进行仿真验证。
下面以离心机定时顺序控制器的设计为例，说明状态机的设计方法。
2 定时顺序控制状态机的设计 在化工生产中，离心机用于固、液分离的工艺流程，如系统工作方式如下:当系统处于初始状态或复位信号reset有效时，系统处于复位状态。
按下自动工作键C0，系统进入加料工序并开始自动控制离心机的运行。
以加水工序为例，首先在加水预置数状态(water_ld)时，状态机输出信号FO，开启加水电磁阀及指示灯，同时输出信号G控制选通加水时间预置数，在LD1信号的控制下，将预置数送入COUNTER1。
此时ENA1=1，J=1，使计数器为减计数状态。
然后，在下一个时钟周期进入加水工作状态(water)，并开始减计时。
当计时为零时，计数器发出借位信号R1作为此工序结束的信号送入状态机，使其转入。
基于VHDL语言的有限状态机设计方法
计算机技术与应用进展 ・ ０ ２ ４ ０
硬币，则给出 １ 盒饮料的同时找回５ 角钱。 这是一个属于Ｍ ａ 型状态机问 ｅｌ ｙ 题。 状态机的状态转换图 如图４ 所示， 投币 信号是输入逻辑变量， 用 Ａ和 Ｂ表示，Ａ １ ＝ 表示投入一枚 １ 元硬币，Ｂ １ ＝ 表示投入一枚 ５ 角硬币。输出信号用 Ｙ和 Ｚ表示， Ｙ１ ＝ 表示售出一盒饮料，Ｚ １ ＝ 表示找回 ５ 角钱。
Ｅ Ｉ Ｙ ＯＯＲ Ｉ ＮＴ Ｔ Ｍ ＥＩ Ｓ
ＰＲ（ Ｏ Ｔ
Ｃ ， Ｉ Ｓ Ｄ Ｌ Ｇ Ｃ 一Ｃ Ｏ Ｋ ＰＲ ： Ｔ ＿ Ｉ； ｄ Ｎ Ｏ ＬＣ
ＡＢ： Ｔ ｅ Ｉ； － Ｉ ｕ － ， Ｉ Ｓ Ｄ Ｌ ＧＣ Ｎ ｓ Ｏ ｐｔ ｎ Ｓ ｎｌ ｉａ ｇ Ｓ ｎｌ ｉａ ｇ
ＢＥ Ｎ ＧＩ
Ｒ Ｇ ： Ｒ Ｃ Ｓ （ｄＣ ） Ｏ Ｅ Ｓ ， Ｅ ＩＰ Ｒ Ｐ
ＢＥ Ｎ ＧＩ
Ｉ Ｒ ＝＇ Ｔ Ｎ Ｆ ｄ ０ ＨＥ ＇
Ｃ ｒ ｎＳａ ＜ Ｓ ； ｕｒ ｔｔ ｅ Ｏ ｅ ｔ ＝
Ｅ ＳＥ ＇ＶＥ Ｌ Ｉ ＣＰＥ ＮＴＡＮＤ ＣＰ＝＇ Ｔ Ｎ １ ＨＥ ＇
态译码电路较少。
３ ｏ 型状态机的描述 Ｍｏｒ ｅ
用Ｖ Ｄ 描述状态转换图如图３ ＨＬ 所示的状态机， 该状态 机属于 Ｍｏｒ型，状态机有四种状态，分别是 Ｓ ， ， ， ｏ ｅ Ｏ Ｓ Ｓ ｌ ２ Ｓ 。有一个状态输入信号 Ａ和一个状态输出信号 Ｙ ３ ｏ 用Ｖ Ｄ 描述 Ｍ Ｏ Ｅ型 ＨＬ Ｏ Ｒ 状态机时， 需要区分组合逻辑 电 路部分和时序逻辑电路部分。用一个 Ｐ Ｏ Ｅ Ｓ Ｒ Ｃ Ｓ 语句描述 Ｎ 组合逻辑电路和输出组合逻辑电路， Ｓ 用另一个 Ｐ Ｏ Ｅ Ｓ Ｒ ＣＳ 语句描述当前状态寄存器， 属于时序逻辑电路。 Ｐ Ｏ Ｅ Ｓ 用 Ｒ ＣＳ 语句描述时序逻辑电路要用到 Ｉ Ｃ ＇ Ｅ Ｔ Ｄ Ｆ Ｅ Ｎ Ａ Ｃ ＰＶ Ｎ Ｐ＝１ １ ． ＴＥ Ｈ Ｎ语句，并且要把时钟信号引入敏感信号列表中。因为 Ｍ Ｏ Ｅ型状态机的输出只与当前的状态有关，所以在描述 ＯＲ 图３ ｏ 型状态机状态转换图 Ｍｏｒ ｅ 组合逻辑电路的进程中用 Ｃ Ｓ－ Ｅ 语句判别有限状态 Ａ ＥＷＨ Ｎ Ｆ ＬＥＥ Ｄ语 － 机的四个状态， 把输出 信号变量的赋值语句放在 Ｉ－Ｌ ＥＥ Ｄ语句之后，而不能放在 Ｉ Ｅ Ｓ－Ｎ Ｆ Ｓ－Ｎ Ｅ
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
图F "#$% F
编码状态机仿真图
O*4#2$ ,-.-/ (.01#2/ ,#(3+.-/ 4#.$5.(
从仿真结果可以看出， 采用编码状态机的设计方法， 可以克服符号状态机综合后存在的不可靠问题 % 当进入无效状态时， 系统可以在下一个周期时恢复到正常状态， 即具有自启动功能 % 这样的状态机才会保 持稳定， 具有很好的可靠性 %
!"#$%& ’( )$&$*" +*,*" -,./$&" 0,#"1 ’& 23!4
,V+2 F75H4./，D0%+ Q7.5W;4
（ D-997/7 -> %97:<C4:;9 L.>-CH;<4-. ;.J D-.<C-9 %./4.77C4./， A74B4./ 1.4N7C=4<6 -> ?7:@.-9-/6， A74B4./ $)))""，D@4.;）
［$］潘松， 黄继业 ! %&’ 技术实用教程 ［(］ 科学出版社， ! 北京： "))" ! ［(］ *’+ ,-./， 01’+2 34567! ’8894:;<4-.= -> %&’ ?7:@.-9-/6 ! A7B4./：,:47.:7 *C7==， "))" !（ 4. D@4.7=7） ［"］黄正谨， 徐坚， 章小丽， 等 ! D*E& 系统设计技术入门与应用 ［(］ 电子工业出版社， ! 北京： "))" ! — — 2I4J4./ ;.J ’8894:;<4-.= ［ (］ 01’+2 F@7./5B4.， G1 34;.， F0’+2 G4;-594，7< ;9! D*E& ,6=<7H &7=4/.— ! A74B4./：*IK94=@4./ 0-I=7 -> %97:<C-.4:= L.JI=<C6，"))" !（ 4. D@4.7=7） ［M］李广军， 孟宪元 ! 可编程 ’,LD 设计及应用 ［(］ 电子科技大学出版社， ! 成都： "))) ! ［ (］ EL 2I;./5BI.， (%+2 G4;.56I;.! *C-/C;HH;K97 ’,LD &7=4/. ;.J ’8894:;<4-.= ! D@7./JI： 1.4N7C=4<6 -> %97:<C-.4: ,:47.:7 ;.J "))" !（ 4. D@4.7=7） ?7:@.-9-/6 *C7==， ［O］潘松， 王国栋 ! P0&E 实用教程 ［(］ 电子科技大学出版社， ! 成都： "))" ! ［(］ *’+ ,-./， Q’+2 2I-5J-./! *C-/C;HH;K97 ’,LD J7=4/. ;.J ’8894:;<4-.= ! D@7./JI： 1.4N7C=4<6 -> %97:<C-.4: ,:47.:7 ;.J ?7:@5 .-9-/6 *C7==， "))" !（ 4. D@4.7=7） ［R］$)ST L%%%， ［ ,］ ,<;.J;CJ P0&E E;./I;/7 U7>7C7.:7 (;.I;9 !
第 +! 卷 第 ! 期 #""/ 年 ! 月
北
京
工
业
大
学
学
报
IJKLE.’ J5 MCFIFEH KEF$CL6F)N J5 )CB%EJ’JHN
$OP( +! EO( ! I>:( #""/
! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !
!
结束语
使用 6789 设计的有限状态机并不总是稳定可靠的 % 当有限状态机的状态个数是 F 的乘幂时， 且采
"O
北
京
报
"))R 年
用的编码方式是二进制编码或格雷码编码时， 有限状态机是稳定可靠的 ! 若有限状态机的状态个数不是 " 的乘幂， 且采用符号状态机， 或是状态机的状态个数是 " 的乘幂， 而采用的是独热码编码方式时， 状态机就 不是稳定可靠的 ! 所以， 当设计有限状态机时， 如果状态数 ! 与所使用的状态寄存器数 " 满足 ! # " " 的 关系， 则既可以采用符号状态机， 也可以采用编码状态机 ! 若不满足此关系式， 则应采用编码状态机的方 法来设计， 这样才能保证所设计的有限状态机的稳定与可靠 ! 参考文献：
收稿日期：#""+2"-2"- ( 作者简介：宋泽明 （!3-4 1 ） ， 男， 黑龙江宝清人， 硕士 (
!!
北
京
工
业
大
学
学
报
!77L 年
!"!
符号状态机的设计 通常的有限状态机设计中， 使用 ! 个进程来描述状态机， 一个进程描述组合逻辑， 另一个进程描述时
序逻辑 " 在本设计中为了突出显示状态的转换， 只使用描述组合逻辑的进程， 并把当前状态 #$%&%’ 作为输 入， 次态 ($%&%’ 作为输出， 以便于仿真观察 " 而省略了时序逻辑进程 " 其源代码简写如下： )*+,&,- *’’’； .$’ *’’’ " $%/ )01*# 2234 " &))； 5&1’ 561 *$ ； %-5’ $%&%’ *$（ $%7， $%2， $%!， $%8， $%4） ’(/ 561； )*+,&,- *’’’； .$’ *’’’ " $%/ )01*# 2234 " &))； .$’ 90,6 " 561 " &))； ’(%*%- :$; *$ （ 50,% ：*( $%/ )01*# <’#%0, （2 /09(%0 7） ； #$%&%’ ：*( $%&%’； ($%&%’ ：0.% $%&%’； *(5.% （! /09(%0 7） ） ； 0.%5.% ：0.% $%/ )01*# <’#%0, ’(/ :$;； &,#=*%’#%.,’ +’=&< 0: :$; *$ +’1*( （ #$%&%’， 5,0#’$$ *(5.%） +’1*( #&$’ #$%&%’ *$ 9=’( $%7 > ? “777” ； 0.%5.% @ > “77”%=’( ($%&%’ @ > $%7； *: *(5.% > ’)$’ ($%&%’ @ > $%2； ’(/ *:； …… 9=’( $%4 > ? “277” ； 0.%5.% @ > “77”%=’( ($%&%’ @ > $%4； *: *(5.% > ’)$’ ($%&%’ @ > $%7； ’(/ *:； 9=’( 0%=’,$ > ? “222” ； 0.%5.% @ > ($%&%’ @ > $%7； ’(/ #&$’； ’(/ 5,0#’$$； ’(/ +’=&<； 使用 A-(5)*:- 进行综合， 目标器件选择 B)%’,)& 公司的 CDEF27G27， A-(5)*:- 默认其编码方式为独热码， 综合后采用 HBF I JDKA!进行仿真， 仿真结果如图 2 所示 "
有限状态机 567 （ 89:9;< =;>;< ?>@A9:<） 及其设计技术是实用数字系统设计中实现高效率高可靠逻辑控 制的重要途径 ( 用 $%’& 语言可以设计不同表达方式和不同实用功能的状态机， 都有相对固定语句和程 序表达方式， 只要把握了这些固定的语句表达部分， 就能根据实际需要写出各种不同风格的 $%&’ 状态
［!］ 绘制状态表、 化简次态方程等， 而利用 $%&’ 可以 机 ( 传统的状态机设计方法需进行繁琐的状态分配、
避免这些繁琐的过程， 直接利用状态转移图进行状态机的描述， 所有的状态均可表达为 B.6C D%CE 结 构中的一条 B.6C 语句， 而状态的转移则通过 F5 )%CE C’6C 语句实现 ( 此外， 与 $%&’ 的其它描述方式 相比， 状态机的 $%&’ 表述丰富多样， 程序层次分明， 结构清晰， 易读易懂； 在排错、 修改和模块移植方面也
第!期
宋泽明等：基于 6789 的有限状态机设计
FG
图! "#$% !
符号状态机仿真图
&’()*+ ,-.-/ (.01#2/ ,#(3+.-/ 4#.$5.(
［:， ;］ 从图 ! 的仿真结果可以看出， 使用 6789 语言设计的符号状态机， 在使用综合工具进行综合时， 综
合器会删除掉那些未定义的状态， 进而使生成的电路得到优化 % 有时这种优化并不可靠 % 例如： 电路上电 时进入一种无效状态， 或者由于工作环境的影响使得电路进入到一种不期望的工作状态， 那么电路就有可 能不能恢复到正常的工作状态 % 从传统的设计状态机方法的角度来看， 就是电路不具有自启动功能 % 即 该状态机具有不稳定性 % !"! 编码状态机的设计 为便于比较， 仍采用独热码编码方式编码， 对上述源程序包集合 <=> 改动如下： +#)5.5’ #///； 3,/ #/// % ,-4 +*$#0 !!?: % .++； @.0A.$/ @A$ #, （: 4*C2-* D） ； ,3)-’@/ ,-.-/ #, ,-4 +*$#0 B/0-*5 “DDDD!” ； 0*2,-.2- ,-D ： ,-.-/ ： E “DDD!D” ； 0*2,-.2- ,-! ： ,-.-/ ： E “DD!DD” ； 0*2,-.2- ,-F ： ,-.-/ ： E “D!DDD” ； 0*2,-.2- ,-G ： ,-.-/ ： E “!DDDD” ； 0*2,-.2- ,-: ： ,-.-/ ： E /24 @A$； 经 &’2@+#H’ 综合， 目标器件仍选择 I+-/5+. 公司的 "9JK!D=!D， 再采用 LIK M <9N&! 进行仿真， 仿真结 果如图 F 所示 %