Platformdeelearningicurriculecontent pentrunvmntulsuperiortehnic

ProiectareaLogic

08.Sintezacircuitelorsecventiale

Proiectarea Logic SINTEZA CIRCUITELOR SECVENTIALE Proiectarea unui semafor rutier avansat pentru o intersecie urban

Se consider intersecia rutier dintre Calea tiinei i Bulevardul Academiei aa cum este aceasta reprezentat schematic n figura 1.

Calea Cercetrii

STC

SmA SmC Bulevardul Academiei SmA STA SmC STA

STC

Figura 1. Intersecia rutier cu semafoarele i senzorii de trafic asociai.

Semafoarele SmA i SmC sunt conduse printr-un automat secvenial care are drept linii de intrare senzorii de trafic STA i STC. Senzorii de trafic au valoarea 1 ori de cte ori sunt prezente autovehicule n perimetrul acestora. Semafoarele vor fi conduse prin trimiterea unor semnale specifice culorilor Verde, Galben i Rou. Linia de ceas (semnalul Ceas) va avea perioada de 5 secunde, avnd n vedere viteza de producere a evenimentelor la nivelul unei intersecii rutiere. Va fi prevzut un

Proiectarea Logic

semnal de iniiere al automatului, notat Start. Acest semnal va produce aducerea automatului ntr-o stare dinainte stabilit, de fiecare dat cnd Start are valoarea 1. n figura 2 este nfiat diagrama de tranziii a strilor acestui automat. Sunt cuprinse toate strile posibile ale automatului ca i toate tranziiile posibile ale acestuia. Semnalul asincron Start, venit de undeva din afara sistemului (un buton acionat de un operator uman, spre exemplu) i asociat strii S0 descrie modul n care acest semnal efectueaz iniializarea automatului. Cu alte cuvinte, aceasta semnific faptul c n prezena semnalului Start automatul trece n starea S0 independent de starea avut anterior ca i de celelalte semnale din sistem.
STA = 1 Start S0 SmA = Verde, SmC = Rou,

STA = 0

S3 SmA = Rou, SmC = Galben,

S1 SmA = Galben, SmC = Rou,

STC = 0

S2 SmA = Rou, SmC = Verde, STC = 1

Figura 2. Diagrama de tranziii a strilor automatului care conduce semafoarele din figura 1.

n figura 2 atunci cnd unei stri i este asociat o singur tranziie posibil (starea S1, spre exemplu) aceasta revine la a spune c la sosirea urmtorului impuls de ceas

Proiectarea Logic

automatul va tranzita necondiionat n starea urmtoare (din starea S1 va tranzita n starea S2, spre exemplu). Atunci cnd, n figura 2, unei stri i sunt asociate mai multe tranziii, respectiv mai multe arce, fiecare tranziie este caracterizat prin linia de intrare care va determina respectiva tranziie. Din starea S0, spre exemplu, automatul va tranzita n starea S1 doar atunci cnd linia de intrare STA va lua valoarea 0, altfel va continua s rmn n starea S0, ct vreme linia de intrare STA va lua valoarea 1 (sunt vehicule n zona senzorilor de trafic A). Valorile liniilor de ieire sunt determinate prin starea respectiv a automatului. Astfel, n starea S2 automatul va atribui semaforului SmA valoarea Rou i semaforului SmC valoarea Verde, spre exemplu. Diagrama de tranziii a strilor din figura 2 este abstract prin faptul c att strile ct i valorile liniilor de ieire au valori simbolice. Diagrama tranziiei strilor din figura 2 este translatat ntr-un tabel simbolic al tranziiilor strilor automatului care conduce semafoarele din figura 1. Acest tabel simbolic descrie modul n care tranziteaz automatul dintr-o stare simbolic ntr-alta, deasemenea, simbolic (necodificat binar). Tabelul simbolic al tranziiilor strilor automatului se poate vedea n tabelul 1.
Tabelul 1. Tabelul simbolic al tranziiilor strilor automatului. Starea Starea Intrri urmtoare curent STC STA S0 0 X S1 S0 1 X S0 X X S2 S1 X 0 S3 S2 X 1 S2 S2 X X S0 S3

n coloanele liniilor de intrare, din tabelul 1, valorile nedeterminate sunt nscrise simbolic prin X. Astfel, ori decte ori tranziia n starea urmtoare nu depinde de valoarea unei anumite linii de intrare valoarea acesteia va fi notat X. De remarcat faptul c linia de iniializare, linia Start, nu este inclus n tabelul 1. Aceasta se justific prin faptul c larga majoritate a bistabililor au linii asincrone de intrare care permit iniializarea acestora n starea dorit printr-o atribuire controlat prin linia Start, independent de valoarea celorlalte linii de intrare ale automatului.
Tabelul 2. O codificare binar a strilor automatului. Codificarea binar a Starea simbolic strii simbolice s1s0 S0 00 S1 01 10 S2 11 S3

Pentru proiectarea unui astfel de automat trebuie s se atribuie codificri binare ale liniilor de ieire i ale strilor automatului.

Proiectarea Logic Tabelul 3. O codificare binar a ieirilor automatului. Ieiri simbolice Codificarea binar a ieirilor 00 Verde 01 Galben 10 Rou

Sunt artate, n tabelul 2, o codificare binar natural a strilor iar n tabelul 3 o codificare a liniilor de ieire ale acestui automat.
Tabelul 4. Tabelul tranziiilor strilor cu codificri binare Starea curent Intrri Starea urmtoare s0+ s0 s1 s1+ STC STA 0 0 0 X 0 1 0 0 1 X 0 0 0 1 X X 1 0 1 0 X 0 1 1 1 0 X 1 1 0 1 1 X X 0 0

Cu aceste codificri stabilite, tabelul 1 al tranziiilor strilor simbolice se poate transcrie aa cum se poate vedea n tabelul 4, tabelul tranziiilor strilor cu codificri binare.
Tabelul 5. Tabelul codificat binar al strilor i al liniilor de ieire Starea curent Liniile de ieire s0 s1 SmA1 SmA0 SmC1 SmC0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 1 1 1 0 0 1

Tabelul 5, tabelul ieirilor codificate binar descrie modul n care sunt asociate liniile de ieire, codificate binar, strilor curente ale automatului deasemenea codificate binar. Din tabelul 4 se deduc ecuaiile strilor urmtoare:
s1+ = s1s0 + s1s0STC + s1s0STC s0+ = s1s0STA + s1s0STC (1.a) (1.b)

Ecuaia (1.a) se poate simplifica, utiliznd eventual metoda diagramelor Karnaugh. Astfel, ecuaiile (1) se pot rescrie:
s0
+

s1+ = s1 s0 = s1s0STA + s1s0STC

(2.a) (2.b)

Similar, dar din tabelul 5 se pot deduce ecuaiile liniilor de ieire (ecuaiile celor dou semafoare):
SmA1 = s1 SmA0 = s1s0 SmC1 = s1 SmC0 = s1s0 (3.a) (3.b) (3.c) (3.d)