Sprawozdanie ćw. 210-211 PDF

Preview

Summary

Sprawozdanie z wszystkich zadań wykonanych w ramach ćwiczenia nr 210-211
Dariusz Banasiak...

Description

SPRAWOZDANIE Z LABORATORIUM LOGIKI UKŁADÓW CYFROWYCH Numer ćwiczenia 210/211 Temat ćwiczenia Komputerowa synteza automatu z parametrem wewnętrznym Numer grupy 4 Termin zajęć śr. 11:15, 12.12.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 zapoznanie studentów z budową oraz ogólną charakterystyką układów kombinacyjnych w szczególności komparatorów, subtraktorów oraz koderów.

2 2.1

Przebieg ćwiczenia Tabela wyjść wyjście ❳❳ stan(q) sygnal(z) ❳❳❳❳❳ z1 z2

❳❳

2.2

❳❳

y1

y2

y1

y2

y3

y4

y3

y4

q1

q2

q3

q4

q5

q6

q7

q8

q2 q3

q3 q4

q4 q5

q5 q6

q6 q7

q7 q8

q8 q1

q1 q2

Graf zadanego automatu

1

2.3

Wyrażenie symboliczne reprezentujące graf

0 1 2 33 4 55 55 5 5 4 44 0 (z11qq66,, zz22qq77))44))33,, zz11qq33 3 (z1 q4 , z2 q5 )3 )2 )1 )0 G+ 1 (z2 q3 , z1 q2 (z2 q4 (z22q66 (z2 q8 (z11q11, z22q22) , z11q77 (z1 q8 , z2 q1 ) ) , z1 q5 (z i = (q1

2.4

Podział nr 1

2

2.5

Podział nr 2

3

2.6

3

Podział nr 3

Analiza i synteza wybranego podziału

Do analizy i syntezy wybraliśmy podział, w którym graf automatu E ma najmniej krawędzi, tj. podział nr 1, który ma jedynie 6 takich krawędzi.

3.1 3.1.1 ′

Automat B Wyrażenie symboliczne grafu automatu B ′

G + = G ++ = 00(b (b11 1 (z2 e1 b1 , z1 e1 b2 , z2 e2 b3 , z1 e2 b2 2 (z2 e1 b2 , z1 e1 b1 , z2 e2 b4 , z1 e2 b3 33(z (z22ee11bb11,,zz22ee22bb33,,zz11ee22bb44,,zz11ee11bb44 4 (z e b , z e b , z e b , z e b )4 )3 )2 )1 )0 1 1 1 2 2 4 2 1 2 1 2 3

4

3.1.2

Graf automatu B

3.2

Automat E

3.3

Wyrażenie symboliczne grafu automatu E ′+

G 3.3.1

= 00(e11 11(b (b11zz22ee22,, bb22zz11ee22,, bb22zz22ee22 2 (b3 z2 e1 , b4 z1 e1 , b4 z2 e1 )2 )1 )0

Graf automatu E

5

4

Synteza automatu

4.1 4.1.1

Określenie struktury logicznej Przejścia ze stanu b1 ′

G ∗∗ = 00(b (b11 1 ({[[b1 z2 ]e1 ]}b1 , {[[b1 z2 ]e2 ]}b3 , {[[b1 z1 ]e1 ], [[b1 z1 ]e2 ]}b2 22(...))

4.1.2

Przejścia ze stanu b2 ′

G ∗∗ = ...b ...b22 2 ({[[b2 z1 ]]ee1 ]}b1 , {[[b2 z2 ]]ee2 ]}b4 , {[[b2 z2 ]]ee1 ]}b2 , {[[b2 z1 ]]ee2 ]}b3 3 (...))

6

4.1.3

Przejścia ze stanu b3 ′

...b33 3 ({[[b3 z2 ]]ee1 ]}b1 , {[[b3 z2 ]]ee2 ]}b3 , {[[b3 z1 ]]ee1 ], G ∗∗ = ...b ], [[b [[b3 z1 ]]ee2 ]}b4 3 (...))

4.1.4

Przejścia ze stanu b4 ′

]}b11,, {[[b {[[b44zz22]]e ]}b22,, {[[b {[[b44zz11]]e ]}b33,, {[[b {[[b44zz22]]e ]}b44))44))33))22))11))00 G ∗∗ = ...b4 44(({{[[[[bb44zz11]]e e11]}b e11]}b e22]}b e22]}b

7

4.2

Graf automatu A

8...