Sintesi: Assegnamento degli stati. Sintesi Sequenziale Sincrona Sintesi Comportamentale di reti Sequenziali Sincrone. Sintesi: Scelta del codice

Documenti analoghi
Minimizzazione degli Stati in una Rete Sequenziale Sincrona

Macchine non completamente specificate. Sintesi Sequenziale Sincrona Sintesi Comportamentale di Reti Sequenziali Sincrone

Minimizzazione degli Stati in una Rete Sequenziale Sincrona

Minimizzazione degli Stati in una macchina a stati finiti

Circuiti Sequenziali Macchine Non Completamente Specificate

Elettronica dei Sistemi Digitali Sintesi di porte logiche combinatorie fully CMOS

Informatica 3. Informatica 3. LEZIONE 25: Algoritmi sui grafi. Lezione 25 - Modulo 1. Problema. Notazioni per il percorso più breve

Macchine non completamente specificate. Sintesi Sequenziale Sincrona Sintesi Comportamentale di Reti Sequenziali Sincrone

Circuiti Nel progettare un circuito destinato a svolgere una certa funzione normalmente si hanno a disposizione i seguenti elementi:

a b }. L insieme Q è pertanto l insieme delle frazioni.

Laboratorio di Algoritmi e Strutture Dati Ingegneria e Scienze Informatiche - Cesena A.A

j Verso la scuola superiore Gli insiemi N, Z, Q, R

Sistemi lineari COGNOME... NOME... Classe... Data...

Sintesi. Sintesi Sequenziale Sincrona Sintesi comportamentale di reti sequenziali sincrone. Riduzione del numero degli stati

Esempio 1 Consideriamo un grafo G con insieme di nodi. mentre l insieme di archi é il seguente sottinsieme di coppie di nodi in V

Sintesi. Sintesi Sequenziale Sincrona Sintesi comportamentale di reti sequenziali sincrone. Riduzione del numero degli stati

Esercizi per il corso di Calcolatori Elettronici. svolti da Mauro IACOVIELLO & Fabio LAUDANI

1 a. 1 b. Rappresenta i seguenti numeri su una retta orientata, scegliendo autonomamente una opportuna unità di misura. b 1

Aquadue Duplo. Guida all utilizzo. click! NEW! ON! c. Collegare il programmatore al rubinetto.

Lezione 2: tanti tipi di problemi, anche insolubili

Modelli dei Sistemi di Produzione Modelli e Algoritmi della Logistica

RACCORDI PER APPLICAZIONI SPECIALI GIUNTI ECCENTRICI E CONICI

Aquauno Video 2 Plus

Laboratorio di Algoritmi e Strutture Dati Ingegneria e Scienze Informatiche - Cesena A.A

INTEGRALI. 1. Integrali indefiniti

Informatica II. Capitolo 5. Alberi. E' una generalizzazione della struttura sequenza

+ poligoni e l equivalenza di figure piane + triangoli + quadrilateri

Esercizi per il corso di Calcolatori Elettronici

Ellisse. L ellisse è il luogo geometrico dei punti del piano tali che la somma delle distanze da due punti fissi. definizione. P semidistanza focale

Test di autovalutazione

j Verso la scuola superiore Geometria euclidea e analitica

Algebra astratta +nsiemi Relazioni e funzioni Operazioni binarie e strutture algebriche Logica

Corso di Automi e Linguaggi Formali Parte 3

Corso di Automi e Linguaggi Formali Parte 4 Linguaggi liberi dal contesto

Algebra + numeri relativi +l calcolo letterale Equazioni, disequazioni, problemi

Trasformazioni geometriche +sometrie Omotetia e similitudine Teoremi di Euclide e teorema di Talete

Pesatura Obiettivo. Indicatori di risultato (Efficacia - Efficienza - Tempo)

Tecniche di Progettazione Digitale Progettazione e layout di porte logiche combinatorie CMOS p. 2

6) Nel 1991 Carl Lewis ha stabilito il record del mondo dei 100 m percorrendoli in 9,86 s. Qual è la velocità media in km/h?

Progetto di cinghie trapezoidali

Sintesi Sequenziale Sincrona Sintesi Comportamentale di Reti Sequenziali Sincrone

IL MOTO NELLA ZONA INSATURA

Esercizi di Algebra Lineare - Fogli 1-2 Corso di Laurea in Matematica 2 ottobre 2016

Soluzioni dei Problemi di controllo

Pesatura Obiettivo. N Capitolo Peg Fonte risorse Ammontare risorse. Indicatori di risultato (Efficacia - Efficienza - Tempo)

Strutture dati per insiemi disgiunti

Pesatura Obiettivo. Indicatori di risultato (Efficacia - Efficienza - Tempo)

