Simplification of StilCiitSequential...

Chapter 9

Simplification ofS ti l Ci itSequential Circuits

9. Simplification of Sequential Circuits

9.1 State reduction: 함축표 법

9.2 State reduction: 등가 클래스 법

9 3 Choosing a State Assignment9.3 Choosing a State Assignment

9.1 State reduction

★ 상태할당 알고리즘(State assignment algorithm): 다음 조건들을 최대한 만족하는

상태들은 인접한 코드를 할당.

규칙1 : 동일한 차기 상태를 갖는 두 상태

규칙 2 : 하나의 상태로부터 천이되는 차기 상태들

규칙 3 동일한 출력을 내는 상태들규칙 3 : 동일한 출력을 내는 상태들

* 우선 순위 : 규칙 1 > 규칙 2 > 규칙 3

★등가 상태(State equivalence)

*Two states Sa and Sb, are equivalent iff for every possible input sequence, the t t th d th t t t i l toutputs are the same and the next states are equivalent.

* Properties:(1) 대칭성(Symmetry): If Sa = Sb , then Sb = Sa ( ) 대칭성( y y) ,(2) 재귀성(Reflexivity): If Sa = Sa , for any state

(3) 천이성(Transitivity): If Sa = Sb , and Sb = Sc , then Sa = Sc

★ 동기순서회로의 경제적 구현방법

1.상태수의 축소:

* 플립플롭 수가 작아진다.

* 등가인 상태들을 찾아 하나의 상태로 나머지 등가인 상태들을 대치하여 사용

2 효과적인 상태할당: 플립플롭 구동 게이트 수가 작아진다2.효과적인 상태할당: 플립플롭 구동 게이트 수가 작아진다

* 각 상태에 어떤 코드를 할당하느냐에 따라 게이트 수가 다르게 나타날 수 있음

★ 상태 감축법(State reduction)

1. 등가 클래스(Equivalence classes) 법:

* 주어진 입력에 대한 다음 상태 및 출력을 바탕으로 전체 상태를 같은 성질을

가진 상태 클래스로 분류하여 상태 수를 축소하는 방법

2 함축표(Implication chart) 법:2. 함축표(Implication chart) 법:

* 그래프를 이용하여 다음 상태 및 출력을 이용하여 전체 상태들 가운데서 등가가

아닌 상태를 제거하는 방법

★ 함축표 (Implication chart) 법

등가 상태가 될 가능성이 있는 상태를 짝으로 묶는 표를 구성하여 상태를 축소* 등가 상태가 될 가능성이 있는 상태를 짝으로 묶는 표를 구성하여 상태를 축소하는 그래프적 방법.

(S S ) (S S ) (S S ) (S S ) (S S ) (S S )(S0, S1), (S0, S2), … (S0, Sn), (S1, S2), (S1, S3), … (Sn-1, Sn)

Implies the possibility that S0 = S1

* 함축표: - 가로축: 전체 상태 중에서 마지막

상태를 제외한 나머지 상태를 좌에서 우

의 순서로 정렬

- 세로축: 전체 상태 중에서 처음 상

S0 S1 S2 S3 S4

태를 제외한 나머지 상태를 상에서 하로의 순서로 정렬

S0 X 1 2 4 7 11

S1 1 X 3 6 8 12S1 1

S1 1 X 3 6 8 12

S2 2 3 X 6 9 13

S3 4 5 6 X 10 14

S2 2 3

S3 4 5 6

S4 7 8 9 10S3 4 5 6 X 10 14

S4 7 8 9 10 X 15

S5 11 12 13 14 15 X

S4 7 8 9 10

S5 11 12 13 14 15

S0 S1 S2 S3 S4 S5S0 S1 S2 S3 S4 S5

S0 S1 S2 S3 S4 S5

Implies the possibility that S0=S

S5 11 12 13 14 15 XS4 15

S4 7 8 9 10 X 15

S3 4 5 6 X 10 14

S2 2 3 X 6 9 13

S3 10 14

S2 6 9 13S2 2 3 X 6 9 13

S1 1 X 3 5 8 12

S0 X 1 2 4 7 11

S1 3 5 8 12

