Introduzione a Logisim

Presentazione sul tema: "Introduzione a Logisim"— Transcript della presentazione:

1 Introduzione a Logisim
Laboratorio di Architetture degli Elaboratori I Corso di Laurea in Informatica, A.A Università degli Studi di Milano Introduzione a Logisim Gabriella Trucco Dipartimento di Informatica Via Celoria Milano (MI)

2 Logisim Strumento software che permette di progettare e simulare circuiti logici digitali

3 Esempio Realizziamo un semplice circuito che, dati due segnali in ingresso A e B, calcoli (A AND B)

4 Esempio Simulazione Componenti di uso frequente Libreria componenti
Proprietà componente selezionato Zoom area di lavoro Simulazione

5 Operatori logici e proprietà
Ordine di precedenza in assenza di parentesi Richiamo delle proprietà fondamentali

6 Esercizio 2 Si riproduca in Logisim il seguente circuito:
Si determini l’espressione logica di tutte le uscite (intermedie e finale) Si scriva la tabella di verità del circuito

7 Esercizio 2 Label sui segnali (intermedi e finale)

8 Esercizio 2 Tabella di verità

9 Esercizio 3 Dati due segnali A e B, si implementi un circuito che calcoli A XNOR B senza usare porte composte (NAND, NOR, XOR, XNOR) Si derivi la tabella di verità e si osservi la funzione logica risultante

10 Esercizio 3 Dati due segnali A e B, si implementi un circuito che calcoli A XNOR B senza usare porte composte (NAND, NOR, XOR, XNOR) Si derivi la tabella di verità e si osservi la funzione logica risultante Suggerimento:

11 Esercizio 3 La funzione risultante è l’uguaglianza logica: possiamo usare XNOR per valutare l’uguaglianza del segnale in uscita a due diversi circuiti

12 Esercizio 3 Confronto il circuito prodotto precedentemente con la singola porta XNOR utilizzando un’ulteriore porta XNOR: Circuito precedente Porta XNOR Il segnale in uscita è 1 per qualsiasi configurazione degli ingressi: i due circuiti sono equivalenti

13 Esercizio 4 Sia data la seguente espressione logica:
Si derivi la tabella di verità (si indichino anche alcune sotto-espressioni) Si realizzi il circuito corrispondente e si verifichi la correttezza della tabella

14 Esercizio 4 Tabella di verità:

15 Esercizio 4 Circuito:

16 Esercizio 5 Dimostrare tramite manipolazioni algebriche (specificando le proprietà usate) che: dove: Si implementino i circuiti di E1 e E2 e si verifichi l’equivalenza tramite la porta XNOR

17 Esercizio 5 Dimostrare tramite manipolazioni algebriche (specificando le proprietà usate) che: dove: Si implementino i circuiti di E1 e E2 e si verifichi l’equivalenza tramite la porta XNOR

18 Esercizio 5

19 Esercizio 6 Si consideri la seguente espressione:
Si implementi il circuito corrispondente usando la sola porta NAND Si mostri, con passaggi algebrici e confronto tra circuiti, che è equivalente a

20 Esercizio 6 Come realizzare NOT, OR, NOR con la sola NAND? E AND? OR

21 Esercizio 6

22 Esercizio 6

23 Esercizio 6 Confronto con utilizzando la porta XNOR