, >>>

ChipNews

2003: 
1, 2, 3, 4, 5, 6, 7, 8, 9, 10
2002: 
1, 5, 6, 7, 8, 9
2001: 
1, 2, 3, 4, 5, 6, 7, 8, 9, 10
2000: 
1, 2, 3, 4, 5, 6, 7, 8, 9, 10
1999: 
1, 2, 3, 4, 5, 6, 7, 8, 9, 10

ChipNews

Новости строительства

827:

827 0688759652

:

- . , , " " " ", .

2963-2 (RUS) . :

2963-2

II ... 372:

!

.

. . , ( Altera, Xilinx ) , . , ݸ . : " "; " "; " "; " ݸ "; " "; " ZUBR ". , . , . , , , 23 , .

: [1] [2]. [3,4], . [5].

, - (), , - , . , , .

, . , , . .

: . :

at+1 = (zt,at); (1)
wt = (zt,at);

( ) at+1, - wt. , wt zt, at

at , :

at+1 = (zt,at); (2)
wt = (at).

CL CL, , RG, t~ at. . 1 1, . , CLy, , .

1. : - A; - B; - ; - D; - E; - F;

   :  -   A;  -   B;  -   ;  -   D;  -   E;  -   F.

wt at, :

~at+1 = (zt,at); (3)
wt = at.

C [6], , (. 1) (. 1) A B, . C . 1. CL, , , RG. , , .

wt at+1, D [7], :

~ at+1 = (zt,at); (4)
wt = at+1.

D . 1. CL, , CL . , D , .

C D , C wt at, D wt at+1 ( ). C D, A B, :

  • , CL,
  • , .

, [8]. zt at+1, E, :

at+1 = zt; (5)
wt = (zt,at).

, zt at+1, F, :

at+1 = zt; (6)
wt = (at).

E (. 1) F (. 1) CL. E CL : () (), F - : .

E F . , E : . : /, , . ̸ , , .

E F, A B, :

  • , CL,
  • ( , ) , .

C F , C , F - . C-F. , . C-F Ը .

, CLK. , RGI, (flip-flops) ݸ (latchs). . 2 ABI, I, DI EI, A, B, C, D E ( ABI ). , F F.

2. : - θ ABBI ; - CBI C; - DBI D; - EBI E

      :  - θ  ABBI    ;  -  CBI   C;  -  DBI   D;  -  EBI   E.

ABI, I, DI EI RGI . I DI RG , ABI EI - , ޸ EI RGI RG .

, CLK. , RGO. . 3 ABO, DO, EO FO, A, B, D, E F ( ABO ). , C RG, .

3. : - θ ABO ; - DO D; - EO E; - FO F

      :  - θ  ABO    ;  -  DO   D;  -  EO   E;  -  FO   F.

ABO, DO, EO FO RGO . ABO DO RG , EO FO - .

, . . 4 ABIO, DIO EIO, A, B, D E ( ABIO ). , C CI, F - FO. ABIO, DIO EIO RGI , RGO - , RG - .

4. : - θ ABIO ; - DIO D; - EIO E

         :  - θ  ABIO    ;  -  DIO   D;  -  EIO   E.

A, B, C, D, E F, (3.1)(3.6). (ABI, CI, DI, EI, ABO, DO, EO, FO, ABIO, DIO EIO) Ը . A, B, C, D, E F. [9].

L X = {x1,...,xL}, N Y = {y1,...,yN} R , ޸ R intlog2M M, M - .

:

  • tI t0: (r) (c);
  • nIB ;
  • nBMC ;
  • nFF ;
  • n*BMC , ;
  • nMC ;
  • nP+BMC .

L, N R . 1.

1.

tI tO nIB nBMC nFF n*BMC nMC nP+BMC
A c c - R R R N + R L + N + R
B c c - R R R N + R L + N + R
C c r - - N - N L + N
D c c - - N - N L + N
E c c L - L L N L + N
F r c L - L L N L + N
ABI r c L R L + R L + R N + R L + N + R
CI r r L - L + R L N L + N
DI r c L - L + R L N L + N
EI r c L L 2L 2L L + N 2L + N
ABO c r - R N + R R N + R L + N + R
DO c r - N 2N N 2N L + 2N
EO c r L - L + N L N L + N
FO r r L - L + N L N L + N
ABIO r r L R L + N + R L + R N + R L + N + R
DIO r r L N L + 2N L + N 2N L + 2N
EIO r r L L 2L + N 2L L + N 2L + N

nFF , , (, [10]). , , nBMC . / ( ), nBMC n*BMC, n*BMC = nBMC + nIB. [11], , /, nMC , nMC = nBMC + N. , , , nP+BMC, nP+BMC = nBMC + L + N.

nBMC , D E; - C EO; - F DI; - CI FO.

:

  • tCO - ;
  • tPD - ( );
  • tS - ;
  • tH - .

tP

tP = tS + tCO, (7)

fmax :

fmax = 1/tP. (8)

. 5. , ̸ , . . 5 . , , tS CLK tH . tCO , ޸ .

5.

            .

