Evaluation of Clause-Column Table method to design of MIC hazard-free in asynchronous finite state machines





Assincronous Finite State Machine, Clause-Column Table, Heuristic, Quine-McCluskey


Asynchronous finite state machines are of great interest because they use fewer transistors to manufacture them. However, find the minimum resources in logic modeling is an NP-Problem, since the search space increase exponentially. Although this problem is studied for some time, there is still space for newer researches. Mostly, in new computational methods to improve performance in solving logical optimization in finite state machines. Thus, this paper presents a study and evaluation of heuristic algorithms for the optimization of asynchronous finite state machines, to obtain the smallest possible circuit. Thus, the Clause-Column Table and Quine-McCluskey algorithms are combined in order to propose an algorithm capable of minimizing asynchronous sequential circuits. Tests and results show that it is possible to synthesize circuits in a reasonable time, but with some logical errors. It may be concluded that it still needs research, even though it is not such a recent line of research.

Biografia do Autor

Tiago da Silva Almeida, Universidade Federal do Tocantins

Possui graduação em Sistemas de Informação pelo Centro Universitário de Jales (2007) e mestrado em Engenharia Elétrica pela Universidade Estadual Paulista Júlio de Mesquita Filho (2009). Atualmente é professor Assistente I da Universidade Federal do Tocantins. Tem experiência na área de Engenharia Elétrica, com ênfase em Circuitos Eletrônicos.




Como Citar

Almeida, T. da S. e Luiz Gomes de Freitas, A. 2020. Evaluation of Clause-Column Table method to design of MIC hazard-free in asynchronous finite state machines. Academic Journal on Computing, Engineering and Applied Mathematics. 1, 2 (jun. 2020), 1–8. DOI:https://doi.org/10.20873/uft.2675-3588.2020.v1n2.p1-8.



Artigos de Pesquisa