Sprawozdanie ćw. 209 PDF

Preview

Summary

Sprawozdanie z wszystkich zadań wykonanych w ramach ćwiczenia nr 209
Dariusz Banasiak...

Description

SPRAWOZDANIE Z LABORATORIUM LOGIKI UKŁADÓW CYFROWYCH Numer ćwiczenia 206 Temat ćwiczenia Komputerowa analiza automatów skończonych Numer grupy ? Termin zajęć śr. 11:15, 21.11.2018 r. Skład grupy Prowadzący Ocena 1. Radosław Lis 241385 Dr inż. Dariusz Banasiak 2. Igor Klepuszewski 241127

1

Cel ćwiczenia

Celem ćwiczenia jest opanowanie umiejętności przeprowadzania analizy automatu skończonego w zakresie identyfikacji grafu automatu przy pomocy komputera.

2

Przebieg ćwiczenia

2.1

Komparator szeregowy porównujący od najmłodszego bitu

2.1.1

Graf automatu Moore’a

2.1.2

Idea pracy

Jako ciąg wejściowy wprowadzana jest liczba x złożona z dwóch bitów, po kolei liczby A i liczby B: X = {00, 01, 10, 11} Zaś ciągiem wyjściowym jest liczba y, która określa stan, w którym znajduje się układ: Y = {00, 01, 10} 1

2.1.3

Tabela prawdy

❵❵❵ A

❵❵❵x =< a, b > ❵❵❵ ❵❵❵ 0(q 0(q1 )

00(z 00( 00(zz11))

01( 01(zz2 )

10( 10(z z33)

11(z 11( z44)

y

0

1

2

0

00(y1 )

1(q2 ) 1(q

1

1

2

1

01(y2 )

2(q 2(q3 )

2

1

2

2

10(y3 )

gdzie: stan 0 - liczby A i B są równe, stan 1 - liczba A jest mniejsza od B, stan 2 - liczba A jest większa od B

2.1.4

Równanie grafu G = 00(q11 1 (z3 q2 2 (z2 q3 3 (z3 q2 , z1 q3 , z4 q3 , z2 q3 )3 , z1 q2 , z4 q2 , z3 q2 )2 , z2 q3 , z1 q1 , z4 q1 )1 )0

2.2

Testowanie automatu

Do programu wprowadzone zostały - ciąg sygnałów wejściowych Z = {z1 , z2 , z3 , z4 } oraz równanie grafu z punktu 2.1.4, następnie zostały przeprowadzone 3 symulacje mające dać w wyniku odpowiedni sygnał wyjściowy: 2.2.1

Symulacja A > B

A = {ai , a(i−1), ...a2 , a1 } = 1101 B = {bi , b(i−1), ...b2 , b1 } = 1011 ai

bbii

qqii(t) (t)

xi (t)

qi (t + 1)

yi (t + 1)

1

1

q1

z4

q1

y1

1

0

q1

z3

q2

y2

0

1

q2

z2

q3

y3

1

1

q3

z4

q3

y3

Końcowym ciągiem wyjściowym jest y3 , czyli stan oznaczający, że A > B 2.2.2

Symulacja A < B

A = {ai , a(i−1), ...a2 , a1 } = 101 B = {bi , b(i−1), ...b2 , b1 } = 111 ai

bbii

(t) qqii(t)

xi (t)

qi (t + 1)

yi (t + 1)

1

1

q1

z4

q1

y1

0

1

q1

z2

q2

y2

1

1

q2

z4

q2

y2

Końcowym ciągiem wyjściowym jest y2 , czyli stan oznaczający, że A < B

2

2.2.3

Symulacja A = B

A = {ai , a(i−1), ...a2 , a1 } = 1000 B = {bi , b(i−1), ...b2 , b1 } = 1000 ai

bbii

qqii(t) (t)

xi (t)

qi (t + 1)

yi (t + 1)

1

1

q1

z1

q1

y1

0

0

q1

z1

q1

y1

0

0

q1

z1

q1

y1

0

0

q1

z4

q1

y1

Końcowym ciągiem wyjściowym jest y1 , czyli stan oznaczający, że A = B

3

Wnioski

Jak widać, testowanie automatu przebiegło poprawnie i ciągi wyjściowe zgadzały się ze stanem rzeczywistym, co oznacza, że zarówno graf jak i jego równanie zostały prawidłowo wykonane. Graf można było również skonstruować ”w drugą stronę”, czyli porównując liczby od najstarszego bitu, w tym przypadku już pierwszy wynik (nie licząc 00(z1 )) określa ostateczną relację między liczbami, co oznaczałoby szybszą pracę układu.

3...