A B , , , , ݸ .

, tPD , , CL. . , C , , C [9].

D E , : tPD - , . F , B.

ABO, DO, EO FO , , .

ABI, CI, DI EI ABIO, DIO EIO , , . 6. RGI zt tS th . zt¹, RGI, tCO . zt¹ , RGI.

6.

            .

ABI, CI, DI EI , . , : . , RGI zt , : ̸ .

ABIO, DIO EIO (. 4) . , ݸ . , ABIO, DIO EIO .

, , (flip-flops), ݸ (latches). : CLKI - ݸ CLK - . ݸ CLKI CLKI. tWL CLKI tS + tH, tWH CLKI tCO tH, ݸ , (. 7).

7. ݸ () ()

   ݸ   ()      ().

ݸ ABI, CI, DI, EI, ABIO, DIO EIO ABI, CI, DI, EI, ABIO, DIO EIO , .

S, K , θ S1,...,SK (. 8). DI S1, DO SK; Sk ( ) Sk+1, .

8. () ()

     ()      ().

Sk CLKk, . k, , k1. CLKk tk, , (. 8). , S1,...,SK-1 , t2,...,tK .

:

  • TPOS - , ;
  • TOS - ;
  • TSD - .

Q:

Q = TPOS + TOS. (9)

TPOS, TOS, TSD Q . 2.

2.

TPOS TOS TSD Q
1 A 0 tPD tS + tH tPD
2 B 0 tPD tP tPD
3 C 0 0 tP 0
4 D 0 tPD tS + tH tPD
5 E O tPD tS + tH tPD
6 F 0 tPD tP tPD
7 ABI tP tPD tP tP + tPD
8 CI tP 0 tP tP
9 DI tP tPD tP tP + tPD
10 EI tP tPD tP tP + tPD
11 ABO tP 0 tP tP
12 DO tP 0 tP tP
13 EO tP 0 tP tP
14 FO tP 0 tP tP
15 ABIO 2tP 0 tP 2tP
16 DIO 2tP 0 tP 2tP
17 EIO 2tP 0 tP 2tP
18 AB'I 0 tPD tS + tH tPD
19 C'I 0 0 tP 0
20 D'I 0 tPD tS + tH tPD
21 E'I 0 tPD tS + tH tPD
22 AB'IO tP 0 tP tP
23 D'IO tP 0 tP tP
24 E'IO tP 0 tP tP

Q TSD. , M1,...,M6 (. 3).

3. ,

Q TSD
M1 0 tP C, C'I
M2 tPD tP B, F
M3 tPD tS + tH A, D, E, AB'I, D'I, E'I
M4 tP tP CI, ABO, DO, EO, FO, AB'IO, D'IO, E'IO
M5 tP + tPD tP ABI, DI, E
M6 2tP tP ABIO, DIO, EIO

: .

- Sk (. 8) CLKk, . , ( ) S :

(10)

Qk - Q , .

S1,...,SK CLK. , , ( Ҹ ). , , Ÿ , CLK. CLK . :

P2 = K·(Qmax + tP), (11)

Qmax - Q .

(3.11) (3.12), . 3 , .

. , M1,...,M6 (. 3). S , CLK. TOS , tC CLK tP; TOS = tPD, tC tP + tPD. :

G = (K 1)·tC + Q. (12)

G . 4. . 9 G1,...,G6 K .

4. a

Q tC G
M1 0 tP G1 = (k 1)·tP
M2 tPD tP + tPD G2 = (k 1)(tP + tPD) + tPD
M3 tPD tP + tPD G3 = (k 1)(tP + tPD) + tPD
M4 tP tP G4 = k·tP
M5 tP + tPD tP + tPD G5 = k·(tP + tPD)
M6 2tP tP G6 = k·tP + tP

9.

         .

. 9 :

~G1 < G4 < G6;
G1 < G2(G3) < G5; (13)
G4 < G5.

, M1. M2(M3) M5 , M4 M6, , K. K M4 M6 .

, , C, D, E F " ", A B. , C-F. [9].

: TPOS, TOS TSD. , ( TPOS), , ĸ .

. 10 ݸ . C; - B F; - A, D E; ׸ - ݸ (A-F) . , , . . 10 Ը ݸ, . 10 10 - ݸ .

10. ݸ : - C; - B F; - A, D E; - ݸ

  ݸ   :  -   C;  -    B  F;  -    A, D  E;  -  ݸ      .

, ݸ ADE, AD, AE BF ( ݸ , ݸ ).

" ", " " " " 24 , . " " ݸ ADE, AD, AE BF. ݸ ݸ, - , , , 50. , , .

: I , ; () I , ݸ; O .

:

  • ;
  • ;
  • , ;
  • .

, , . , , , ޸ ݸ; . , . . . 5.

5. . ,

