时序逻辑电路2.ppt

* 北京理工大学 信息科学学院 * 【例7.21】根据例7.18中建立起来的自动售货机控制器的逻辑模型——最简状态编码表，利用“次态K图法”导出该控制器的逻辑方程组并画出逻辑图。假设电路使用JK触发器作为存储器，要求电路能够自启动。 * 北京理工大学 信息科学学院 * 右表的形式已经和卡诺图（次态K图）很接近了。在此表中加入无效的状态编码并将状态编码按格雷码排序，就得到了次态K图。 * 北京理工大学 信息科学学院 * 右表的形式已经和卡诺图（次态K图）很接近了。在此表中加入无效的状态编码并将状态编码按格雷码排序，就得到了次态K图。 把此表“一分为七”，就得到了次态Q2n+1、Q1n+1、Q0n+1和输出Z、Z2、Z1 、Z0共7张卡诺图。 * 北京理工大学 信息科学学院 * 输出Z、Z2、Z1、Z0均为现态Q2n、Q1n、Q0n和输入X1、X0——5变量的逻辑函数。 * 北京理工大学 信息科学学院 * 输出逻辑函数 * 北京理工大学 信息科学学院 * 次态Q2n+1、Q1n+1、Q0n+1分别是现态Q2n、Q1n、Q0n和输入X1、X0的5变量逻辑函数。 根据次态K图的圈组合并情况并利用“无关项取值原理”，就可确定无效状态在各种输入组合激励下所欲转 向的次态和输出，从而确定自启动性。 * 北京理工大学 信息科学学院 * * 北京理工大学 信息科学学院 * * 北京理工大学 信息科学学院 * * 北京理工大学 信息科学学院 * * 北京理工大学 信息科学学院 * * 北京理工大学 信息科学学院 * * 北京理工大学 信息科学学院 * 确定驱动函数（JK）： 由次态Qn+1的表达式确定驱动信号JK的根据是：Qn+1=JQn+KQn。 * 北京理工大学 信息科学学院 * 确定驱动函数（JK）： 由次态Qn+1的表达式确定驱动信号JK的根据是：Qn+1=JQn+KQn。 * 北京理工大学 信息科学学院 * 确定驱动函数（JK）： 由次态Qn+1的表达式确定驱动信号JK的根据是：Qn+1=JQn+KQn。 * 北京理工大学 信息科学学院 * 为避开从状态方程导出JK驱动方程这一繁琐的推导过程，可从状态机的次态K图中直接导出JK触发器的驱动方程、同时又能根据次态K图中卡诺圈的圈组情况来迅速地判断状态机的自启动性。 可以将次态Qn+1的卡诺图以现态Qn=0和Qn=1为分界线分成两个子卡诺图。其中，一个子卡诺图就是J的卡诺图（对应Qn=0）；而另一个子卡诺图就是K的卡诺图（对应Qn=1）。 由JK触发器特性方程Qn+1=JQn+KQn，注意到Qn=0时，Qn+1=J；而Qn=1时，Qn+1=K。 当现态Qn=0时，次态Qn+1的K图就是驱动信号J的K图；而当现态Qn=1时，次态Qn+1的K图就是驱动信号K的K图。 为了得到K的“与或”表达式，所以在K的卡诺图上圈“0”写“或”项，从而得到K的“或与”表达式，再在此表达式上运用“反演规则”或摩根定律，就可得到K的“与或”表达式。 * 北京理工大学 信息科学学院 * 判断自启动性。 在J的卡诺图上，被圈入卡诺圈的“无关项”取值是“1”，未被圈入卡诺圈的“无关项”取值是“0”；而在K的卡诺图上，被圈入卡诺圈的“无关项”取值是“0”，未被圈入卡诺圈的“无关项”取值是“1”。 当X1X0=00时，001→001，110→110，111→111，不能自启动。 * 北京理工大学 信息科学学院 * * 北京理工大学 信息科学学院 * * 北京理工大学 信息科学学院 * 驱动方程： * 北京理工大学 信息科学学院 * 驱动方程： * 北京理工大学 信息科学学院 * 驱动方程： * 北京理工大学 信息科学学院 * 输出逻辑函数： 驱动方程： 画出原理图 * 北京理工大学 信息科学学院 * 状态机的合理性 * 北京理工大学 信息科学学院 * * 北京理工大学 信息科学学院 * * 北京理工大学 信息科学学院 * 在导出逻辑方程组的两种方法中，“驱动表法”显得较为正统，它适用于使用所有类型的触发器作为状态机存储器的设计问题。 “驱动表法”需要先经历一个列写“状态转换驱动表”的过程(此过程较为繁琐)，然后再填写驱动信号的卡诺图,化简并导出驱动方程。在检验状态机的自启动性方面，“驱动表法”也显得较为麻烦。 “驱动表法”与“次态K图法”的比较与总结： 相比较而言，“次态K图法”却显得更为直截了当。它可以根据状态转换表和状态转换图直接填写次态的卡诺图——次态K图。在次态K图上“圈并组合”就可以得到电路的状态方程组。 在使用D触发器或JK触发器时，可以利用“无关项取值原理”直接在次态K图上根据卡诺圈的“圈组合并”情况而迅速地判断出状态机的自启动性。 但