S0 1 2 4 7 11S0 X 1 2 4 7 11

S0 S1 S2 S3 S4 S5S0 S1 S2 S3 S4 S5

함축표 그리기 매우 불편!!!

차기상태

* 상태 축소 과정(State reduction procedures)

Implies the possibility that S0 = S1

현재상태

차기상태

x ＝ 0 z x ＝ 1 z

상태

S5 S1 0 S2 0

표 상태표

S0 S1 S2 S3 S4

표 채워지지 않은 함축표표. 상태표 표. 채워지지 않은 함축표

[Step 1]: 주어진 상태표로부터 채워지지 않은 함축표 작성(함축표 내의 사각형은 등가 상태가 될 가능성이 있는 상태들의 조합을 나타냄)

차기상태S1

현재상태 x ＝ 0 z x ＝ 1 z S2

S1, S3

S2, S4S

S0 S1 S2 S3 S4

S1, S5S

표. 상태 표

0 1 2 3 4

표. 함축표

[Step 2]: 함축표에 나타난 각각의 사각형에 대하여 출력이 서로 다른 사각형에‘X’표 표시 (서로 같을 수 없음을 나타냄)

[Step 3]: 나머지 사각형에 대하여 2가지 상태가 같아질 조건을 표시

S1, S3

S2, S4S

S1, S3

S0 S1 S2 S3 S4

S1, S5S

S1, S3

S2, S4S

50 1 2 3 4

표. 함축표S5

S0 S1 S2 S3 S4

S1, S5S

[Step 4]: 각각의 사각형 내에 표시된 함축된 등가 상태 조건을 검사하여 서로같아질 수 없는 쌍이 존재하는 사각형은 ‘X’로 표시

0 1 2 3 4

[Step 5]: 최종적으로 남은 사각형을 나타내는 상태만이 등가 상태를 구성S0 = S2, S1 = S3

00/0; 11/100/0

01/0 11/1

B C01/0

00/010/0

10/1 00/0;01/0;11/1

10/1 11/1

차기상태, xy/z

현재상태 00 z 01 z 11 z 10 z

A B 0 C 0 B 1 A 0BCDE

1100E C 0 C 0 C 1 E 0

표. 상태표

B, CA, E

EA, EB C

B, C;D, C, A, B

C, D; B, EA C

EA, EB C

B, C;D, C, A, B

C, D; B, EA C

A B C D

B, C A, C

함축표 처리결과

A B C D

B, C A, C

함축표 처리결과

차기상태, xy/z

현재상태 00 z 01 z 11 z 10 z

C BDE A

DDBE A

차기상태, xy/z

수정된 상태표

현재상태 00 z 01 z 11 z 10 z

상태명을 변경한 후의 간략화된 상태표

00/0, 01/0, 11/1

S1 S210/1

00/0, 10/0

01/0, 11/1

간략화된 Mealy 상태도

현재상태

차기상태, x/Z2Z1

0 Z Z 1 Z Z상태 x ＝ 0 Z2 Z1 x ＝ 1 Z2 Z1

000015

10018 8 0 1 7 1 1

표 6.3.4.3 상태표

0, 41, 2

10, 41, 2

21, 24, 7

3, 65, 8

0 1 2 3 4 5 6 7

5, 84, 7

표 6 3 4 3의 함축표 표 6 3 4 3에 대한 완성된 함축표

0 1 2 3 4 5 6 7

5, 84, 7

표 6.3.4.3의 함축표 표 6.3.4.3에 대한 완성된 함축표

차기상태

현재상태

차기상태

x ＝ 0 Z2 Z1 x ＝ 1 Z2 Z12 1 2 1

2 1345

47 42 16 35

2 116 354

000015

6 37 48 5

5138 5

46 38 57 4

10018 5 8 5 0 1 7 4 1 1

수정된 상태표

차기상태

현재상태 x ＝ 0 Z2 Z1 x ＝ 1 Z2 Z1

상태명을 변경한 후의 간략화된 상태표

차기상태

★ State reduction procedures 예제

차기상태

현재상태

차기상태

x ＝ 0 z x ＝ 1 z현재상태

차기상태

