Hierarchical finite-state machines and their use for digital control

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Volumn 7, Issue 2, 1999, Pages 222-228

  Sklyarov, Valery ^a  

^a UNIVERSITY OF AVEIRO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DIGITAL CONTROL SYSTEMS; FINITE AUTOMATA; HIERARCHICAL SYSTEMS; LOGIC DESIGN; RECURSIVE FUNCTIONS;

HIERARCHICAL FINITE-STATE MACHINES;

SEQUENTIAL MACHINES;

EID: 0032636941     PISSN: 10638210     EISSN: None     Source Type: Journal    
DOI: 10.1109/92.766749     Document Type: Article

References (11)

1. G. De Micheli, Synthesis and Optimization of Digital Circuits. New York: McGraw-Hill, 1994.
2. S. Baranov, Logic Synthesis for Control Automata. Norwell, MA, Kluwer, 1994.
3. S. Edwards, L. Lavagno, E. A. Lee, and A. Sangiovanni-Vincentelli, "Design of embedded systems: Formal models, validation and synthesis," Proc. IEEE, vol. 85, pp. 366-390, Mar. 1997.
4. G. Booch, Object-Oriented Analysis and Design, 2nd ed. New York: Benjamin, 1994.
5. V. Sklyarov "Hierarchical graph-schemes," Latvian Academy of Science, Automatics and Comput., no. 2, pp. 82-87, 1984.
6. _, Synthesis of Finite State Machines Based on Matrix LSI. Minsk, Belarus: Science and Technique, 1984.
7. V. Sklyarov, A. Adrego da Rocha, "Sintese de unidades de controlo descritas por grafos dum esquema hierarquicos," Electron. Telecomun., vol. 1, no. 6, pp. 577-588, 1996.
8. J. E. Vuillemin, P. Bertin, D. Roncin, M. Shand, H. H. Touati, and P. Boucard, "Programmable active memories: Reconfigurable systems come of age," IEEE Trans. VLSI Syst., vol. 4, pp. 56-69, Mar. 1996.
9. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot, "Statemate: A working environment for the development of complex reactive systems," IEEE Trans. Software Eng., vol. 16, pp. 403-414, Apr. 1990.
10. B. W. Kernighan and D. M. Ritchie, The C Programming Language. Englewood Cliffs, NJ: Prentice-Hall, 1988.
11. ++ Applications Using the Booch Method. Englewood Cliffs, NJ: Prentice-Hall, 1995.