# Struktur
1. Organisatorisches
2. Wiederholung

# Wiederholung
1. Schaltwerk / Schaltnetz
	1. Huffman-Normalform
2. Endliche Automaten
3. Impulsdiagramme
4. Mealy oder Moore Automaten
	1. Mealy ohne Zustandsübergang
5. KV-Minimierung
6. Digitale Zustandskodierung
7. Struktur
	1. Modellieren
		1. LaTeX Vorlage für DIGIT wieder verwendbar?
	2. Test Vorbereiten
	3. Implementieren
	4. Test durchführen
8. Einordnung der Qualitäts

# Aufgaben
## Model
Ausgänge:
$q1\_o$
$q0\_o$

Eingänge:
$v\_i$ wenn = 1 value +1
$v\_i$ wenn = 0 value -1
clk_i
$r\_i$ reset 
2 Bit Wert (nach $11$ kommt $00$) erst impl.

ausgabefunktion fehlt

![[Nackenbruch.drawio.png]]

prüfung geg. forderung

## Tests
### synchron
- Hochzählen
- Runterzählen
- Überlauf / Unterlauf

### asynchron
- Reset

formuliert und nicht stichpunkte
# Implementierung
## Kodierung
startzustand fehlt

| Zustand | $k\_1,k\_0$ |     |
| ------- | ----------- | --- |
| null    | $00$        |     |
| eins    | $01$        |     |
| zwei    | $02$        |     |
| drei    | $03$        |     |

Die Zustandskodierung erfolg gemäß binärer Rechnung.
## grobstruktur

## zustandspeicher__
## Zustandsübergangstabelle
dies ist hybrid und dements. falsch

| $r\_i$ | $clk\_i$ | $v\_i$ | $q\_1$ | $q\_0$ | $q\_1'$ | $q\_0'$ |
| ------ | -------- | ------ | ------ | ------ | ------- | ------- |
| 0      | 0        | 0      | 0      | 0      | 0       | 0       |
| 0      | 0        | 0      | 0      | 1      | 0       | 1       |
| 0      | 0        | 0      | 1      | 0      | 1       | 0       |
| 0      | 0        | 0      | 1      | 1      | 1       | 1       |
| 0      | 0        | 1      | 0      | 0      | 0       | 0       |
| 0      | 0        | 1      | 0      | 1      | 0       | 1       |
| 0      | 0        | 1      | 1      | 0      | 1       | 1       |
| 0      | 0        | 1      | 1      | 1      | 1       | 1       |
| 0      | 1        | 0      | 0      | 0      | 1       | 1       |
| 0      | 1        | 0      | 0      | 1      | 0       | 0       |
| 0      | 1        | 0      | 1      | 0      | 0       | 1       |
| 0      | 1        | 0      | 1      | 1      | 1       | 0       |
| 0      | 1        | 1      | 0      | 0      | 0       | 1       |
| 0      | 1        | 1      | 0      | 1      | 1       | 0       |
| 0      | 1        | 1      | 1      | 0      | 1       | 1       |
| 0      | 1        | 1      | 1      | 1      | 0       | 0       |
| 1      | X        | X      | X      | X      | 0       | 0       |
|        |          |        |        |        |         |         |