Reduction in the number of PAL macrocells in the circuit of a Moore FSM

Alexander Barkalov; Larysa Titarenko; Sławomir Chmielewski

International Journal of Applied Mathematics and Computer Science (2007)

  • Volume: 17, Issue: 4, page 565-575
  • ISSN: 1641-876X

Abstract

top
Optimization methods of logic circuits for Moore finite-state machines are proposed. These methods are based on the existence of pseudoequivalent states of a Moore finite-state machine, a wide fan-in of PAL macrocells and free resources of embedded memory blocks. The methods are oriented to hypothetical VLSI microcircuits based on the CPLD technology and containing PAL macrocells and embedded memory blocks. The conditions of effective application of each proposed method are shown. An algorithm to choose the best model of a finite-state machine for given conditions is proposed. Examples of proposed methods application are given. The effectiveness of the proposed methods is also investigated.

How to cite

top

Barkalov, Alexander, Titarenko, Larysa, and Chmielewski, Sławomir. "Reduction in the number of PAL macrocells in the circuit of a Moore FSM." International Journal of Applied Mathematics and Computer Science 17.4 (2007): 565-575. <http://eudml.org/doc/207859>.

@article{Barkalov2007,
abstract = {Optimization methods of logic circuits for Moore finite-state machines are proposed. These methods are based on the existence of pseudoequivalent states of a Moore finite-state machine, a wide fan-in of PAL macrocells and free resources of embedded memory blocks. The methods are oriented to hypothetical VLSI microcircuits based on the CPLD technology and containing PAL macrocells and embedded memory blocks. The conditions of effective application of each proposed method are shown. An algorithm to choose the best model of a finite-state machine for given conditions is proposed. Examples of proposed methods application are given. The effectiveness of the proposed methods is also investigated.},
author = {Barkalov, Alexander, Titarenko, Larysa, Chmielewski, Sławomir},
journal = {International Journal of Applied Mathematics and Computer Science},
keywords = {complex programmable logic devices; Moore finite-state machine; pseudoequivalent states; logic circuit; design},
language = {eng},
number = {4},
pages = {565-575},
title = {Reduction in the number of PAL macrocells in the circuit of a Moore FSM},
url = {http://eudml.org/doc/207859},
volume = {17},
year = {2007},
}

TY - JOUR
AU - Barkalov, Alexander
AU - Titarenko, Larysa
AU - Chmielewski, Sławomir
TI - Reduction in the number of PAL macrocells in the circuit of a Moore FSM
JO - International Journal of Applied Mathematics and Computer Science
PY - 2007
VL - 17
IS - 4
SP - 565
EP - 575
AB - Optimization methods of logic circuits for Moore finite-state machines are proposed. These methods are based on the existence of pseudoequivalent states of a Moore finite-state machine, a wide fan-in of PAL macrocells and free resources of embedded memory blocks. The methods are oriented to hypothetical VLSI microcircuits based on the CPLD technology and containing PAL macrocells and embedded memory blocks. The conditions of effective application of each proposed method are shown. An algorithm to choose the best model of a finite-state machine for given conditions is proposed. Examples of proposed methods application are given. The effectiveness of the proposed methods is also investigated.
LA - eng
KW - complex programmable logic devices; Moore finite-state machine; pseudoequivalent states; logic circuit; design
UR - http://eudml.org/doc/207859
ER -

References

top
  1. Adamski M. and Barkalov A. (2006): Architectural and Sequential Synthesis of Digital Devices. Zielona Góra: University of Zielona Góra Press. 
  2. www.altera.com 
  3. Baranov S. (1994): Logic Synthesis for Control Automata. Boston: Kluwer. Zbl0806.68009
  4. Barkalov A. (1998): Principles of Optimization of Logical Circuit of Moore FSM. Cybernetics and system analysis, No.1, pp.65-72 (in Russian). 
  5. Barkalov A. and Barkalov A. (2005): Design of Mealy Finite-State-Machines with Transformation of Object Codes. International Journal of Applied Mathematics and Computer Science, Vol.15, No.1, pp.151-158. Zbl1083.93036
  6. Barkalov A. and Wegrzyn M. (2006): Design of Control Units with Programmable Logic. Zielona Góra:University of Zielona Góra Press. 
  7. Chattopadhyay S. (2005): Area Conscious State Assignment with Flip-Flop and Output Polary Selection for Finite State Machine Synthesis - A Genetic Algorithm Approach, The Computer Journal, Vol.48, No.4, pp.443-450. 
  8. De Micheli G. (1994): Synthesis and Optimization of Digital Circuits. New York: McGraw Hill. 
  9. Devadas S., Ma H.-K., Newton R., Sangiovanni-Vincentelli A. (1988): State Assignment of Finite State Machines Targeting Multilevel Logic Implementations, IEEE Transactions on Computer-Aided Design, pp.1290-1300. 
  10. Kam T., Villa T., Brayton R., Sangiovanni-Vincentelli A. (1998): Synthesis of Finite State Machines: Functional Optimization, Boston/London/Dordrecht: Kluwer Academic Publishers. Zbl0876.94056
  11. Kania D. (2004): Logic Synthesis Oriented on Programmable Logic Devices of the PAL type. Gliwice: Silesian University of Technology (in Polish). 
  12. www.latticesemi.com 
  13. Maxfield C. (2004): The Design Warrior's Guide to FPGA. NJ: Elsevier. 
  14. Mc Cluskey E. (1986): Logic Design Principles. Englewood Cliffs: Prentice Hall. 
  15. Micheli, G. D., Brayton, R. K. and Vincentelli, A. S. (1985): Optimal state assignment for finite state machines. IEEE Transactions on Computer-Aided Design, pp.269-284. 
  16. Villa T., Kam T., Brayton R., Sangiovanni-Vincentelli A. (1998): Synthesis of Finite State Machines: Logic Optimization, Kluwer Academic Publishers, Boston/London/Dordrecht. Zbl0876.94057
  17. Villa T., Sangiovanni-Vincentelli A. (1998): State Assignmentof Finite State Machines for Optimal Two-Level Logic Implementation, IEEE Transactions on Computer-Aided Design, pp.905-924. 
  18. Xia, Y. and Almaini, A. (2002): Genetic algorithm based state assignment for power and area optimization, IEEP Comput. Dig. T., Vol.149, No.4, pp.128-133. 
  19. www.xilinx.com 
  20. Yang S. (1991): Logic Synthesis and Optimization Benchmarks User Guide, Microelectronics Center of North Carolina, Research Triangle Park, North Carolina 

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.