diff --git a/FSDigitaltechnik.tex b/FSDigitaltechnik.tex index 45cbb45..1a1e706 100644 --- a/FSDigitaltechnik.tex +++ b/FSDigitaltechnik.tex @@ -218,7 +218,7 @@ \section{Boolsche Algebra} \item $x_i \cdot f(\vec{x})=x_i \cdot f_{x_{i}}$ \item $\overline{x}_i \cdot f(\vec{x})=\overline{x}_i \cdot f_{\overline{x}_{i}}$ \item $x_i + f(\vec{x})=x_i + f_{\overline{x}_{i}}$ - \item $\overline{x}_i + f(\vec{x})=\overline{x}_i \cdot f_{x_{i}}$ + \item $\overline{x}_i + f(\vec{x})=\overline{x}_i + f_{x_{i}}$ \end{itemize} \paragraph{Boolsche Expansion} \begin{itemize}\itemsep0pt @@ -383,7 +383,13 @@ \section{Logikminimierung} $K$: Anzahl der Primterme\\ $N$: Anzahl der Minterme \\ $L(p_i)$: Kosten/Länge der Primimplikanten\\ - \textbf{Vorgehen}: erst alle \textbf{dominierenden} Spalten, dann alle \textbf{dominierten} Zeilen streichen. \\ \\ + \textbf{Vorgehen}: + \begin{enumerate} + \item Kernprimimplikanten auswählen + \item Spaltendominanzen prüfen und dominierende Spalten streichen + \item Zeilendominanzen prüfen und dominierte Zeilen streichen + \item zurück zu 2. falls keine vollständige Überdeckung + \end{enumerate} Analog auch für Bestimmung der konjunktiven Minimalform (KMF) \section{Halbleiter} \begin{tabular}{l|c|c|c|c|c} @@ -522,7 +528,7 @@ \section{Sequentielle Logik} Max. Taktfrequenz & $f_{max} = \left\lfloor \frac{1}{t_{clk}} \right\rfloor$ \qquad (Nicht aufrunden) \\ Holdzeitbedingung & $t_{hold} \le t_{c2q} + t_{logic,min}$ $\ra$ Dummy Gatter einbauen\\ Durchsatz & $\frac{1 \text{Sample}}{t_{clk,pipe}} = f$ \qquad (Sample: Anzahl der Eingänge ins Register)\\ - Latenz & $t_{clk} \cdot \#$Pipelinestufen (das zwischen den Registern) \\ + Latenz & $t_{clk} \cdot \#$Pipelinestufen (Anzahl von Logik+Register-Blöcken) \\ \end{tabular} \begin{minipage}{\columnwidth} @@ -603,7 +609,7 @@ \subsection{Deterministic finite state machine (DFA)} $g$ & Ausgaberelation \\ \end{tabular} \subsection{Moore und Mealy FSMs} -\includegraphics{img/ds/automaten.pdf}\\ +\includegraphics{img/ds/automaten_neu.pdf}\\ \begin{tabular}{c | c} Moore & Mealy \\ \hline diff --git a/img/ds/automaten_neu.pdf b/img/ds/automaten_neu.pdf new file mode 100644 index 0000000..66f9860 Binary files /dev/null and b/img/ds/automaten_neu.pdf differ