状态输出表

Thecharacteristicisthatthestepsforanalyzingaclockedsynchronousstate-machinearealmostthesame.So,itwillbecomeverysimpleifwehavelearnedthebasicprinciples.NextReturn7.4ClockedSynchronousState-MachineAnalysisThegoalofasequentialcircuitanalysisistodeterminethenext-stateandoutputfunctionssothatthebehaviorofacircuitcanbepredicted.IntroductionInthissection,wewilldiscusshowtoanalyzeaclockedsynchronousstate-machine.It’soneofthemainemphasesinthiscourse.Turn-the-crankNextBackReturn7.4ClockedSynchronousState-MachineAnalysisSpecializedWordstransitiontable转换表statetable状态表state/outputtable状态/输出表statediagram状态图flip-flop触发器excitationequation激励（驱动）方程transition/stateequation转移/状态方程outputequation输出方程characteristicequation特性（征）方程2.Whataretheexcitationequation,transitionequation,andoutputequation?NextBackReturn7.4ClockedSynchronousState-MachineAnalysisReview1.Whatarethetwotypesthestate-machinestructureinclude?Whatcharacteristicdoesithaveforeachone?MealymachineMooremachineZ=G(Qn,X)Z=G(Qn)OutputequationExcitationequationTransitionequationNext-statelogicFStatememoryinputWOutputlogicG2.UseFandGtoconstructastate/outputtablethatcompletelyspecifiesthenextstateandoutputofthecircuitforeverypossiblecombinationofcurrentstateandinput.1.Determinethenext-stateandoutputfunctionsFandG.NextBackReturn7.4ClockedSynchronousState-MachineAnalysisTheanalysishasthreebasicsteps:3.PleasewritethecharacteristicequationsofDflip-flopandJ-Kflip-flop.Dflip-flopQn+1=DJ-Kflip-flopQn+1=J·Qn+K·Qn7.4.1AnalysisofStateMachineswithDFlip-FlopsQ0Q1D0D1ExampleI3.Drawastatediagramthatpresentstheinform-ationfromthepreviousstepingraphicalform.NextBackReturn7.4ClockedSynchronousState-MachineAnalysisENQENQD000ENQQENQQENQD010111MAX=Q1·Q0·ENNextBackReturn7.4ClockedSynchronousState-MachineAnalysisOutputequationMAX=Q1·Q0·ENTransitionequationsENQQENQQENQDQENQENQDQ0101111n10001n0ExcitationequationsENQENQD000ENQQENQQENQD010111Howcanweobtainthetransitionequationsfromtheexcitationequations?NextBackReturn7.4ClockedSynchronousState-MachineAnalysis100011011Q1Q00Transition/outputtableENMAXQQ1n01n1MAXQQ1n01n11S0S1S2S3S0State/outputtableENMAXS1n0000S0S1S2S3MAXS1nS1S2S3S00001MAX=Q1·Q0·ENENQENQQ0010nENQQENQQENQQ010111n1011000110000000101011010NextBackReturn7.4ClockedSynchronousState-MachineAnalysisS0S1S2S31/00/0Statediagram0/00/00/01/01/01/1SEN/MAX1S0S1S2S3S0State/outputtableENMAXS1n0000S0S1S2S3MAXS1nS1S2S3S00001Whatisthefunctionofthelogiccircuit?It’samodulo-42-bitbinarycounterwithenable.SimulationQ0Q1Q2D0D1D2NextBackReturn7.4ClockedSynchronousState-MachineAnalysis20010QXQXQD121021QQXQXQQDYXQQQD00220120121QQQQQQZ02122QQQQZExampleII02122QQQQZNextBackReturn7.4ClockedSynchronousState-MachineAnalysisOutputequationTransitionequationsExcitationequations121021QQXQXQQD20010QXQXQDYXQQQD002212102111QQXQXQQDQn2001010QXQXQDQnYXQQQDQ002212n0121QQQZNextBackReturn7.4ClockedSynchronousState-MachineAnalysisTransition/outputtable200110QXQXQQn01000001010011101001111011000001010011100101110111Q2Q1Q000XY1n01n11n2QQQ1n01n11n2QQQ10000111001110100111101111001011000010101001111011101n01n11n2QQQ1n01n11n2QQQ001011000010101001111011Z1Z21010100011101111NextBackReturn7.4ClockedSynchronousState-MachineAnalysisStatediagramS0S1S3S21x/100x/10SXY/Z1Z2S5S6S7S41x/101x/001x/1001/10xx/110x/0000/1000/1001/10xx/11xx/11xx/10SimulationState/outputtable1nSs0s1s2s3s4s5s6s7S00XYZ1Z210101000111011110111101nS1nS1nSs0s1s2s3s5s1s7s3s4s1s6s3s5s1s7s3s1s3s0s2s5s1s7s3s1s3s0s2s5s1s7s3NextBackReturn7.4ClockedSynchronousState-MachineAnalysis7.3.3AnalysisofStateMachineswithJ-KFlip-FlopsQ0Q1Q2J0J1J2K0K1K2Excitationequations20QJ1K001QJ01QK012QQJ1K2Transitionequations0210QQQn010111QQQQQn01212QQQQnNextBackReturn7.4ClockedSynchronousState-MachineAnalysisTransition/outputtable001010011100000010010000000001010011100101110111Q2Q1Q0QQQ1n01n11n200001111CStatediagramQ2Q1Q0/C000001010011100111110101/1/0/0/0/0/1/1/1SimulationExercisesP647~6497.9,7.15,7.16,7.17,7.18,7.19BackReturn7.4ClockedSynchronousState-MachineAnalysisSummary1.Determinetheexcitationequations.4.Toconstructatransition/outputtable.5.Toconstructastate/outputtable.2.Determinethetransitionequations.3.Determinetheoutputequations.6.(Optional)Drawastatediagram.Thedetailedstepsforanalyzingaclockedsynchronousstatemachineareasfollows: