Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri...

21
Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dell’informazione RETI LOGICHE insegna a descrivere ed a progettare …..

Transcript of Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri...

Page 1: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Luigi Di StefanoEugenio FaldellaRoberto LaschiStefano MattocciaTullio Salmon

Aspiranti ingegneri dell’informazione

RETI LOGICHE insegnaa descrivere eda progettare…..

Page 2: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Le macchine digitali

Le Macchine digitali sono Sistemi artificiali che elaborano informazioni

•ogni informazione è descritta da variabili che

possono assumere solo un numero finito di valori•Ad ogni variabile è associata una grandezza fisica

Se questo numero finito è 2, allora si parla di macchina binaria

Page 3: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Esempio di sistema di elaborazione digitale

La lampadina è accesa se almeno un interruttore è chiuso

Ingressi (Cause) Uscita (Effetto)

“aperto” corrente SI “chiuso” corrente NO

i1

i2

+

-

Sistemadigitale

1 uscita 2 ingressi

(da elaborare) (Risultato)u

i1 i2 ua a noa c sic a sic c si

La tabella che descrive l’elaborazione effettuata su

i1 e i2

si chiama Tabella della Verità

Page 4: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Esempi di macchine digitali• Il telefonino

• Il personal computer

• Gli strumenti biomedicali

• Le unità di controllo delle macchine automatiche

• Le centraline dei mezzi di trasporto

• I Bancomat e i sistemi di emissione automatica di biglietti

• Le centrali telefoniche

• Gli apparati di rete (router, switch, gateway, modem)

• I server

• I sistemi di produzione dei media

• ……..

Page 5: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

La macchina digitale “programmabile”

Software

Hardware

Software Applicativo

Linguaggio di Programmazione

Software di base

Processore, Memoria, I/O, Bus

Reti logiche

Famiglie e Librerie di Circuiti

Circuiti elettronici

Livello architettonico

Livello logico

Livello fisico

Registri, Contatori, Selettori, Alu, ecc.

Instruction Set

Interruttori elettronici

Page 6: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Livello Architettonico

L’hardware del calcolatore si interfaccia con il software attraverso il suo set di istruzioni (linguaggio macchina )

Ogni blocco della struttura è costituito da circuiti elettronici digitali

Bus di sistema

Unità di elaborazione

PCALU

RegistriCache

Memoriaprincipale

Programma

Dati ingressi e uscitelocali

Registri ditransito e di stato

Interfacce

Struttura del calcolatore (macchina digitale a esecuzione sequenziale e programma memorizzato)

Rete

Page 7: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Tecnologia elettronica: piastre e connettori

StandardSCSIPCMCIA……..

Page 8: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Tecnologia elettronica: chip e contenitori

StandardDIP PCC PLCC CERQUAD

…… SECC

Anno Sigla interruttori/chip 1968 SSI 30 1970 MSI 300

1972 LSI 3.000 1975 VLSI 30.000 1992-5 UVLSI 3.000.000

Page 9: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

1.1 - Descrizione e progettazione1.2 - Il modello del comportamento1.3 - La proprietà di decomposizione

Capitolo 1

Sistemi digitali

Page 10: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

1.1 Descrizione eprogettazione

Cosa fa?

Come è fatto?

Un sistema digitale:

Page 11: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Struttura & Comportamento

COMPORTAMENTO: “vista” della macchina focalizzata sulle risposte fornite a seguito di ogni possibile sollecitazione esterna

STRUTTURA: “vista” della macchina focalizzata sui componenti e sulle modalità con cui interagiscono

Sistemadigitale

usciteingressi

causa effetto

Page 12: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Descrizionedella

STRUTTURA

Descrizionedel

COMPORTAMENTO

Sintesi

Analisi

Analisi & Sintesi astrazione

cosa fa

come èfatta

Page 13: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

•Ogni livello di questa gerarchia individua strutture formate da componenti

“astratti” il cui comportamento e la cui struttura è definita nel livello sottostante

• Scendendo dall’alto verso il basso aumenta il numero di componentie diminuisce la complessità dell’azione svolta da ciascuno

Livelli di descrizione

• La descrizione del comportamento può essere più e più volte decompostain comportamenti più semplici

Page 14: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Il progetto o sintesi

Descrizione del

comportamento

Elenco dei componenti disponibili, del loro comportamento e delle modalità con cui farli interagire

Metodologie per l’ottimizzazione del

costo e delle prestazioni

Descrizionedella

struttura

Page 15: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Noi ci occuperemo del livello logico

Hardware

Processore, Memoria, I/O, Bus

Reti logiche

Famiglie e Librerie di Circuiti

Circuiti elettronici

Livello architettonico

Livello logico

Livello fisico

Registri, Contatori, Selettori, Alu, ecc.

Instruction Set

Interruttori elettronici

software

Gli interruttori elettronici sono Dispositivi a tre morsetti:

il primo controlla il passaggiodi corrente tra gli altri due

1

2 3

1

2 3

Page 16: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Azionamento elettronico

Causa Effettovalore “alto” corrente SIvalore “basso” corrente NO

Correnteelettrica

Correnteelettrica

Correnteelettrica

Tensioneelettrica

il transistorebipolare unipolare

interruttore!

Page 17: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

interruttore elettronicoaperto da L

e chiuso da H

H

L

Forma d’ondadella tensioneo della correntedi ingresso nelmorsetto di controllo

tempo

Causa/effetto nell’interruttore elettronico

Page 18: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Tecnologia e prestazioni

Azionamento Potenza Ingombro Velocità

Manuale decimetri secondi

Elettrico watt centimetri ms

Elettronico nw micron ns

evoluzione

Page 19: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Livello logico

Livello logico - Astrazione del livello fisicoin cui si prescinde da ogni aspetto tecnologicoper poter studiare e progettare complesse strutture, o “reti”, di interruttori da impiegare come componenti nel livello architettonico.

Page 20: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Livelli di progettazione

Prodotto dilivello 0

Prodotto dilivello 1

Prodotto dilivello n-1

Livello diprogetto 0

Componenti “primitivi” per il livello 0

Livello diprogetto 1

Componenti “primitivi” per il livello 1

Livello diprogetto n

Livello diprogetto n- 1

Componenti “primitivi” per il livello n-1

Comportamentodel sistema

Struttura formata da sottosistemi

Comportamentidei vari sottosistemi

Strutture formate da parti più semplici

Schemi circuitali

Andamenti di tensioni e di correnti elettriche

Gestione di fenomeni fisici e chimici all’interno di materiali

Page 21: Luigi Di Stefano Eugenio Faldella Roberto Laschi Stefano Mattoccia Tullio Salmon Aspiranti ingegneri dellinformazione RETI LOGICHE insegna a descrivere.

Azionamento manuale