Software per Sistemi Embedded. problema punti massimi i tuoi punti problema 1 10 problema 2 10 problema 3 10 totale 20

Transcript

1 Software per Sistemi Embedded Laurea Magistrale in Ingegneria e Scienze Informatiche - Tiziano Villa 10 Febbraio 2017 Nome e Cognome: Matricola: Posta elettronica: problema punti massimi i tuoi punti problema 1 10 problema 2 10 problema 3 10 totale 20 1

2 1. Si consideri una funzione incompletamente specificata rappresentata con la seguente copertura F : a b c d c c c c c c c dove D rappresenta l insieme dei punti dove la funzione non e specificata: a b c d Si vogliono calcolare le sottocoperture irridondanti di quella data. Si faccia riferimento all algoritmo presentato in classe, dove s introduce una variabile y i per ogni cubo c i. 2

3 (a) Si descriva brevemente l algoritmo presentato in classe. Traccia di soluzione. Si vedano le note del corso. L algoritmo si basa due fatti: i. c F se e solo se F c = 1. ii. Una coperturna monotona e tautologa se c e almeno una riga che rappresenta l universo (riga di tutti 2). L obiettivo e calcolare g(y), cui si arriva calcolando g e poi complementando. Per calcolare g, si calcola F c per ogni cubo c F ; siccome c F deve risultare F c = 1 (se c F, a fortiori c F ). Sviluppando l albero del calcolo della tautologia di F c sino a foglie tutte monotone, ogni tale foglia indica attraverso le sue righe universali (fatte di 2) quali cubi dovrebbero essere rimossi contemporaneamente per scoprire almeno un punto di c, definendo un implicante di g. Complementando g, si ottiene la g(y), cioe le condizioni sui cubi c da tenere nella copertura finale per coprire tutti i punti coperti dalla F originale. Si deve tenere conto anche di D (copertura dei punti dove la funzione non e definita come 1 o 0), perche se un cubo c risultasse scoperto in punti che appartengono a D (indicato da una riga di 2 in D c ), allora tale foglia non porterebbe informazioni su cubi da non rimuovere contemporaneamente (perche la rimozione dei cubi corrispondenti a righe di 2 in F c scoprirebbe punti in D, come dimostrato da righe di 2 in D c ). Un implicante primo piu grande di g (cioe con meno letterali) definisce una sottocopertura irridondante di F di cardinalita mininima. 3

4 (b) Si scriva la funzione g(y) per ispezione della copertura data. Traccia di soluzione. Per ogni punto dove la funzione vale 1 (sono 9) si determinano i primi c i della copertura F che lo contengono (il primo ci e denotato dalla variabile y i ) y 1 + y y y 5 + y y y 1 + y 3 + y 4 + y y 2 + y 3 + y y 3 + y 4 + y y 4 + y 5 + y y 4 + y 5 + y 7 g(y) = (y 1 + y 6 )y 2 (y 5 + y 6 )y 5 (y 1 + y 3 + y 4 + y 6 )(y 2 + y 3 + y 7 ) (y 3 + y 4 + y 7 )(y 4 + y 5 + y 6 )(y 4 + y 5 + y 7 ). 4

5 (c) Si calcolino le funzioni g 4 (y) e g 5 (y), usando l algoritmo di tautologia modificato per determinare le condizioni che falsificano la tautologia. Si commentino i passi dell algoritmo. Traccia di soluzione. In conclusione risulta g 4 (y) = y 1 y 3 y 4 y 6 + y 3 y 4 y 7 + y 4 y 5 y 6 + y 4 y 5 y 7, g 5 (y) = y 5 y 6 + y 5 = y 5. 5

6 2. Si definisca l insieme completo dei guasti fissi ( stuck-at ) singoli per il seguente circuito combinatorio. Si riduca questo insieme mediante le regole di equivalenza strutturale e di dominanza, e si ottenga l insieme dei guasti fissi ( stuck-at ) collassati. Per un guasto interno al circuito si costruisca il vettore di test, identificando le fasi di attivazione, sensibilizzazione del cammino fino alle uscite e completamento del vettore. 6

7 3. Si descriva approfonditamente il concetto di analisi di vacuita e si spieghi come la simulazione di guasto possa essere usata per evitare l uso di tecniche formali. 7