Esercizi di matematica

Grandezze, funzioni empiriche e matematiche. 1 Stabilisci se le seguenti affermazioni sono vere o false.

ELABORAZIONE di DATI SPERIMENTALI

ESERCIZI SVOLTI DEL CORSO DI TRASMISSIONE NUMERICA

SICUREZZA SUL LAVORO SAFETY AT WORK SICUREZZA SUL LAVORO SAFETY AT WORK R R

Corso di Analisi: Algebra di Base 5^ Lezione Logaritmi. Proprietà dei logaritmi Equazioni logaritmiche. Disequazioni logaritmiche. Allegato Esercizi.

S kx. e che è dispari in quanto

Elettronica dei Sistemi Digitali Disegno del layout di porte logiche combinatorie CMOS

Logiche programmabili. Dispositivi Programmabili. Logiche programmabili - Modalità di programmazione. Connessioni

Elettra Evolution 1 OK! OK! Guida all utilizzo

GEODESIA: PROPRIETA GEOMETRICHE DELL ELLISSOIDE

Euristiche per il Problema del Commesso Viaggiatore

Studio di funzione. Pertanto nello studio di tali funzioni si esamino:

OLIGOPOLIO NON COOPERATIVO. Il modello di Cournot simmetrico. Funzioni obiettivo e condizioni di primo ordine

Che cosa c è nella lezione. Questa lezione si occupa di tecniche avanzate di risoluzione dei problemi: il backtracking. il paradigma greedy.

sicurezza sul lavoro safety at work R R Segnali di sicurezza per fontanelle e docce di emergenza per la decontaminazione UNI 7546/3

SPERIMENTAZIONE PROGETTO TELELAVORO CUSTOMER SERVICES

Quaderni del Dipartimento di Matematica Università degli Studi di Parma. Ottobre 1996 n. 152

Matematica 15 settembre 2009

CONOSCENZE. 1. La derivata di una funzione y = f (x)

Diagrammi di Influenza (Influence Diagrams: ID)

Funzione esponenziale e logaritmo. Proprietà di esponenziale e logaritmo.

Esercizi di Informatica Teorica

α = α λ e Essendo ( ) , sostituendo nella (81) si ottiene: (83) 3 (86) Possiamo adesso scrivere la soluzione generale della (81): ~ 2

a cura di Luca Cabibbo e Walter Didimo

Bar Pasticceria Gelateria

La rappresentazione per elencazione consiste nell elencare tutte le coppie ordinate che verificano la relazione

Appunti sulle disequazioni frazionarie

The cost of the material maintenance is averaged over the last 3 years.

I LIMITI DI FUNZIONI - CALCOLO

DETERMINA DI AGGIUDICAZIONE ARCA_2016_51 Gara per la fornitura di Dispositivi per Drenaggio Appalto Specifico

Nome Cognome classe 5D 16 Dicembre VERIFICA di MATEMATICA PROBLEMA

! è l'insieme A degli attributi di ! $ B IL PROBLEMA DELLE VISTE MATERIALIZZATE: PROBLEMI IL PROBLEMA DELLE VISTE MATERIALIZZATE

Ottimizzazione Combinatoria Sistemi di Indipendenza

Corso di ordinamento - Sessione suppletiva - a.s

ISTRUZIONI DI MONTAGGIO per controtelai SP

Problemi piani: L elemento triangolare a 3 nodi

= l. x 0. In realtà può aversi una casistica più amplia potendo sia x che f ( x) tendere ad un elemento dell insieme

COMBINAZIONI DI CARICO SOLAI

Fig. 1. 1) La resistenza totale della bobina vale: (*) 2) Il modulo B del campo di induzione magnetica B r nel punto medio M della spira vale: L (*)

Capitolo 8 - Complementi vari

Il campione. Il campionamento. Il campionamento. Il campionamento. Il campionamento

LE FRAZIONI LE FRAZIONI. La frazione è un operatore che opera su una qualsiasi grandezza e che da come risultato una grandezza omogenea a quella data.

Nuova gestione Agenzia Scrive - Civis

PROPORZIONI. Cosa possiamo dire di esse? Che la superficie della figura A sta alla superficie della figura B come 4 sta a 6.

Componenti per l elaborazione binaria dell informazione. Sommario. Sommario. Approfondimento del corso di reti logiche. M. Favalli.

Esercizi Circuiti Resistivi

Esercizi di Informatica Teorica

Utilizzo della funzione Adesivo stampabile. Utilizzo della schermata di modifica. Computer. Tablet. ScanNCutCanvas

la8 2B box docce con cristallo 8 mm Listino Prezzi

( ) ( ) ( ) [ ] 2 ( ) 18 9) DERIVATA DI UNA FUNZIONE COMPOSTA

