Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
introduction_to_digital_systems:sequential_logic [2022/12/09 15:43] mexleadmin |
introduction_to_digital_systems:sequential_logic [2023/02/05 02:06] mexleadmin [Bearbeiten - Panel] |
||
---|---|---|---|
Zeile 7: | Zeile 7: | ||
The most important term for the upcoming topics is the word **state**. But what is a state? \\ It is a unique situation, where the possible next steps (= possible next states), the inner behavior or the outputs are distinguishable from other situations. | The most important term for the upcoming topics is the word **state**. But what is a state? \\ It is a unique situation, where the possible next steps (= possible next states), the inner behavior or the outputs are distinguishable from other situations. | ||
Here some practical examples: | Here some practical examples: | ||
- | * being happy or being sad, are two different states, since the inner behavior is different (this least often also to a different output). Similarly, an empty memory (or harddrive) is in a different state compared to an compared to a full one. Even a fresh deleted one is distingisable, | + | * Being happy or being sad, are two different states, since the inner behavior is different (this least often also to a different output). |
- | * | + | * Similarly, an empty memory (or harddrive) is in a different state compared to a filled |
- | Sequential logic is used to describe logic cicruits which show internal states (" | + | * A traffic light showing green has a output distinguishable from red, or yellow. |
+ | Sequential logic is used to describe logic cicruits which show internal states (" | ||
The following terminology is used in the upcoming explanations: | The following terminology is used in the upcoming explanations: | ||
Zeile 21: | Zeile 22: | ||
The <imgref pic04> shows the different terms in an abstract diagram. The " | The <imgref pic04> shows the different terms in an abstract diagram. The " | ||
- | < | + | < |
The principle interior of the blackbox in <imgref pic04> was already shown in one practical application in the [[: | The principle interior of the blackbox in <imgref pic04> was already shown in one practical application in the [[: | ||
- | < | + | < |
<panel type=" | <panel type=" | ||
<imgref pic06> depicts a state machine. | <imgref pic06> depicts a state machine. | ||
- | * What happens, when $X$ is changed? On which edge the change is triggered? | + | * What happens, when $X$ is changed? |
* Write down how many components each vector $\vec{X}$ and $\vec{Y}$ has. | * Write down how many components each vector $\vec{X}$ and $\vec{Y}$ has. | ||
* How many bits (= flip flops) might the state vector $\vec{Z}$ need? | * How many bits (= flip flops) might the state vector $\vec{Z}$ need? | ||
Zeile 133: | Zeile 134: | ||
The <imgref pic101> shows the principle differences in the architecture of the state machines. | The <imgref pic101> shows the principle differences in the architecture of the state machines. | ||
- | < | + | < |
\\ \\ | \\ \\ | ||
Zeile 150: | Zeile 151: | ||
In <imgref pic01> image (1) the states of water are shown on the temperature axis. When only the state transistions are relevant, the states are simplified to a circle, showing the state name and behaviour. The transitions are depict as arrows, where the needed condititon is written onto (See <imgref pic01> image (2) ). This diagram is called **state transition diagram**. | In <imgref pic01> image (1) the states of water are shown on the temperature axis. When only the state transistions are relevant, the states are simplified to a circle, showing the state name and behaviour. The transitions are depict as arrows, where the needed condititon is written onto (See <imgref pic01> image (2) ). This diagram is called **state transition diagram**. | ||
- | < | + | < |
For matter not only the dimension " | For matter not only the dimension " | ||
By this, another variable is available and more transistions. These can be drawn into the state transition diagram (<imgref pic02> image (2)). | By this, another variable is available and more transistions. These can be drawn into the state transition diagram (<imgref pic02> image (2)). | ||
- | < | + | < |
==== 6.3.2 Simple logic Example ==== | ==== 6.3.2 Simple logic Example ==== | ||
Zeile 162: | Zeile 163: | ||
Once paid, the turnstile will release and one can enter. Once the turnstile was pushed the entrance is closed again. | Once paid, the turnstile will release and one can enter. Once the turnstile was pushed the entrance is closed again. | ||
- | < | + | < |
The <imgref pic04> the state transition diagram is drawn. | The <imgref pic04> the state transition diagram is drawn. | ||
Zeile 172: | Zeile 173: | ||
* A state transition diagram is not complete without a **legend** and without an **beginning/ | * A state transition diagram is not complete without a **legend** and without an **beginning/ | ||
- | < | + | < |
Out of this state transition diagram one can create a table-like representation, | Out of this state transition diagram one can create a table-like representation, | ||
- | < | + | < |
the inputs, outputs and states have to be encoded into binary, in order to investigate this table a bit more. How the binary value is connected to the outputs does not matter. We will choose the following coding: | the inputs, outputs and states have to be encoded into binary, in order to investigate this table a bit more. How the binary value is connected to the outputs does not matter. We will choose the following coding: | ||
Zeile 186: | Zeile 187: | ||
< | < | ||
- | {{drawio> | + | {{drawio> |
Interestingly, | Interestingly, | ||
Zeile 203: | Zeile 204: | ||
< | < | ||
- | {{drawio> | + | {{drawio> |
<panel type=" | <panel type=" | ||
Zeile 222: | Zeile 223: | ||
< | < | ||
- | {{drawio> | + | {{drawio> |
<wrap # | <wrap # | ||
Zeile 230: | Zeile 231: | ||
The counter shall now be changed in such a way, that it counts $1 - 2 - 3 - 4$. For this: right click on each present states beginning with state 0 and add for '' | The counter shall now be changed in such a way, that it counts $1 - 2 - 3 - 4$. For this: right click on each present states beginning with state 0 and add for '' | ||
- | {{drawio> | + | {{drawio> |
Tasks: | Tasks: | ||
Zeile 241: | Zeile 242: | ||
< | < | ||
- | {{drawio> | + | {{drawio> |
<panel type=" | <panel type=" | ||
Zeile 248: | Zeile 249: | ||
The last step is to add the transitions: | The last step is to add the transitions: | ||
- | {{drawio> | + | {{drawio> |
Tasks: | Tasks: | ||
Zeile 260: | Zeile 261: | ||
Use the following addition to the resulting citcuit in order to get the light running: | Use the following addition to the resulting citcuit in order to get the light running: | ||
- | {{drawio> | + | {{drawio> |
Tasks: | Tasks: | ||
Zeile 272: | Zeile 274: | ||
The following state transistion diagram shall be given: | The following state transistion diagram shall be given: | ||
- | {{drawio> | + | {{drawio> |
+ | |||
+ | |||
+ | * There are two transitions marked with $A$ and $B$. \\ What values does the inputs need to have in order show all transistions explicitely? | ||
+ | |||
+ | <WRAP indent>< | ||
+ | <button size=" | ||
+ | * Find the transitions wanted | ||
+ | * Look at which state these transitions starts. | ||
+ | * Which other transitions starts there? | ||
+ | * Which transition conditions are missing? | ||
+ | </ | ||
+ | * transition A | ||
+ | * Starts at state $000$ | ||
+ | * Also transition with $11$, $00$ starts here | ||
+ | * $01$, $10$ are missing | ||
+ | * transition B | ||
+ | * Starts at state $010$ | ||
+ | * Also transition with $0-$ starts here | ||
+ | * $1-$ are missing | ||
+ | </ | ||
+ | * A: $01$, $10$ | ||
+ | * B: $1-$ | ||
+ | </ | ||
+ | </ | ||
- | * There are two transitions marked with $A$ and $B$. What values does the inputs need to have in order show all transistions explicitely? | ||
* How many flipflops are necessary for such a Moore Machine? | * How many flipflops are necessary for such a Moore Machine? | ||
+ | |||
+ | <WRAP indent>< | ||
+ | <button size=" | ||
+ | Each flipflop can store one Bit. Each stored bit can be used to address states. So, check the number of bits $i$ of states $Z_i$ ("size of the state vector" | ||
+ | Be aware, that one bit can address maximum 2 states, two bits maximum 4 states, three bits maximum 8 states and so on. | ||
+ | </ | ||
+ | * Number of bits $i$ of states $Z_i$ is given in the legend. The number of bits $i$ has also to fit to the number of states. | ||
+ | * Here the legend shows $Z_2, Z_1, Z_0$, so there are 3 bits. | ||
+ | * Also the number of states i the diagram are 5. This can only be numbered with at least 3 bits. | ||
+ | |||
+ | </ | ||
+ | 3 | ||
+ | </ | ||
+ | </ | ||
* Fill in the missing cells in the following state transition table: | * Fill in the missing cells in the following state transition table: | ||
- | {{drawio> | + | {{drawio> |
+ | |||
+ | |||
+ | <WRAP indent>< | ||
+ | <button size=" | ||
+ | Check for each line: | ||
+ | * What is the start/ | ||
+ | * Which transition is shown start/ | ||
+ | Out of this orientation, | ||
+ | * At the end of the transition, the next state can be found (necessary for columns $\color{green}{Z_2(n+1), | ||
+ | * Within the state symbol of the present state, the output valuse can be found (necessary for columns $\color{violet}{Y_2(n), | ||
+ | {{drawio> | ||
+ | </ | ||
+ | {{drawio> | ||
+ | </ | ||
+ | </ | ||
</ | </ | ||
Zeile 306: | Zeile 361: | ||
Explicitely draw all possible transitions. | Explicitely draw all possible transitions. | ||
- | {{drawio> | + | {{drawio> |
</ | </ | ||
Zeile 315: | Zeile 370: | ||
Develop a sequential circuit, which creates the following output | Develop a sequential circuit, which creates the following output | ||
- | {{drawio> | + | {{drawio> |
* Draw the state transition diagram of the moore machine of the synchronous sequential circuit. | * Draw the state transition diagram of the moore machine of the synchronous sequential circuit. | ||
Zeile 327: | Zeile 383: | ||
Develop a sequential circuit, which allows driving the following LED sequence | Develop a sequential circuit, which allows driving the following LED sequence | ||
- | {{drawio> | + | {{drawio> |
* Draw the state transition diagram of the moore machine of the synchronous sequential circuit. | * Draw the state transition diagram of the moore machine of the synchronous sequential circuit. |