时序逻辑分析.ppt

时序逻辑分析电子科技大学光电信息学院陈德军时序逻辑分析.时序逻辑的分类异步时序逻辑状态机中触发器不是都使用同一个时钟同步时序逻辑状态机中触发器都使用同一个时钟本教材以研究同步时序为主第2页,共19页，星期六，2024年，5月电子科技大学光电信息学院陈德军同步时序逻辑分类时序逻辑的输入即刻输入(X)当前状态(Q)时序逻辑的输出即刻输入Y)下一个状态(Q*)次态现态其中:根据即刻输出的函数形式可以把同步时序逻辑分成两类各个触发器的输出触发沿来临后各个触发器的输出Meely机:Moory机:Meely机:即刻输出不仅与输出状态有关,而且还与即刻输入有关Moory机:即刻输出只与输出状态有关,而与即刻输入无关第3页,共19页，星期六，2024年，5月电子科技大学光电信息学院陈德军时序逻辑的几个重要方程输出方程:Meely机:Moory机:组合逻辑方程,描述即刻输出的方程激励方程:组合逻辑方程,描述各个触发器的输入方程,它为当前状态和即刻输入的函数状态转移方程:当前状态(现态)向下一个状态(次态)转移所依据的方程时序逻辑方程,其实就是将触发器的输入方程——激励方程带入触发器的特征方程后所得到的方程特征方程:触发器输入与其状态更新之间所建立的方程第4页,共19页，星期六，2024年，5月电子科技大学光电信息学院陈德军时序逻辑的描述方式对时序逻辑的描述，其实就是对时序逻辑的输出和状态描述根据所得到的输出方程和状态转移方程，可以推出该时序逻辑的状态转移方式和相应的输出形式有如下的描述时序逻辑的方式：1、转移/输出表：输入为触发器更新前的输出与即刻输入输出为触发器更新后的输出（由转移方程得到）与即刻输出（由输出方程得到）2、状态/输出表：输入现态与即刻输入输出为次态和即刻输出（其实就是将转移/输出方程中转移输出用状态来表示）3、转移/输出图和状态/输出图：将1，2中的转移关系或者状态关系用图形的形式描述4、波形图（时序图、定时图）：在已知时钟和激励输入波形的前提下，将通过对转移方程和输出方程的讨论而得到的触发器输出（状态）和即刻输出的波形第5页,共19页，星期六，2024年，5月电子科技大学光电信息学院陈德军时序逻辑分析步骤判断meelyormoore各个触发器的激励方程各个触发器的状态转移方程时序逻辑的输出方程转移表转移/输出表状态/输出表波形图逻辑功能将激励方程带入到特征方程中时序逻辑可以没有即刻输出没有输出则该电路是moore机第6页,共19页，星期六，2024年，5月电子科技大学光电信息学院陈德军时序逻辑分析例题1-1Ex1：请分析下面的时序逻辑，并判断该逻辑功能DQQNENCLKCLK1、没有即刻输出，则该电路是moore机2、激励方程3、状态转移方程4、转移表Q01EN010110Q*现态次态５、状态表设Ｓ为该逻辑的状态；如果Ｑ＝０，则为Ｓ０；如果Ｑ＝１，则为Ｓ１ＳＳ０Ｓ１EN01Ｓ０Ｓ*现态次态Ｓ１Ｓ１Ｓ０第7页,共19页，星期六，2024年，5月电子科技大学光电信息学院陈德军时序逻辑分析例题1-２５、状态表设Ｓ为该逻辑的状态；如果Ｑ＝０，则为Ｓ０；如果Ｑ＝１，则为Ｓ１ＳＳ０Ｓ１EN01Ｓ０Ｓ*现态次态Ｓ１Ｓ１Ｓ０６、状态图０１两个状态第一种画法ＱＥＮ＝１ＥＮ＝１ＥＮ＝０ＥＮ＝０Ｓ０Ｓ１第二种画法ＳＥＮ＝１ＥＮ＝１ＥＮ＝０ＥＮ＝０第三种画法Ｓ０Ｓ１ＳＥＮＥＮＥＮ’ＥＮ’７、逻辑判断Ｔ触发器：ＥＮ＝０，状态保持；ＥＮ＝１，状态翻转；第8页,共19页，星期六，2024年，5月电子科技大学光电信息学院陈德军时序逻辑分析例题2-1Ex2:请分析如下的时序逻辑电路,判断其逻辑功能DQQNCLKDQQNCLKACPY做适当的标注FF1FF0Q1Q0D1D0Q1’Q0’1、该逻辑电路的输出Y与输入A有关，所以为meely型同步时序逻辑电路2、激励方程3、状态转移方程4、激励方程第9页,共19页，星期六，2024年，5月电子科技大学光电信息学院陈德军时序逻辑分析例题2-25、转移/输出表10，0Q1Q0A0100011110Q1*Q0*，Y11，111，010，000，101，000，001，06、状态/输出表设S=Q1Q0为该状态机的状态；S1=00；S2=01；S3=11；S4=100