METODO DEGLI ELEMENTI FINITI

5. La sintesi logica.

Transcript:

Sintsi: Assgnmnto gli stti Sintsi Squnzil Sinron Sintsi Comportmntl i rti Squnzili Sinron L riuzion l numro gli stti minimizz il numro i lmnti i mmori quini i vriili i stto h srivono l mhin sinttizzr A pri numro i stti l omplssità ll rt omintori h sinttizz l funzion δ ipn l prtiolr ssgnmnto slto pr gli stti Il prolm ll ssgnmnto gli stti L ssgnmnto gli stti trsform l tll gli stti in tll ll trnsizioni L tll ll trnsizioni rpprsnt in form inizil (mn l slt l istil) l insim ll tll ll itzioni ll mhin (mpp i Krnugh soggtt ffttiv sintsi) vrsion l 15/1/0 L inz i 1 (o 0) nll mpp i Krnugh onsntono i ottnr rti omintori più o mno omplss, pri mtoo i ottimizzzion - - Sintsi: Slt l oi Sintsi: gli stti Il prosso i oifi gli stti h l oittivo i intifir pr ogni rpprsntzion simoli llo stto un orrisponnt rpprsntzion inri. Du prolmi prllli: Slt l oi. A minimo numro i it n i lmnti i mmori= log S (oifi ns) On-Hot n i lmnti i mmori= S (oifi sprs) Distnz Minim Gli stti h sono in orrisponnz ll trnsizioni più frqunti sono post istnz Hmming più piol possiil ponno il vinolo l minor numro possiil i it. Intifizion ll oifi i ogni stto. Slto il oi, l oifi gli stti influis si sull r si sull prstzioni l ispositivo. Il prolm ll intifizion ll oifi ottim è un prolm NP-omplto Impon l uso i uristih pr prvr l influnz sul prosso i ottimizzzion ll intrzion tr il tipo i lmnto i mmori utilizzto l oifi slt. A smpio, il numro possiili oifih pr il oi minimo numro i it è: log S ( 1)! log S S! log S ( )! A smpio, on S = 8 si hnno 80 possiili oifih Spsso, slto il oi, si prfris non riorrr lun spifi strtgi i oifi. Il osto ll strtgi i oifi risptto ll ffiilità l risultto ottnuto è ritnuto ssivo. - 3 - - -

Sintsi: Slt l oi flop D Smplii oifih: inrio nturl on-hot on oifi rnom Binrio Nturl: Il numro i it è qullo minimo l primo stto orrispon l onfigurzion i it ssoit 0, l sono stto orrispon l onfigurzion i it ssoit 1... L orinmnto gli stti è qullo trminto in fs i rlizzzion ll tll gli stti. On-Hot: Il numro i it pr l oifi llo stto è pri l numro gli stti In ogni oifi, un solo it ssum vlor 1. Tutti i it rimnnti ssumono vlor 0 Si ossrvi h l oifih gli stti sono tutt istnz i hmming Esmpio: S 0 S 1 S Binrio nturl 00 01 10 On-Hot 001 010 100 Consirimo il so i oifi numro minimo i it utilizzo i flip flop D E possiil utilizzr mtoi uristii pr trminr oifih h possno prourr mhin on rti omintori smplifit un uon slt ll ssoizion oifi-stto Nl so i istili D è possiil intifir i ritri i slt smplii, poihè l tll ll trnsizioni ll mhin oini on l tll ll itzioni I ritri i slt si sno sul prinipio i gnrr il più possiil 1 (o 0) inti nll tll ll trnsizioni (itzioni) - 5 - - 6 - flop D flop D (ont.) Uno i mtoi utilizzili mnulmnt, su mhin on un numro i stti riotto, si s sull sgunti onsirzioni h gnrno vinoli i oifi, on ivrs priorità A. ALTA PRIORITÀ: S u stti s i s j hnno, pr l stss onfigurzion i ingrsso, lo stsso stto futuro è opportuno h s i s j ino oifih inti, in moo vr oppi i 1 o i 0 inti sull olonn Esmpio lt priorità. Tll ll trnsizioni S0 00 S0 S0 S0 S S1 1 00 00 00 11 01 1 S1 01 S1 S1 S1 S0 S1 0 01 01 01 00 01 0 S 11 S S S3 S0 S 1 11 11 10 00 11 1 S3 10 S3 S3 S3 S S3 0 10 10 10 11 10 0-7 - B. MEDIA PRIORITÀ: S u stti s i s j sono stti prossimi llo stsso stto orrisponono ingrssi inti, è opportuno h ino oifih inti, in moo vr oppi i 1 o i 0 inti sull righ C. BASSA PRIORITÀ: Nl so i mhin i Mly è possiil sprimr un ritrio nh rltivo ll usit (s s i s j hnno usit intih, pr qulh ingrsso, è opportuno h i u stti ino oifih inti) Esmpio mi priorità. Tll ll trnsizioni S0 S0 S0 S S1 1 S1 S1 S1 S0 S1 0 S S S3 S0 S 1 S3 S3 S3 S S3 0 S0 00 S1 01 S 11 S3 10-8 - 00 00 00 11 01 1 01 01 01 00 01 0 11 11 10 00 11 1 10 10 10 11 10 0

