73、ABEL 顺序电路设计特性详解

ABEL 顺序电路设计特性详解

1. ABEL 状态图基础

在 ABEL 程序里，状态通常会被赋予符号名，这让我们能轻松地通过更改常量定义来尝试不同的状态分配。依据“状态图”中的信息，我们会为每个状态变量推导相应的方程。其中， state 关键字表明即将定义特定当前状态的下一状态和当前输出，而状态值则是定义当前状态下状态变量值的常量。过渡语句用于定义当前状态可能的下一状态。

ABEL 常用的过渡语句有两种：
- GOTO 语句：无条件指定下一状态，例如 “GOTO INIT”。
- IF 语句：根据任意逻辑表达式定义可能的下一状态。

IF 语句的结构如下：

IF LogicExpression THEN
    TrueState;
ELSE 
    FalseState;

状态图的结构如下：

state_diagram state-variables
state state-value 1 : transition statement;
state state-value 2 : transition statement;
...
state state-value 2n : transition statement;

2. 示例程序分析

下面是一个使用 ABEL “