Added sperator lines
All checks were successful
Build Typst PDFs (Docker) / build-typst (push) Successful in 33s
All checks were successful
Build Typst PDFs (Docker) / build-typst (push) Successful in 33s
This commit is contained in:
@@ -82,6 +82,8 @@
|
|||||||
*Komplementärgesetz* \
|
*Komplementärgesetz* \
|
||||||
$A dot LNot(A) = 0$, $A + LNot(A) = 1$
|
$A dot LNot(A) = 0$, $A + LNot(A) = 1$
|
||||||
|
|
||||||
|
#SeperatorLine
|
||||||
|
|
||||||
*Kommutativgesetz* \
|
*Kommutativgesetz* \
|
||||||
$A dot B = B dot A$, $A + B = B + A$
|
$A dot B = B dot A$, $A + B = B + A$
|
||||||
|
|
||||||
@@ -93,6 +95,8 @@
|
|||||||
$A dot (B + C) = A dot B + A dot C$ \
|
$A dot (B + C) = A dot B + A dot C$ \
|
||||||
$A + (B dot C) = (A + B) dot (A + C)$
|
$A + (B dot C) = (A + B) dot (A + C)$
|
||||||
|
|
||||||
|
#SeperatorLine
|
||||||
|
|
||||||
*De Morgan*\
|
*De Morgan*\
|
||||||
$LNot((A + B)) = LNot(A) dot LNot(B)$\
|
$LNot((A + B)) = LNot(A) dot LNot(B)$\
|
||||||
$LNot((A dot B)) = LNot(A) + LNot(B)$
|
$LNot((A dot B)) = LNot(A) + LNot(B)$
|
||||||
@@ -121,15 +125,18 @@
|
|||||||
$x_0$: Postives Literal $equiv 1$\
|
$x_0$: Postives Literal $equiv 1$\
|
||||||
$LNot(x_0)$: Negatives Literal $equiv 0$\
|
$LNot(x_0)$: Negatives Literal $equiv 0$\
|
||||||
|
|
||||||
|
#SeperatorLine
|
||||||
|
|
||||||
#grid(
|
#grid(
|
||||||
columns: (1fr, auto),
|
columns: (1fr, auto),
|
||||||
[
|
[
|
||||||
*Literal-*#text("Länge",blue, weight: "bold"): Anzahl der Gattereingänge
|
*Literal-*#text("Länge",blue, weight: "bold"): Anzahl der Gattereingänge
|
||||||
|
|
||||||
Bei ganzer Schaltung: \ $sum$ Gattereingänge
|
Inverter NICHT mit zählen
|
||||||
],
|
],
|
||||||
image("../images/digitaltechnik/literalMenge.jpg", height: 1.6cm),
|
image("../images/digitaltechnik/literalMenge.jpg", height: 1.6cm),
|
||||||
)
|
)
|
||||||
|
#SeperatorLine
|
||||||
|
|
||||||
|
|
||||||
Einsmenge: $F = {underline(v) in {0,1}^n | f(underline(v)) = 1}$ \
|
Einsmenge: $F = {underline(v) in {0,1}^n | f(underline(v)) = 1}$ \
|
||||||
@@ -139,6 +146,8 @@
|
|||||||
Funktionsbündel: $underline(y) = underline(f)(underline(x))$ \
|
Funktionsbündel: $underline(y) = underline(f)(underline(x))$ \
|
||||||
$underline(f): {0,1}^n -> {0,1}^m$
|
$underline(f): {0,1}^n -> {0,1}^m$
|
||||||
|
|
||||||
|
#SeperatorLine
|
||||||
|
|
||||||
*Kofaktoren* aka Bit $n$ fixen\
|
*Kofaktoren* aka Bit $n$ fixen\
|
||||||
$x_i : f_(x_i) = f_(x_i = 1) = f(x_1, ..., 1, ..., x_n)$\
|
$x_i : f_(x_i) = f_(x_i = 1) = f(x_1, ..., 1, ..., x_n)$\
|
||||||
$overline(x)_i : f_(overline(x)_i) = f_(x_i = 0) = f(x_1, ..., 0, ..., x_n)$
|
$overline(x)_i : f_(overline(x)_i) = f_(x_i = 0) = f(x_1, ..., 0, ..., x_n)$
|
||||||
@@ -183,6 +192,8 @@
|
|||||||
|
|
||||||
... dargestellt werden
|
... dargestellt werden
|
||||||
|
|
||||||
|
#SeperatorLine
|
||||||
|
|
||||||
*DNF:* Disjunktive Normalform, *Minterme*
|
*DNF:* Disjunktive Normalform, *Minterme*
|
||||||
- Term $tilde.equiv$ $1$-Zeile
|
- Term $tilde.equiv$ $1$-Zeile
|
||||||
- $LNot(x)_0 dot x_1 + x_0 dot x_1 +...$\
|
- $LNot(x)_0 dot x_1 + x_0 dot x_1 +...$\
|
||||||
@@ -216,6 +227,10 @@
|
|||||||
#bgBlock(fill: colorOptimierung)[
|
#bgBlock(fill: colorOptimierung)[
|
||||||
#subHeading(fill: colorOptimierung)[Quine McCluskey]
|
#subHeading(fill: colorOptimierung)[Quine McCluskey]
|
||||||
|
|
||||||
|
Implika#text("n", weight: "black")t: $a b LNot(c) quad$ (DNF)
|
||||||
|
|
||||||
|
Implikat: $a + b + LNot(c) quad$ KNF
|
||||||
|
|
||||||
=== Quine
|
=== Quine
|
||||||
1. KNF/DNF $->$ KKNF/KDNF
|
1. KNF/DNF $->$ KKNF/KDNF
|
||||||
2. Primiplikant Bestimme \
|
2. Primiplikant Bestimme \
|
||||||
@@ -255,7 +270,6 @@
|
|||||||
5. Wiederhole 3.-5. solange noch was geht
|
5. Wiederhole 3.-5. solange noch was geht
|
||||||
]
|
]
|
||||||
|
|
||||||
#colbreak()
|
|
||||||
|
|
||||||
// Voll adierer
|
// Voll adierer
|
||||||
#bgBlock(fill: colorBoolscheLogic)[
|
#bgBlock(fill: colorBoolscheLogic)[
|
||||||
@@ -279,11 +293,15 @@
|
|||||||
|
|
||||||
$S = A xor B xor C_"in"$
|
$S = A xor B xor C_"in"$
|
||||||
|
|
||||||
|
#SeperatorLine
|
||||||
|
|
||||||
*Ripple Carry Adder*
|
*Ripple Carry Adder*
|
||||||
|
|
||||||
$t_"pd"$ dominiert von Carry-Übertrag
|
$t_"pd"$ dominiert von Carry-Übertrag
|
||||||
]
|
]
|
||||||
|
|
||||||
|
#colbreak()
|
||||||
|
|
||||||
// FlipFlops
|
// FlipFlops
|
||||||
#bgBlock(fill: colorState)[
|
#bgBlock(fill: colorState)[
|
||||||
#subHeading(fill: colorState)[Latches, Flipflops und Register]
|
#subHeading(fill: colorState)[Latches, Flipflops und Register]
|
||||||
@@ -317,6 +335,8 @@
|
|||||||
*Setup Bedigung* \
|
*Setup Bedigung* \
|
||||||
$T_"clk" > T_"c2q" + T_"logic,max"+ T_"setup" $
|
$T_"clk" > T_"c2q" + T_"logic,max"+ T_"setup" $
|
||||||
|
|
||||||
|
Maximal Talk = $f = 1/(T_"clk")$
|
||||||
|
|
||||||
*Hold Bedigung* \
|
*Hold Bedigung* \
|
||||||
$T_"c2q" + T_"logic,min" > T_"hold" $ \
|
$T_"c2q" + T_"logic,min" > T_"hold" $ \
|
||||||
Problem bei unterschiedlichen Register und straight wire
|
Problem bei unterschiedlichen Register und straight wire
|
||||||
@@ -324,6 +344,7 @@
|
|||||||
)
|
)
|
||||||
]
|
]
|
||||||
|
|
||||||
|
#colbreak()
|
||||||
// Pipelining
|
// Pipelining
|
||||||
#bgBlock(fill: colorState)[
|
#bgBlock(fill: colorState)[
|
||||||
#subHeading(fill: colorState)[Pipeline/Parallele Verarbeitungseinheiten]
|
#subHeading(fill: colorState)[Pipeline/Parallele Verarbeitungseinheiten]
|
||||||
@@ -340,8 +361,14 @@
|
|||||||
$T_"c2q" + T_"logic,min" > T_"hold" $ \
|
$T_"c2q" + T_"logic,min" > T_"hold" $ \
|
||||||
Buffer-Gatter einfügen bei Verletzung
|
Buffer-Gatter einfügen bei Verletzung
|
||||||
|
|
||||||
|
#SeperatorLine
|
||||||
|
|
||||||
*Parallel Verarbeitung*
|
*Parallel Verarbeitung*
|
||||||
#image("../images/digitaltechnik/parallel.jpg", height: 3cm)
|
#image("../images/digitaltechnik/parallel.jpg", height: 3cm)
|
||||||
|
|
||||||
|
- Ver-$n$-fachung des Durcksates
|
||||||
|
- Viele höher Kosten
|
||||||
|
|
||||||
]
|
]
|
||||||
]
|
]
|
||||||
#pagebreak()
|
#pagebreak()
|
||||||
@@ -577,7 +604,9 @@
|
|||||||
|
|
||||||
$C_"G" = epsilon_"ox" epsilon_0 (W L)/t_"ox"$,
|
$C_"G" = epsilon_"ox" epsilon_0 (W L)/t_"ox"$,
|
||||||
|
|
||||||
$mu_"n" = 1,6 mu_"p" "bis" 3,5 mu_"p" ==> mu_"n" > mu_"p"$
|
$mu_"n" = 1,6 mu_"p" "bis" 3,5 mu_"p" ==> mu_"n" > mu_"p" \
|
||||||
|
==> beta_"n">beta_"p" => R_"on"_"n" < R_"on"_"p" => t_"nLH" < t_"pLH"
|
||||||
|
$
|
||||||
|
|
||||||
|
|
||||||
*Vereinfachung Saturations Bereich* \
|
*Vereinfachung Saturations Bereich* \
|
||||||
|
|||||||
@@ -123,30 +123,29 @@
|
|||||||
}
|
}
|
||||||
|
|
||||||
#let SIPrefixesTable = [
|
#let SIPrefixesTable = [
|
||||||
#table(
|
#text(11pt, table(
|
||||||
columns: (1fr, 1fr, 1fr),
|
columns: (auto, auto, 1fr, auto, auto, 1fr),
|
||||||
stroke: (thickness: 0.3mm),
|
stroke: (thickness: 0.3mm),
|
||||||
align: (col, row) => if row == 0 { center } else { left },
|
|
||||||
fill: (x, y) => if (calc.rem(y, 2) == 0) { tableFillLow } else { tableFillHigh },
|
fill: (x, y) => if (calc.rem(y, 2) == 0) { tableFillLow } else { tableFillHigh },
|
||||||
|
|
||||||
[*Prefix*], [*Symbol*], [*Factor*],
|
|
||||||
|
|
||||||
[exa], [E], [$10^18$],
|
[exa], [E], [$10^18$],
|
||||||
[peta], [P], [$10^15$],
|
table.vline(stroke: (thickness: 0.6mm)),
|
||||||
[tera], [T], [$10^12$],
|
|
||||||
[giga], [G], [$10^9$],
|
|
||||||
[mega], [M], [$10^6$],
|
|
||||||
[kilo], [k], [$10^3$],
|
|
||||||
[hecto], [h], [$10^2$],
|
|
||||||
[deca], [da], [$10^1$],
|
|
||||||
[(none)], [(none)], [$10^0$],
|
|
||||||
[deci], [d], [$10^(-1)$],
|
|
||||||
[centi], [c], [$10^(-2)$],
|
|
||||||
[milli], [m], [$10^(-3)$],
|
|
||||||
[micro], [μ], [$10^(-6)$],
|
|
||||||
[nano], [n], [$10^(-9)$],
|
|
||||||
[pico], [p], [$10^(-12)$],
|
|
||||||
[femto], [f], [$10^(-15)$],
|
|
||||||
[atto], [p], [$10^(-18)$],
|
[atto], [p], [$10^(-18)$],
|
||||||
)
|
|
||||||
|
[peta], [P], [$10^15$],
|
||||||
|
[femto], [f], [$10^(-15)$],
|
||||||
|
|
||||||
|
[tera], [T], [$10^12$],
|
||||||
|
[pico], [p], [$10^(-12)$],
|
||||||
|
|
||||||
|
[giga], [G], [$10^9$],
|
||||||
|
[nano], [n], [$10^(-9)$],
|
||||||
|
|
||||||
|
[mega], [M], [$10^6$],
|
||||||
|
[micro], [μ], [$10^(-6)$],
|
||||||
|
|
||||||
|
[kilo], [k], [$10^3$],
|
||||||
|
[milli], [m], [$10^(-3)$],
|
||||||
|
))
|
||||||
]
|
]
|
||||||
Reference in New Issue
Block a user