实用状态机设计技术研讨.ppt

EDA技术及其应用 第6章 实用状态机设计技术 状态机可归纳为4个要素，即现态、条件、动作、次态。“现态”和“条件”是因，“动作”和“次态”是果。 ① 现态：指当前所处状态。 ② 条件：又称为“事件”。当一个条件满足，将会触发一个动作，或执行一次状态的转移。 ③ 动作：动作执行后，可以转移到新状态，也可以保持原状态。动作不是必需的。 ④ 次态：条件满足后创新建立的新状态。“次态”是相对于“现态”而言的；“次态”一旦被激活，就转变成新的“现态”了。 案例一：电梯门FSM 案例二：接收器FSM 6.1 有限状态机设计初步 6.1 有限状态机设计初步 6.1 有限状态机设计初步 6.1 有限状态机设计初步 6.1 有限状态机设计初步 6.1 有限状态机设计初步 COM:PROCESS (current _state, state _Inputs) --主控组合进程 BEGIN CASE current _state IS WHEN s0 = comb_ outputs= 5; IF state_ inputs = 00 THEN next_ state=s0; ELSE next _state=s1; END IF; WHEN s1 = comb _outputs= 8; IF state _inputs = 00 THEN next _state=s1; ELSE next _state=s2; END IF; WHEN s2 = comb _outputs= 12; IF state _inputs = 11 THEN next _state = s0; ELSE next _state = s3; END IF; WHEN s3 = comb _outputs = 14; IF state _inputs = 11 THEN next _state = s3; ELSE next _state = s0; END IF; END case; END PROCESS; END behv; 6.1 有限状态机设计初步 6.1 有限状态机设计初步 6.2 Moore型有限状态机设计 数字系统和FSM 在集成电路设计时，通常可以将系统划分为两部分，一部分是数据单元，另一部分是控制单元。 数据单元包含保存运算数据和运算结果的数据寄存器，也包括完成数据运算的组合逻辑。数据单元要产生输出信号，数据运算状态等有用信号。 控制单元用来产生信号序列，以决定何时进行何种数据运算，控制单元要从数据单元得到条件信号，以决定继续进行那些数据运算。 数据单元和控制单元中，有两个非常重要的信号，即复位信号和时钟信号。复位信号保证了系统初始状态的确定性，时钟信号则是时序系统工作的必要条件。 状态机通常在复位信号到来的时候恢复到初始状态，每个时钟到来的时候内部状态发生变化。 FSM要点 （1）moore和mealy的区别在于输出是否只和当前状态有关。 （2）状态机的两种基本操作：一是状态机内部状态的转换，另一是产生输出信号序列。 （3）状态机的分析可以从状态图入手，状态机的设计也可以从状态图入手。 6.2 Moore型有限状态机设计 6.2 Moore型有限状态机设计 6.2 Moore型有限状态机设计 6.2 Moore型有限状态机设计 6.2 Moore型有限状态机设计 6.2 Moore型有限状态机设计 交通灯控制器设计 6.3 Mealy型有限状态机设计 6.3 Mealy型有限状态机设计 6.3 Mealy型有限状态机设计 6.3 Mealy型有限状态机设计 6.3 Mealy型有限状态机设计 6.3 Mealy型有限状态机设计 6.4 状态编码 6.4 状态编码 6.4 状态编码 6.4 状态编码 6.4 状态编码 6.4 状态编码 6.5 非法状态处理 6.5 非法状态处理 6.5 非法状态处理 习 题 习 题 习 题 习 题 实验与实践 实验与实践 实验与实践 实验与实践 实验与实践 实验与实践 实验与实践 实验与实践 实验与