x ＝ 0 z x ＝ 1 z상태

상태

1000S5 S1 0 S2 0

표 상태 표

S5 S1 0 S2 0

표 상태 표의 분류표 6.3.4.1 상태 표 표 6.3.4.1 상태 표의 분류

[Step 1-1]: 동일한 입력에 대하여 동일한 출력을 가지는 상태끼리 분류C1= (S0, S2, S4) , C2= (S1, S3, S5)

* State reduction procedures

현재상태

차기상태

x ＝ 0 z x ＝ 1 z

차기상태

x ＝ 0 x = 1

상태 x ＝ 0 z x ＝ 1 z

S11 C1

S5 C2 C1

표 상태 표 1 등가 차기 클래스표

표 6.3.4.1 상태 표 1-등가 차기 클래스표

[Step 1-2]: 분류된 상태표로부터 1-등가 차기 클래스표 작성

차기상태 차기상태

현재현재상태 x ＝ 0 x ＝ 1 x ＝ 0 x = 1

현재상태

2 등가 차기 클래스표 1 등가 차기 클래스표

2-등가 차기 클래스표 1-등가 차기 클래스표

[Step 2]: 1-등가 차기 클래스표를 이용하여 Step-1에서와 같은 방법으로2-등가 차기 클래스표 작성

차기상태차기상태

현재상태 x ＝ 0 x ＝ 1

C111C21

3-등가 차기 클래스표

2 등가 차기 클래스표

[Step 3]: 2-등가 차기 클래스표를 이용하여 Step-1에서와 같은 방법으로

3-등가 차기 클래스표 작성

차기상태

현재상태 x ＝ 0 x ＝ 1

[St 4][Step 4]: * k-등가 차기 클래스표를 이용하여 Step-1에서와 같은 방법으로

(k+1)-등가 차기 클래스표 작성

* k-등가 차기 클래스표와 (k+1)-등가 차기 클래스표 가 같으면 멈춤

차기상태

현재상태 x ＝ 0 x ＝ 1

[Step 5]: (k+1) 등가 차기 클래스표 내의 각각의 클래스에 속하는 상태를 같은 상태로 할당* (k+1)-등가 차기 클래스표 내의 각각의 클래스에 속하는 상태를 같은 상태로 할당

* 최종 상태 4가지: S0 = S2, S1= S3 , S4, S5

* 같은 상태로 할당된 상태를 바탕으로 상태표를 다시 작성

차기상태

현재상태 x ＝ 0 z x ＝ 1 zS0

S0 = S2, S1= S3S1

S2 S0 0

차기상태

수정된 상태표

현재상태 x ＝ 0 z x ＝ 1 z

S0 S4 0 S1 1S1

010 간략화된 상태표

P0 = (A)(B)(C)(D) P8 = (AC)(BD)

P1 = (AB)(C)(D)

P2 = (AC)(B)(D)

P9 = (AD)(BC)P10 = (ABC)(D)

2 ( )( )( )

P3 = (AD)(B)(C)P11 = (ABD)(C)P12 = (ACD)(B)

P4 = (A)(BC)(D)

P5 = (A)(BD)(C)

12 ( )( )P13 = (A)(BCD)PN = (ABCD)5

P6 = (A)(B)(CD)

P (AB)(CD)

PN (ABCD)

P7 = (AB)(CD)

• Pa Pb if and only if all states in the same block of Pb are also in the same block of P .in the same block of Pa .

• Two states are in the same block of product Pc if and only if they are in the same block of both P and Pthey are in the same block of both Pa and Pb .

• Two states are in the same block of the sum Pd if they are in the same block of either P or P or bothsame block of either Pa or Pb or both.

Step 1: For each pair of states, find the smallest SP partition that h i h bl kputs those two states in the same block.

Step 2: Find the sum of all of the SP partitions found in step 1 and, if new ones are found, repeat step 2 on these new ones.

(AB) (CD) (AB)(CD) = P1

(AC) (AB) (CD) (ABCD) = PN(AC) (AB) (CD) (ABCD) PN

