有限状态机的分析(第七节).ppt

VIII - Working with Sequential Logic ? Copyright 2004, Gaetano Borriello and Randy H. Katz 有限状态机的分析 状态最简化 最少的状态需要最少的状态位 最少的位需要最少的逻辑方程 状态最简化方法 行匹配法 蕴含表方法 状态分配策略 顺序编码 随机编码 单点编码 面向输出的编码 启发式编码 有限状态机的划分 例：简单的自动售货机 自动售货机在收到15美分之后就会给出一件商品，这台机器具有能够接收5美分和1角硬币的单个投币口，每次投入一枚硬币，其中机械传感器用来指示插入投币口是5美分还是1角，控制器的输出导致一件商品交到顾客手中 两个假设简化设计： 不找零 在每次使用前，机器都会复位 例：简单的自动售货机 2、有限状态机抽象表达 列出最终能给出商品的输入顺序: 3个5美分：N，N，N 2个5美分，再1角：N，N，D 1角，5分：D，N 5分，1角：N，D 2个1角：D，D 画状态图: 输入: N, D, reset, clk 输出商品: open 假设: 假设信号N和D从来不会同时为真 省略了自环 N=D=0 (no coin) 只将open信号为真时列出 例：简单的自动售货机 3、状态最简化： 状态S4～S8具有等价，可合并成一个状态 每个状态表示接受到钱的数量 例：简单的自动售货机 4、进行状态