Design of mealy finite-state machines with the transformation of object codes

Alexander Barkalov; Alexander Barkalov

International Journal of Applied Mathematics and Computer Science (2005)

  • Volume: 15, Issue: 1, page 151-158
  • ISSN: 1641-876X

Abstract

top
An optimization method of the logic circuit of a Mealy finite-state machine is proposed. It is based on the transformation of object codes. The objects of the Mealy FSM are internal states and sets of microoperations. The main idea is to express the states as some functions of sets of microoperations (internal states) and tags. The application of this method is connected with the use of a special code converter in the logic circuit of an FSM. An example of application is given. The effectiveness of the proposed method is also studied.

How to cite

top

Barkalov, Alexander, and Barkalov, Alexander. "Design of mealy finite-state machines with the transformation of object codes." International Journal of Applied Mathematics and Computer Science 15.1 (2005): 151-158. <http://eudml.org/doc/207723>.

@article{Barkalov2005,
abstract = {An optimization method of the logic circuit of a Mealy finite-state machine is proposed. It is based on the transformation of object codes. The objects of the Mealy FSM are internal states and sets of microoperations. The main idea is to express the states as some functions of sets of microoperations (internal states) and tags. The application of this method is connected with the use of a special code converter in the logic circuit of an FSM. An example of application is given. The effectiveness of the proposed method is also studied.},
author = {Barkalov, Alexander, Barkalov, Alexander},
journal = {International Journal of Applied Mathematics and Computer Science},
keywords = {finite-state machine; programmable logic device; logic circuit; design; object},
language = {eng},
number = {1},
pages = {151-158},
title = {Design of mealy finite-state machines with the transformation of object codes},
url = {http://eudml.org/doc/207723},
volume = {15},
year = {2005},
}

TY - JOUR
AU - Barkalov, Alexander
AU - Barkalov, Alexander
TI - Design of mealy finite-state machines with the transformation of object codes
JO - International Journal of Applied Mathematics and Computer Science
PY - 2005
VL - 15
IS - 1
SP - 151
EP - 158
AB - An optimization method of the logic circuit of a Mealy finite-state machine is proposed. It is based on the transformation of object codes. The objects of the Mealy FSM are internal states and sets of microoperations. The main idea is to express the states as some functions of sets of microoperations (internal states) and tags. The application of this method is connected with the use of a special code converter in the logic circuit of an FSM. An example of application is given. The effectiveness of the proposed method is also studied.
LA - eng
KW - finite-state machine; programmable logic device; logic circuit; design; object
UR - http://eudml.org/doc/207723
ER -

References

top
  1. Ahmed I. and Dhodhi M.K. (2000): State assignment of finite state machines. - IEE Proc. Comp. Digit. Techn., Vol. 147, No. 1, pp. 15-22. 
  2. Baranov S. (1994): Logic Synthesis for Control Automata. - Boston: Kluwer. Zbl0806.68009
  3. Barkalov A.A. and Palagin A.V. (1997): Synthesis of Microprogram Control Units. - Kiev: IC NAS of Ukraine, (in Russian). 
  4. Barkalov A.A. (2002): Synthesis of Control Units on Programmable Logic Devices. - Donetsk: DNTU, (in Russian). 
  5. Barkalov A.A. (2003): Synthesis of Operational Devices. - Donetsk: DNTU, (in Russian). 
  6. De Micheli G. (1994): Synthesis and Optimization of Digital Circuits. - New York: McGraw Hill. 
  7. Devadas S. and Newton R. (1991): Exact algorithms for output encoding, state assignment, and four-level Boolean optimization. - IEEE Trans.Comp. Aided Design, Vol. 10, No. 1, pp. 13-27. 
  8. Kania D. (2003): Efficient approach to synthesis of multi output Boolean functions on PAL-base devices. - IEE Proc. Comp. Digit. Techn., Vol. 150, No. 3, pp. 143-149. 
  9. Lahtinen V., Kuasilinna K. and Hamalainen T. (2002): Optimizing finite state machine for system-on-chip communication. - Proc. IEEE Int. Symp. Circuits and Systems, Milan, Italy, Vol. 1, pp. 485-488. 
  10. Novikov G. (1974): About one approach for finite-state-machines research. - Contr. Syst. Mach., No. 2, pp. 70-75, (in Russian). 
  11. Singh M. and Nowick S.M. (2002). Synthesis for logic initializability of synchronous finite state machines. - IEEE Trans. VLSI Syst., Vol. 24, No. 5, pp. 542-557. 
  12. Solovjev V.V. (1996): Design of the Functional Units of Digital Systems Using Programmable Logic Devices. - Minsk: Bestprint, (in Russian). 
  13. Solovjev V.V. (2001): Design of Digital Systems Using the Programmable Logic Integrate Circuits. - Moscow: Hotline-Telecom, (in Russian). 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.