(AD) (BC) (AD)(BC) = P2(BC) (AD) (AD)(BC) = P(BC) (AD) (AD)(BC) = P2(BD) (AB) PN(CD) (AB) (AB)(CD) = P1

P1 = (ACE)(B)(D) P5 = (A)(B)(CE)(D)P1 (ACE)(B)(D) P5 (A)(B)(CE)(D)P2 = (ADE)(BC) P6 = (ACE)(BD)P3 = (AE)(B)(C)(D) P7 = (AE)(BD)(C)P4 = (A)(BD)(C)(E) P8 = (A)(BD)(CE)

9.3 Choosing a State Assignment

P1 = (AB)(C)(DF)(E) P6 = (AB)(CE)(DF)1 ( )( )( )( ) 6 ( )( )( )P2 = (ABC)(DEF) P7 = (ABDF)(C)(E)P3 = (AD)(B)(C)(E)(F) P8 = (ABDF)(CE)P4 = (AF)(BD)(C)(E) P9 = (AD)(BF)(C)(E)P5 = (A)(BF)(C)(D)(E)

P1 = (AB)(C)(DF)(E) P9 = (AF)(BCDE)1 ( )( )( )( ) 9 ( )( )

1 1 2 2 2D x q D xq x q

3 2 3 1 2 1 3D x q q xq q z x q xq

State Assignment algorithm

* Some simple guidelines for obtaining state assignments

(1) Rule I: Two or more present states that have the same next state for a given input combination should be made adjacent.

(2) Rule II: For any present state and two adjacent input combinations, the two next states should be made adjacent.

(3) Rule III: Tow or more present states that produce the same output symbol, I.e., 0 or 1, for a given input combination should be made adjacent. This rule need only be applied to one of the output symbols.

* Priorities: Rule I > Rule II > Rule III 의 순서로 우선

Some simple guidelines for obtaining state assignments

(1) Rule I: Two or more present states that have the same next state for a given input combination should be made adjacent.

00 01 11 10F0

E01/Z01/Z

0 2 6 4

00 01 11 10

1 3 7 5

[상태할당 규칙 1의 예](a) 부분 상태도 (b) K-Map

(2) Rule II: For any present state and two adjacent input combinations, the two next states should be made adjacent.

C00 01 11 10F0

00 01 11 10

1 3 7 5

[상태할당 규칙 2의 예](a) 부분 상태도 (b) K-Map

(3) Rule III: Tow or more present states that produce the same output symbol, i.e., 0 or 1, for a given input combination should be made adjacent. This rule need only be applied to one of the output symbols.This rule need only be applied to one of the output symbols.

차기상태차기상태 및 출력

상태 X ＝ 0 X ＝ 1

A A/0 C/0

현재상태 x ＝ 0 x ＝ 1

A A CABCD

A/0C/1A/1B/0

C/0D/0F/1E/0/

C/0D/0

C/1E/1

표9 상태표에 출력이 포함된 경우 및 포함되지 않은 경우

★ Unused states의 처리★ Unused states의 처리* Don’t care로 처리: 간단* 초기 상태로 처리: 만일의 사태에 대비할 수 있음

00 01 11 10F1

0 CDFA0

00 01 11 10

1 BE1 3 7 5

(a) 상태할당 #1 (b) 상태할당 #2

0 2 6 4

00 01 11 10F1

(a) 상태할당 #1 (b) 상태할당 #2

1 3 7 5

1 E BD

(c) 상태할당 #3

표 9에 대한 상태할당 맵

상태 F3 F2 F1 상태할당 3

상태할당 1ABC

상태할당 2

* 무관항(Don’t care) 상태

상태할당 2ABCD

표 9에 대한 3가지 상태할당 방법DEFd*

d* 1 1 1

* 표 9에 대한 2진 상태 할당

상태 F3 F2 F1

d 1 1 1

차기상태

현재상태 X 0 X 1

* State assignment techniques

현재상태 X ＝ 0 X ＝ 1

F2 F1 D2 D1 D2 D1

상태할당 1

차기상태

상태할당 1

0/00/01/0

1/00/01/0

상태표

현재상태

차기상태

x ＝ 0 x ＝ 1

A A/0 B/0

D 1 1 0/

0/1 0/

