Di Ilaria Bertoletti Progetto Asincrono Esame Reti Logiche 30/01/13

Una ditta specializzata in confezionamenti di ananas costruisce una rete logica per ottimizzare la propria produzione. La rete è formata da un nastro trasportatore, dove scorrono i prodotti che devono essere sottoposti ad un controllo, e due sensori in alto posti ad una distanza tale da individuare i prodotti che rispettano lo standard. Se lesito del controllo è positivo allora il prodotto è idoneo alla vendita e viene incanalato in ceste apposite altrimenti viene scartato e destinato allinscatolamento del prodotto sciroppato. Lincanalamento è effettuato da un braccio motorizzato che ostacola il passaggio nella zona sbagliata: se il braccio è alzato (C=0) significa che il prodotto ha passato il controllo di qualità altrimenti il braccio è abbassato(C=1). La rete poi provvede ad ottimizzare anche i tempi di controllo per aumentare la produzione, infatti il nastro trasportatore è dotato di tre velocità: fermo(N=00), normale (N=01) ed extra-speed (N=11).

La velocità normale del nastro è attiva quando si stanno controllando i prodotti e quando si resetta la rete, mentre quella extra-speed entra in gioco quando non ci sono prodotti in fase di analisi per far sopraggiungere ai sensori più rapidamente gli ananas da controllare. Le velocità vengono attivate automaticamente dalla rete e quella extra- speed viene disattivata non appena si presenta un prodotto da controllare. Inoltre è prevista la possibilità di fermare il nastro in caso di emergenza o al sopraggiungere di un prodotto che non è un ananas e in qualsiasi momento tramite un pulsante azionato da un addetto. Tale pulsante è fatto in modo che rimane premuto e solo dopo il suo rilascio(unaltra pressione del pulsante) il nastro riprende la sua velocità e se si stava facendo un controllo su un prodotto corretto è necessario rimettere il prodotto in coda per verificarlo di nuovo o laddetto scarta direttamente il prodotto. Si pone la regola che laddetto faccia ripartire il nastro mentre non ci sono prodotti sotto i sensori per un corretto funzionamento della rete e una valutazione corretta del prodotto stesso.

Si riporta integralmente il codice VHDL utilizzato per realizzare la rete volta a risolvere il problema proposto.

Si ricorda che N(1) identifica il bit meno significativo e N(2) quello più significativo. Inoltre C identifica il braccio meccanico utile ad incanalare i prodotti nel modo corretto in base allanalisi fatta. Per la realizzazione del codice VHDL si sono utilizzate le funzioni sintetizzate senza la risoluzione delle corse critiche

La rete realizzata in codice VHDL risponde perfettamente a tutti gli stimoli forniti dal test bench. La simulazione behavioral funziona correttamente e ottengo i risultati sperati. Infatti il reset=1 mi permette di settare la rete in uno stato iniziale in cui C=1 (ovvero suppongo che il prodotto non sia conforme) scelto in modo arbitrario e la velocità del nastro è 01 ovvero il nastro procede a velocità normale. Successivamente i test vanno a controllare il comportamento della rete durante il controllo di un prodotto conforme allo standard. Si ha la configurazione dei sensori A=1 e B=1 e ciò comporta C=0 correttamente, mentre il nastro continua a procedere a velocità normale. Appena A=0 e B=0 la velocità del nastro passa a speed.

Dopo di che si è voluto testare il funzionamento del pulsante stop, in grado di fermare il nastro su cui vengono trasportati gli ananas. Esso agisce sulla velocità del nastro solo se è premuto e se viene mantenuto il suo stato di pressione così come richiesto. Inoltre si è rispettata la condizione richiesta che dopo il rilascio dello stop il sistema deve trovarsi nella condizione A=0 e B=0, ovvero non devono esserci prodotti in fase di analisi per il corretto funzionamento della rete. Il nastro procede dunque a velocità speed perché non ci sono prodotti. Il test successivo denota come non appena sopraggiunge un prodotto al primo sensore la velocità del nastro passa da 11 a 01, ovvero rallenta riprendendo la velocità normale. Altro risultato efficiente ottenuto dalla rete lo notiamo nel caso in cui il prodotto non è conforme allo standard. Le uscite funzionano correttamente ovvero C=1 e il nastro nonostante vi sia un momento in cui A=0 e B=0 prima che B=1 non passa alla velocità speed ma continua normalmente perché giustamente sta analizzando un prodotto non conforme.

Con la simulazione Post-Route si nota che la rete ha dei ritardi ma ciò non danneggia il funzionamento complessivo della rete. Inoltre sono presenti anche degli impulsi spuri di 1 o 2 ns dove alcuni non compromettono le uscite mentre altri le alterano per pochi nano secondi. In questa simulazione rispetto alle precedenti si è messo in evidenza anche il comportamento delle variabili interne y1,y2,y3.

Si riporta il codice integrale dei test per verificare la correttezza della rete

Il seguente codice è identico sia per la versione VHDL che per la versione con Schematico per controllare che entrambe le reti rispondano allo stesso modo agli stimoli