哈工大数字逻辑12单元.ppt

Unit 12;（二）不完全定义状态表的化简方法 ——用隐含表法;相容类 —— 俩俩相容的状态集合，称为相容类，如：若有(Si ,Sj )、 ( Sj ,Sm)和 ( Si ,Sm)，则有相容类（ Si , Sj , Sm）;例：;相容类：;④ 确定原始状态表的最小闭合覆盖集; 相容类 覆盖性 闭合性 a b c d e x=0 x=1 abd √ √ √ ac b acd √ √ √ ad b ace √ √ √ ad c ab √ √ ac b ac √ √ ad Φ ad √ √ a b ae √ √ a c bd ?? √ c b cd √ √ d b ce √ √ ad c; 找出覆盖集，方案很多，如： [ abd , ace ] [ abd , ce ] [ acd , ab , ae ] ……; 讨论闭合性：; ace ;异步时序逻辑设计;异步时序电路中的状态分为稳定状态和不稳定状态两种 异步时序电路中要求只有在电路处于稳定状态时，输入信号才能发生改变，即每次输入信号发生变化后，必须等电路进入稳定状态，才允许输入信号再次发生改变;异步时序电路中： 外部时钟脉冲并不一定都送到各触发器的时钟端 输入信号都以脉冲形式出现 0——表示没有输入脉冲 1——表示有输入脉冲 3. 在同一时间内，输入脉冲只在一个输入端上出现，不允许两个脉冲同时输入。n个输入端有n＋1个输入组合;例：异步时序中，X1X2X3是三个输入端，有四种输入组合：000、001、010、100 其中： 000——表示没有脉冲输入，不会使电路状态发生变化，为无效输入组合。 011、101、110、111是不允许出现的组合;例1：试用DFF设计一个X1 － X2 － X2脉冲序列检测器，其中X1 、X2为不同时出现的脉冲;X1;② 状态转换情况;④ 状态表;结论：S1S3、 S1S2 应取相邻编码;X1 X2 Y1 Y2 Y1n+1 Y2n+1 CP1 D1 CP2 D2 Z 1 0 0 0 0 0 0 × 0 × 0 1 0 0 1 0 0 0 × 1 0 0 1 0 1 0 0 0 1 0 0 × 0 1 0 1 1 × × × × × × × 0 1 0 0 0 1 0 × 1 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 1 0 1 0