flop D (ont.) gli stti: Esmpio 1 I vinoli imposti i tr ritri i inz possono gnrr onflitti omunqu può risultr impossiil soisfrli A qusti vinoli può ssr ssoito nh un pso rltivo: rinlità l vinolo rivnt ll sm ll tll gli stti, opo vr pplito l rgol spost Noi onsirimo i vinoli i lt mi priorità utilizzimo il pso 0 1 5 stti: 3 vriili i stto Stti vnti lo stsso stto prossimo, oniviono, oniviono, oniviono Stti prossimi on ingrssi inti, stto prsnt, stto prsnt, stto prsnt, stto prsnt, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1-9 - - 10 - gli stti: Esmpio 1 Slt ll ssgnmnto, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1 Dll tll i vinoli, si ostruis il grfo, i ui rhi hnno un pso pri ll rinlità i vinoli. Il pso vin usto s non è possiil soisfr tutti i vinoli Grfo i vinoli on rhi psti Il grfo i vinoli, il lin i prinipio, rpprsnt l insim i sotto-ui i inz h vono ssr riportti nll mpp i oifi. Ciò è possiil solo s il grfo ottnuto è ostituito soli n-ui o unioni i sottoui S il grfo non è ostituito soli n-ui o unioni i n-ui, è nssrio tglir luni rhi L slt vin ftt liminno il minimo numro i rhi possiil utilizzno il pso om ritrio sonrio - 11 - - 1 -

gli stti: Esmpio 1 gli stti: Esmpio Grfo riotto tglino il numro minor i rhi Grfo inizil: non è un union i sotto-ui Mpp pr l oifi (vriili i stto) 00 01 11 10 0 1 000 100 010 001 011 00 01 11 10 S0 S0 S0 S S1 S1 S1 S1 S0 S1 S S S3 S0 S S3 S3 S3 S S3 stti: vriili i stto Stti vnti lo stsso stto prossimo, oniviono, oniviono s s, oniviono,s oniviono Stti prossimi on ingrssi inti,s stto prsnt,s stto prsnt, stto prsnt, stto prsnt, stto prsnt s, stto prsnt s, stto prsnt s,s stto prsnt s s, stto prsnt s, stto prsnt,,s,s s,, - 13 - - 1 - gli stti: Esmpio gli stti: Esmpio,,s,s s,, Dll tll i vinoli, si ostruis il grfo, i ui rhi hnno un pso pri ll rinlità i vinoli. Il pso vin usto s non è possiil soisfr tutti i vinoli Grfo i vinoli on rhi psti s s Grfo riotto tglino il numro minor i rhi Grfo inizil: non è un union i sotto-ui s s Mpp pr l oifi (vriili i stto) 0 1 0 1 s 00 01 s 11 10-15 - - 16 -

Altri ritri i ssgnmnto Strumnti i sintsi utomti Esistono mtoi h hnno lo sopo i iniviur pr l funzion δ un ipnnz riott ll vriili i stto Il mtoo ssgn, s possiil, gli stti in moo intifir i mouli h ipnono un numro i vriili i stto infrior qullo totl ll FSM Esistono strumnti spifii i sintsi utomti in gro i ottr ivrs strtgi pr finir l oifi gli stti In gnrl utilizzno l rgol spost pr intifir i vinoli i inz tr stti. Il ritrio i soisfimnto i vinoli ipn ll strtgi ottt h, spsso, può ssr finit l momnto ll ttivzion llo strumnto Il mtoo prtizion l vriili i stto (i istili) quini iniviu i mouli ostituiti un sottoinsim i istili un rt omintori h rlizz δ solo pr qul sottoinsim i vriili i stto l rti omintori risultnti sono in gnrl lolmnt mno omplss prhé ipnono, oltr h gli ingrssi, un numro riotto i vriili i stto Gli strumnti sono in gro i gstir un numro suffiintmnt lvto i vriili nll tll ll vrità ottnut ll ssgnmnto Prsuppongono i lvorr on Flip-Flop D il risultto ll ssgnmnto ll rltiv ottimizzzion ll rt omintori ipn nh ll tnologi implmnttiv prvist (s. PLA) - 17 - - 18 -