Návrh číslicových systémů (INC) - Minimalizace

• Optimalizace číslicových obvodů podle různých kritérií
• Typicky minimalizace kriteriální funkce
• Kritéria minimalizace
• Velikost obvodu (počet hradel, plocha na čipu)
• Zpoždění obvodu (rychlost, výkonnost)
• Počet proměnných (počet vodičů)
• Příkon, atd.
• Model (reprezentace) logické funkce
• Výraz, tabulka, graf, mapa, Vennův diagram
• Metody
• Algebraické, mapové, Quine-McCluskey + Petrickova funkce, Espresso, …

• Zvýrazněny jsou stavy, ve kterých jsou pravdivostní hodnoty funkce F(x,y,z) rovny log. 1 (tedy stavy 1, 3 a 6)
• Stavy 1-3 se liší v jedné proměnné
• Lze tedy eliminovat proměnnou, jejíž váha je rovna rozdílu hodnot příslušných stavů
• 3 - 1 = 2, což odpovídá váze proměnné, kterou můžeme eliminovat (proměnná y)

Logická mapa
• Reprezentace log. funkce maticově
• Marquandova (Svobodova) mapa
• Při otočení přiřazení proměnných o 180° kolem středu mapy získáme přiřazení inverzní
• Karnaughova mapa
• Sousedním políčkům jsou přiřazeny sousedné kombinace vstupních stavů (liší se v jedné proměnné)