Una rete combinatoria è una sotto categoria dei circuiti logici in il comportamento, e quindi l’output, dipende esclusivamente dagli input.
Per progettare una rete combinatoria bisogna eseguire 4 passaggi:
- Comprensione e analisi della pecifica semi-formale
- Formalizzazione della specifica
- Sintesi
- Ottimizzazione
Comprensione e analisi della pecifica semi-formale
Se la descrizione iniziale del problema che si vuole risolvere non è completa, bisogna cercare di riscriverla ed elimiare tutte le ambiguità. Alcuni casi in cui questa fase è importante sono i seguenti:
- Gestione delle condizioni limite.
- Gestione dei casi di errore.
- Analisi dell’ambiente in cui la rete dovrà funzionare.
- Scelta della codifica per le informazioni.
Alla fine di questa fase si ottiene una specifica semi-formale, il testo del problema non scritto in matematica/logica formale, completa, quindi priva di ambiguità.
Formalizzazione della specifica
In questa fase bisogna trasformare la specifica in un linguaggio formale, così da facilitarci la vita nella manipolazione di essa nelle fasi successive.
Oltre a formalizzare la specifica bisogna anche sfruttare le tabelle di verità per rappresentare la funzionalità della specifica.
Sintesi
Nella fase della sintesi intendiamo ottenere una versione algebrica del problema iniziale. In particolare in questa fase non ci interessa della qualità della versione algebrica, visto che sarà oggetto della fase successiva. In pratica bisogna creare delle espressioni algebriche dalla tabella di verità.
Ottimizzazione
Nella fase di ottimizzazione si cerca il più possibile di rendere efficente la rete combinatoria. Bisogna cercare di ridurre i seguenti elementi:
- Numero di porte logiche
- Numero di porte logiche a due ingressi
- Numero di implicanti/implicati
- Numero di letterali
- Area della realizzazione fisica della rete
- Tempo necessario a produrre un dato risultato
- Potenza
- Energia assorbita
- …