Politecnico di Milano Dipartimento di Elettronica, Informazione e Bioingegneria prof.ssa Anna Antola Reti Logiche – Appello del 12 settembre 2014 Matricola ____________ Firma Cognome __________________________ Nome_____________________ Non è possibile consultare libri, eserciziari, appunti, né comunicare. Non è possibile utilizzare alcun dispositivo elettronico. Non è possibile lasciare l’aula conservando il tema della prova in corso. Tempo a disposizione: 2h:15m. Esercizio 1 (8punti) Esercizio 2 (8punti) Esercizio 3 (8punti) Esercizio 4 (8punti) Esercizio n. 1 – Sintesi combinatoria Date le funzioni F = x’y’z + x’y + yz’ G = xy’z + x’yz’ + x’z Si effettui la sintesi ottima del circuito multi-uscita, utilizzando sia il metodo delle mappe di Karnaugh sia il metodo di QuineMcCluskey con funzione di costo il numero di letterali. Si risponda - con motivazioni adeguate - alle seguenti domande (se applicabili all’esercizio considerato): • mostrare perché Quine-McCluskey con funzione di costo il numero di letterali oppure con funzione costo la cardinalità portano allo stesso risultato • mostrare perché il metodo di Karnaugh e il metodo di Quine-McCluskey portano allo stesso risultato Esercizio n. 2 – Sintesi sequenziale Si consideri la macchina sequenziale sincrona a 3 ingressi a, b, c e un’uscita Y così definita: 1. la funzione di uscita λ è descritta tramite la rete multilivello: V1 V2 V3 Y = ac + !Q1 + !aQ2 + !Q1Q2a + bc = a!Q2!V1 + b!Q2!V1 + !Q2V1 = a + b = Q1!V2 + Q3 dove Q1, Q2, Q3 rappresentano le variabili di stato presente del contatore che specifica la funzione δ (vedi sotto) e V1, V2 e V3 sono nodi intermedi. 2. La funzione stato prossimo δ è descritta tramite il ciclo di conteggio sotto riportato Q3 1 0 1 1 0 Q2 1 1 0 0 1 Q1 0 0 1 0 1 Per realizzare la macchina si svolgano i seguenti punti: 1. applicare in sequenza alla rete multilivello le trasformazioni sotto elencate mostrando tutti i passaggi e utilizzando gli algoritmi argomento del corso a. COST( ): Calcolo del numero di letterali. La funzione COST() calcola il costo in letterali indipendentemente dalla forma (SOP o Multilivello) delle espressioni algebriche dei nodi. b. SIMPLIFY(V1): Minimizzazione a due livelli di V1 c. FACTOR(V2): Fattorizzazione del nodo V2 d. FACTOR(V1): Fattorizzazione del nodo V1 e. SUBSTITUTE(V3): Inserimento del nodo V3 ove possibile f. SIMPLIFY(V2): Minimizzazione a due livelli di V1 g. COST( ): Calcolo del numero di letterali NB: nell’applicare l’algoritmo di Factor ( ) elencare i letterali nel seguente ordine: variabili di ingresso, variabili di stato, nodi intermedi utilizzando ordine crescente e con forma naturale e quindi negata. 2. Sintetizzare in modo ottimo il contatore secondo il metodo visto nel corso utilizzando FF di tipo D e riportare le equazioni algebriche delle funzioni stato prossimo D3, D2, D1 3. Disegnare lo schema del circuito della macchina data così come risulta dalle sintesi parziali dei punti precedenti. Esercizio n. 3 – Sintesi sequenziale Una macchina a stati è dotata di due ingressi A ed B ed un’uscita Z. Inizialmente Z assume il valore di B. Quando su A si rilevano due 1 consecutivi, Z assume valore B’ (dall’uscita successiva al rilevamento del secondo 1). Successivamente, quando su A si rilevano due 1 consecutivi, Z assume il valore di B e così via (vedi esempio sotto). Le sequenze di 1 su A non sono sovrapposte. Effettuare la sintesi ottima della macchina a stati, facendo uso di bistabili di tipo T e arrivando a disegnare il circuito risultante. Esercizio n. 4 – Sintesi sequenziale Data la tabella degli stati della macchina sequenziale non completamente specificata si esegua l’analisi di compatibilità e si calcolino i compatibili massimi tramite l’albero di compatibilità. a b c d e f g 00 b,b,g,0 d,1 -,f,1 c,0 01 g,1 c,1 -,c,g,b,0 b,- 11 -,0 a,a,1 g,c,-,0 -,- 10 d,e,1 -,a,-,a,1 -,- Una volta individuati i compatibili massimi e i loro vincoli si individuino gli eventuali vincoli rielaborati per garantire la chiusura della copertura con un numero di compatibili massimi inferiore al totale. Si determini una copertura ottimale, applicando l’algoritmo di copertura visto a lezione e utilizzando come classi di compatibilità i compatibili massimi e i vincoli rielaborati individuati al punto precedente. Si derivi la nuova tabella degli stati. Reti Logiche – Appello del 12 settembre 2014 pagina 2 di 2
© Copyright 2024 ExpyDoc