상태할당 2

A 0 0 0 0/0 0 1/0

A/0D/0A/1

C/0B/0B/0

0/00/00/1

1/01/01/0

상태할당

No of stateNo. of state

variables No of nonequivalentNo. of state(N)

variables(M)

No. of nonequivalentstates (S)

2 1 12345

1406789

420840840

10 81×1069101620

10.81×106

75.67×106

54.48×109

143.14×1021

Nonequivalent state assignment possibilities for example stateand state

Simplification of StilCiitSequential...

Documents

神経科学研究用 - Fujifilm...SCALEVIEW®-S ®Trial ®Kitは、①SCALEVIEW-S0、②SCALEVIEW®-S1、③SCALEVIEW ®-S2、④SCALEVIEW-S3、⑤SCALEVIEW-S4、 ⑥SCALEVIEW ®

Soc s0-v030214

Page 1 S0 i. BistaFlpihatin JllElf|K||F_j | - u 20 REJAB 1437H T- s. H

Subsidi Beras untuk Keluarga Miskin Menjadi Bantuan Pangan ... · (permintaan) produk pangan, secara teori dapat mengatasi ... Kenaikan produksi dari kurva S0 ke S1 menyebabkan pendapatan

The Thermal Bath Fluids...-100 C 0 C +100 C 6 Bath uid ] ]d]F]S0] ]d]F]S0\Ù\ ]]S] ]d]S] ]0] ] ]T]d]0]A]d]!\Ø 1\Ñ\Ã ? ] ]d]F]S0\ü ÷ è Ç ç\Ø ã è 0 ã\Ñ +200 C +300 C +400

LAPORAN KINERJA DEPUTI BIDANG INFORMASI DAN … · Komposisi berdasarkan latar belakang keilmuan ... Dalam melaksanakan tugas sebagaimana dimaksud pada Pasal 113, ... S3 S2 S1 S0

Arquitectura del procesador MIPS R2000 - Universitat … · Programación en ensamblador 102 ... Algunos son $s0, $s1 ... Es tarea del compilador asociar variables de programas a

Sic s s1-v220514 EOSE

ВЫПУСК V ПОСТАМЕНТЫЙ Гост 8509-S1 l S05 0,130 S Cm пе 5 Круг ГОСТ «90-51 «МВ 0,011 гвстЗМ-60 В -iaaB 0,010 1 Полоса «* 100 к Й

SPS - ulrich-rapp.de · 2.1 Belegungsliste, Zuordnungsliste (→ [EuroTabM46] S.440f) Bauteil Anschluss Funktion – Bemerkung S0 I1 bzw. E0.0 Öffner: Not-Aus S1 I2 bzw

Rvalue reference 강기완. string s0("my mother told me that"); string s1("cute"); string s2("fluffy"); string s3("kittens"); string s4("are an essential part

S0(/,S( + S %( +,S S GOURMANDES + -- ,S (&)% -('S S

FUERTES CAJAS 2017 - EL HOGAR Ferretería Cerrajería...CAJAS FUERTES CAMUFLADAS CAJAS FUERTES CAMUFLADAS APERTURA LLAVE LLAVE Referencia 13000W-S0 13000W-S1 Medida exterior (Al x

論理回路D3 Q 制御信号S 入力出力 S =0 S =1 S =2 S =3 D0 D1 D2 D3 入力 S1 S0 Q 出力制御信号 MulPle2 Q = S1S0D0+ S1S0D1+ S1S0D2+ S1S0D3 MP2.circ 1ビット選択器

14B-28197-S0 _ R1_español

Cb s s1-v 70515

Unity Pro PLC 1download.gongkong.com/file/company/Schneider/UnityMenu...21 (1¡ {( %S (1¡_vZCX8EL!P_!81%`|_(1¡-(1JF %S0 COLDSTART %S1 WARMSTART %S4 TB10MS %S5 TB100MS %S6 TB1SEC

ILC S0 Strategy

DISPUT NIFE Do CAUSAEFFI- - DiVA portal1253392/FULLTEXT01.pdf · Sv S©eöeS(S0©ePOi90?'O

Sic s s0-v220514 EOSE