第2章计算机系统概论.ppt

例12:以状态图的方法描述例9所描述的状态机。 STATE_DIAGRAM[Q1,Q0] STATE[1,1]: B=1; A=1; IF(S) THEN[1,1] ELSE[1,0]; STATE[1,0]: B=0; A=1; IF(S) THEN[1,1] ELSE[0,1]; STATE[0,1]: B=1; A=0; GOTO[1,1] STATE[0,0]: B=0; A=0; IF(S) THEN[1,1] ELSE[1,0]; * 可编程逻辑器件，是用户可以通过编程来实现各种逻辑功能的一类集成电路。 * 标识符主要用来标识器件、引脚、型号，变量等。 * Abel语言是由一个或多个相互独立的模块构成，每一个模块包含了一个完整的逻辑描述。 在方程中允许使用WHEN-THEN-ELSE语句。 方程的表达形式如下: Equations [WHEN condition THEN] [!] element = expression; [ELSE equations]; 或者 [WHEN condition THEN] equations; [ELSE equations]; 其中condition 为任何合法的表达式。 element 命名一个或一组信号，或一个实际集合的一 个标识符。 equation 为任何合法的表达式。 例： equations in IC13 A = B C # A; [W,Y]=3; WHEN B THEN A=B; ELSE A=C; 2) 真值表的形式 它以表格的形式描述了输出与输入逻辑之间的关系。真值表由表头向量和表格组成。它的关键字是TRUTH TABLE. (1) 表头向量 它的表达形式为: TRUTH TABLE(in ids-out ids) inputs-outputs; 或者 TRUTH TABLE(in ids:reg ids) inputs:regs outs; 或者 TRUTH TABLE(in ids:reg ids-out ids) inputs:regs outs-outputs; 其中：in ids为逻辑关系中的输入信号标识符。 out ids为逻辑关系中的输出信号标识符。 reg ids为逻辑关系中的寄存器型信号标识符。 inputs为逻辑关系中的输入信号。 outputs为逻辑关系中的输出信号。 reg outs为信号寄存后的输出。 这三种形式中第一种适合于描述组合逻辑，第二种适合于描述时序逻辑，第三种适合于描述既包含组合逻辑又包含时序逻辑的较复杂的逻辑电路。 符号-表示输入输出关系为组合型，符号:表示输入输出关系为寄存器型。 (2) 真值表格式 格式由真值表的表头向量定义，真值表本身即为按格式定义格式排列的一组输入输出信号。真值表中使用的所用信号必须是常量。 例：定义带使能的异或门 TRUTH TABLE in IC6 ([EN,A,B]-C) [0, .X., .X.]-.X; [1, 0, 0]-0; [1, 0, 1]-1; [1, 1, 0]-1; [1, 1, 1]-0; 例：定义一个简单的状态机。当前状态用放在一个集合里 的信号A,B表示，下一个状态用寄存器输出信号C,D表示， 它们也放在一个集合中。输出信号为一简单的组合型信号 E。 该状态机工作时，在各状态之间循环。当A=0,B=1时，将E置为低电平。 TRUTH TABLE in