Gi
G1 , A, B, D, E, ADE, AD, AE, BF
G2 , F, ABI, DI, EI, ADEI, ADI, AEI, BFI
G3 , C, ABO, DO, EO, ADEO, ADO, AEO, BFO
G4 , CI, FO, ABIO, DIO, EIO, ADEIO, ADIO, AEIO, BFIO
G5 , AB'I, D'I, E'I, F'I, ADE'I, AD'I, AE'I, BF'I
G6 , C'I, AB'IO, D'IO, E'IO, F'IO, ADE'IO, AD'IO, AE'IO, BF'IO
G7 A, D, E, ADE, AD, AE, BF

, . , , (RGF); (RGI), ; ݸ (RGI); ( ) (RGI2). . 6 . , A, B, C ABO .

6. , PLD.

Gj PLD
RGF RGI RG'I RGI2
G1   D, AD, DO, ADO
G2   F, BF, ABI, CI, BFI, FO, BFO, ABIO, BFIO
G3   DI, ADI, DIO, ADIO
G4   E, AE, EI, AEI, EO, AEO, EIO, AEIO,
G5   AB'I, C'I, F'I, BF'I, AB'IO, F'IO, BF'IO
G6   ADE, ADEI, ADEO, ADEIO
G7   D'I, AD'I, D'IO, AD'IO
G8   E'I, AE'I, E'IO, AE'IO
G9   ADE'I, ADE'IO
G10   A, B, C, ABO

" ", . TPOS, TOS, TSD Q, ̸ " ". . 7, tPD, tS, tH tP - , ̸ " "; C, .

7. . ,

TPOS TOS TSD Q
0 tPD tS + tH tPD C, C'I
0 tPD tP tPD B, F, BF, F'I, BF'I
0 0 tP 0 A, D, E, ADE, AD, AE, AB'I, D'I, E'I, ADE'I, AD'I, AE'I
tP tPD tP tP + tPD CI, ABO, DO, EO, FO, ADEO, ADO, AEO, BFO, AB'IO, D'IO, E'IO, F'IO, ADE'IO, AD'IO, AE'IO, BF'IO (C)
tP 0 tP tP ABI, DI, EI, ADEI, ADI, AEI, BFI
2tP 0 tP 2tP ABIO, DIO, EIO, ADEIO, ADIO, AEIO, BFIO (CI)

, , . : . .

, . nBMC , , . 8. (L, N R) .

8. , PLD

Gm nBMC
G1 0 , D, E, F, ADE, AD, AE, BF, CI, DI, ADI, EO, FO, AEO, BFO, C'I, D'I, AD'I
G2 R A, B, ABI, ABO, ABIO, AB'I, AB'IO
G3 N DO, ADEO, ADO, DIO, ADIO, D'IO, AD'IO
G4 L EI, ADEI, AEI, BFI, EIO, AEIO, BFIO, E'I, F'I, ADE'I, AE'I, BF'I, E'IO, F'IO, AE'IO, BF'IO
G5 L + N ADEIO, ADE'IO

( ):

  1. Af M . 5 M*, . : M* := UiGi, Gi - , . 5, , .
  2. Af , M* := M*\G7, G7 . 5.
  3. RGF, RGI, RGI RGI2. . 6, , . M* := M* (Gj G10).
  4. ( ), - ( ) . 7 , . M* := M* Gk.
  5. .
  6. " " Af . 8 , . M* := M* Gm.
  7. .

, , , , , .

. , RGF. , . .

. , . , , , , . 1 G3 , M* = {C, ABO, DO, EO, ADEO, ADO, AEO, BFO}. 2 M*. RGF, 3 M* G1 G10 . 6, M* = {C, ABO, DO, ADO}. Q TSD. , , G1 , C G4. M* G4, 4 M*. - , nBMC . 5 . 8 G1, M* := M* G1 = {C}. , C.

  1. Mealy G.H. A method for synthesizing sequential sircuits // Bell System Techn. J. Vol. 34. 1955. P. 10451079.
  2. Moore E.F. Gedanhen-experiments on sequential machines // In C. Shannon and J. McCarthy editors. Automata Studies Princeton University Press. 1956. P. 129153.
  3. .. . .: , 1962. 476 .
  4. .. // i ii i. . .-. . 1994. 1. . 6872.
  5. Pomeranz I., Cheng K.-T. STOIC: state assignment based on output/input functions // IEEE Transactions on CAD, August 1993. Vol. 12. 8. P. 613622.
  6. Programmable Logic. Intel, 1994.
  7. Solovjev V., Chyzy M. Models of thefinite state machines // Proc. of the Sixth Int. Conf. on Methods and Models in Automation and Robotics (MMAR 2000), 28-31 August 2000. Miedzyzdroje. Poland. Vol. 2. P. 909914.
  8. Solovjev V. Synthesis of Sequential Circuits on Programmable Logic Devices Based on New Models of Finite State Machines // Proc. of the EUROMICRO Symposium on DIGITAL SYSTEMS DESIGN (DSD2001), September 4-6. 2001. Warsaw. Poland. P. 170173.
  9. .. . .: - , 2001. 636 .
  10. .., .. // . 2000. 4. . 6676.
  11. .., .. - // . 2000. 5. . 6278.





...

28/09/2018 06:04:13



:
 :
: :
<b> </b>
<i></i>
<a href="http://site.ru"> </a>