CSCI 2150 Intro to State Machines

Transcription

1 CSCI 2150 Intro to State Machines Topic: Now that we've created flip-flops, let's make stuff with them Reading: igital Fundamentals sections 6.11 and 9.4 (ignore the JK flip-flop stuff) States Up until now we have been making logic circuits that rely only on binary inputs and create binary outputs. The inputs might be switches or some other external signal, but they have always been external to our circuit. With the introduction of flip-flops, we are going to add an additional input to the system: the internal. I don't know if the figure below helps, but basically we will be adding memory to our logic circuits. There will be logic that will set the memory, and the memory will be used as an additional input to the logic. Previous New Logic Circuit Gates Logic Circuit Gates Current So what is a? A defines the current condition of the system. For example, when we talked about the traffic signal system having two directions, North-South and East-West, and that there are certain combinations of lights (on or off) that describe the intersection's "condition", we were talking about s. N-S E-W N-S E-W N-S E-W N-S E-W State 0 State 1 State 2 State 3 It might be as simple as a light bulb. The light bulb can have two s: on and off. The light switch moves the condition of the bulb from one to another. Switch goes on OFF Switch goes off Any logic circuit possessing s (conditions held in a memory) with inputs that can move the system from one to the next is called a machine. ON

2 CSCI Intro to State Machines Page 2 State iagrams So how will we represent these s and the inputs that move the logic from one to another? We use a diagram. A diagram models the machine using a circle to represent the and arrows to represent transitions between the s. For example, our light bulb machine from the previous example would look like: OFF ON Actually, this diagram is still hiding some information. For example, what input values change the system from one to the other? Second, although the words ON and OFF mean something to you, they don't mean much to a computer. We need to include the boolean output associated with each of the s. Let's try this diagram again. OFF 0 Switch = 1 Switch = 0 ON 1 The upper half of each circle indicates our "name" for the. The lower half indicates an output, in our case a 0 for the light bulb off and a 1 for the light bulb on. The arrows along with the input value say, when we are in "OFF" and the switch input goes to a 1, move to "ON". When we are in "ON" and the switch input goes to a 0, move to "OFF". Let's do a slightly more complicated example. There is a simple device used in many digital circuits called a counter. Its output is simply a number, and as time goes on, the number is incremented (counting up) or decremented (counting down). clock direction Binary Counter binary number The inputs are clock and direction. Clock drives the counting. Every time a pulse occurs, it increments or decrements the counter. irection tells the system whether the binary number is to be incremented or decremented. The binary number is the. For example, if the output from the counter is the binary number 0110 and a clock pulse occurs, the binary number changes to 0101 if direction=0 and 0111 if the direction=1. Let's design the diagram for a two-bit up-down counter. This counter has an output that is a two-bit number, (00, 01, 10, or 11). Just like for our generic description, every time a clock pulse occurs, the counter will change to either increment or decrement the output depending on the value of direction. For example, if direction is 1, then each clock pulse will increment the output through the series 00, 01, 10, 11, 00, 01, etc. If direction is 0, then the output will decrement once for each clock pulse, i.e., 00, 11, 10, 01, 00, 11, etc. So what are our inputs? irection of course. Some might say that the clock is also an input, and they would be correct. We will leave clock out for now since the clock will simply be used to tell us when to transition s. (Hopefully this will make more sense later on.)

3 CSCI Intro to State Machines Page 3 So what are our outputs? The two bit binary number, right? So what are all the possible s? For this system, it seems relatively straightforward. Each possible two-bit value that can be output from the circuit represents one of the conditions of the circuit. Therefore, there are four s: State 0 -- outputting 00 and waiting to increment to 01 or decrement to 11 State 1 -- outputting 01 and waiting to increment to 10 or decrement to 00 State 2 -- outputting 10 and waiting to increment to 11 or decrement to 01 State 3 -- outputting 11 and waiting to increment to 00 or decrement to 10 So we can begin with our basic diagram without the transistions Next, we need to connect them with each possible transition. Remember, from 0 we can go to either 1 or 3 depending on the value of direction. So we can add those transitions to our diagram. Note that direction has been replaced with so that the diagram doesn't become so cluttered Now, let's fill in all the rest of the transitions

4 CSCI Intro to State Machines Page 4 If the input, then the counter will increment once for each clock pulse thereby going clockwise through the s of the diagram. If the input, then the counter will decrement counterclockwise through the s. Therefore, to create a diagram, you must completely define the system to be designed. This involves defining all of the following: inputs outputs s transitions between s based on inputs Representing States With Flip-Flops So what is it that the machine must remember? Its! Therefore, we need to have two things: some way of representing the system's using binary values, and some way to hold those values with flip-flops. Let's start with the representation part. I'm going to use the two-bit up-down counter and create a table with a list of those s. Then, I'm going to number those s with a binary number. State's States assigned number name Number MSB LSB State State State State From this table you can see that there are four s. How many bits does it take to represent 4 s? 2 (Remember that 2 n is the number of possible combinations of n bits? Therefore, if n=2, then that is 4 possible combinations.) I'm going to interrupt here briefly to revisit the block diagram of the machine. Below is a more detailed drawing of the machine showing exactly how the current is contained in flip-flops, logic determines the next from the current and the external inputs, and additional logic determines the output from the current. Next Current External inputs Logic (etermines next ) Flip-flops output-ting the current Logic (etermines output from ) Outputs So if it takes two bits to represent the of the machine, then we need to have 2 flip-flops to remember that. Therefore, our system is going to look something like this:

5 CSCI Intro to State Machines Page 5 irection Next MSB MSB of Counter output Logic Next LSB LSB of Clock Creating a Next State Truth Table The first step in implementing a machine is to create the logic for the "next ". In otherwords, the combination of the current and the current inputs sends the system to what? We begin with a truth table. What are the inputs to the system? In the case of the up-down counter, they are the direction and the current. The table below uses those inputs as the truth table for determining the next of the system. Current irection Next S1' S0' Note that MSB has been replaced with S1 and LSB has been replaced with S0. The next of these bits is now represented with a "prime" notation (e.g., next of S0 is S0'). So, for the current of 00 ( 0) and a direction of 0 (counting down), what is the next? Reviewing the diagram, we see that the next would be 11. Therefore, fill in the truth table to reflect that.

6 CSCI Intro to State Machines Page 6 Current irection Next S0 S1 S0' S1' oing this for the rest of the rows, each time relying on the original diagram to guide us, we should be able to fill out the rest of the truth table. Current irection Next S1' S0' We can then break this truth table into a single truth table for each of the outputs (next s S1' and S0'). Current irection S1' Current irection S0' Wow, we have truth tables. And these truth tables hopefully represent the next of our two flipflops. Now what? Well, from truth tables, we can always create Karnaugh maps in order to move to the logic design. S 1 ' S 0 ' S S S 1 S

7 CSCI Intro to State Machines Page 7 Next, we need to draw the rectangles. S 1 ' S S S 0 ' 0 1 S 1 S S1' looks pretty ugly. (We've seen this horrible rectangle combination before. You can try, but I don't think you'll find a more complex arrangement of rectangles to create more terms in the SOP expression.) From these rectangles, we can derive the minimum sum of products expressions. S 1 ' = S 1 S 0 + S 1 S 0 + S 1 S 0 + S 1 S 0 S 0 ' = S 0 And from these equations, we can draw the following logic diagram. irection () S 1 ' S 1 S 0 ' S 0 Clock