vault backup: 2025-10-15 09:46:31

Semester 7/REDIG/Vorlesung 1.md

@@ -17,4 +17,72 @@
 	2. Test Vorbereiten
 	3. Implementieren
 	4. Test durchführen
-8. Einordnung der Qualitäts
+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       |
+|        |          |        |        |        |         |         |