Esercitazione Reti Logiche - Appello Gennaio 2025

Flashcard di vocabolario tecnico basate sull'appello di Reti Logiche di Gennaio 2025, coprendo algebra booleana, Quine-McCluskey, architetture programmabili e FSM.

Forma minima a due livelli

La rappresentazione pi!! semplificata di un'espressione booleana che utilizza solo due livelli di porte logiche, come Sum of Products (SOP) o Product of Sums (POS).

Implicante primo

Un implicante che non pu!! essere combinato con altri implicanti per formare un implicante con un numero inferiore di letterali nella mappa di Karnaugh o nel metodo di Quine-McCluskey.

Implicante primo essenziale

Un implicante primo che copre almeno un mintermine (membro dell'ONset) che non !! coperto da nessun altro implicante primo.

Copertura minima

L'insieme pi!! piccolo di implicanti primi che copre tutti i punti dell'ONset di una funzione booleana, riducendo al minimo il costo (solitamente calcolato come numero di letterali).

ONset

L'insieme dei mintermini $m_x$ per cui la funzione booleana assume il valore logico $1$.

DCset (Don't Care set)

L'insieme dei mintermini per cui il valore della funzione non !! specificato ($0$ o $1$), indicati spesso con $-$ o $\phi$, utilizzati per semplificare ulteriormente la funzione.

Quine-McCluskey (funzioni multiple)

Un metodo algoritmico per la minimizzazione di pi!! funzioni booleane simultaneamente, identificando implicanti primi condivisi per ottimizzare l'area circuitale.

Dominanza di riga

In una tabella di copertura, si verifica quando una riga $i$ copre tutti i mintermini coperti dalla riga $j$; se il costo di $i$ !! minore o uguale a $j$, la riga $j$ pu!! essere eliminata.

Dominanza di colonna

In una tabella di copertura, si verifica quando una colonna $k$ (mintermine) !! coperta da un sottoinsieme di implicanti che coprono anche la colonna $l$; la colonna dominante ($k$) pu!! essere eliminata.

PLA (Programmable Logic Array)

Architettura programmabile caratterizzata da un piano AND programmabile e un piano OR programmabile, dove il metodo di Quine-McCluskey multiuscita risulta efficace per massimizzare la condivisione dei prodotti (PTERMs).

PAL (Programmable Array Logic)

Architettura programmabile con piano AND programmabile e piano OR fisso; l'efficacia del metodo multiuscita !! limitata poich!! i termini prodotto non possono essere condivisi tra diverse uscite.

ROM (Read Only Memory)

In ambito logico, architettura con piano AND fisso (decodificatore completo) e piano OR programmabile; ogni mintermine dell'ONset occupa una riga, rendendo superflua la minimizzazione degli implicanti primi.

Macchina di Moore

Una macchina a stati finiti (FSM) in cui l'uscita $Z$ dipende esclusivamente dallo stato attuale della macchina.

Macchina di Mealy

Una macchina a stati finiti (FSM) in cui l'uscita $Z$ dipende sia dallo stato attuale che dai valori degli ingressi correnti.

Macchina non completamente specificata

Una FSM in cui per alcune combinazioni di stato presente e ingresso non !! specificato lo stato prossimo o l'uscita (don't care).

Metodo di Paull-Unger

Algoritmo utilizzato per l'analisi di compatibilit!! tra gli stati di una macchina a stati non completamente specificata, al fine di procedere alla sua riduzione.

Classi di massima compatibilit!!

Insiemi di stati che sono reciprocamente compatibili e che non possono essere estesi aggiungendo altri stati senza violare la compatibilit!!; si ottengono spesso tramite l'algoritmo dell'albero.

Stato di Reset

Lo stato iniziale $A(RST)$ in cui la macchina si porta all'accensione o dopo un segnale di reset, solitamente il punto di partenza per il riconoscimento delle sequenze.