State assignment of finite state machines using a genetic algorithm

作者: A.E.A. Almaini , J.F. Miller , P. Thomson , S. Billina

DOI: 10.1049/IP-CDT:19951885

关键词:

摘要: The use of genetic algorithms for the generation optimal state assignments synchronous finite machines (FSM) is proposed. Results are presented to show that, in all examples attempted, resulting better than or at least as good those produced by SPECTRAL, NOVA and MUSTANG also closed partition assignments. On average, algorithm with 33% less logic best other algorithms.

参考文章(10)
Abid E. Almaini, Electronic logic systems ,(1986)
Peter J. B. Hancock, An Empirical Comparison of Selection Methods in Evolutionary Algorithms artificial intelligence and the simulation of behaviour. pp. 80- 94 ,(1994) , 10.1007/3-540-58483-8_7
T. A. Dolotta, E. J. McCluskey, The Coding of Internal States of Sequential Circuits IEEE Transactions on Electronic Computers. ,vol. 13, pp. 549- 562 ,(1964) , 10.1109/PGEC.1964.263726
T. Villa, A. Sangiovanni-Vincentelli, NOVA: state assignment of finite state machines for optimal two-level logic implementation IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. ,vol. 9, pp. 905- 924 ,(1990) , 10.1109/43.59068
J. Hartmanis, On the State Assignment Problem for Sequential Machines II Ire Transactions on Electronic Computers. ,vol. 10, pp. 157- 165 ,(1961) , 10.1109/TEC.1961.5219184
E. J. McCluskey, S. H. Unger, A Note on the Number of Internal Variable Assignments for Sequential Switching Circuits Ire Transactions on Electronic Computers. ,vol. 8, pp. 439- 440 ,(1959) , 10.1109/TEC.1959.5222055
D. B. Armstrong, A Programmed Algorithm for Assigning Internal Codes to Sequential Machines IEEE Transactions on Electronic Computers. ,vol. EC-11, pp. 466- 472 ,(1962) , 10.1109/TEC.1962.5219385
S. Devadas, Hi-Keung Ma, A.R. Newton, A. Sangiovanni-Vincentelli, MUSTANG: state assignment of finite state machines targeting multilevel logic implementations IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. ,vol. 7, pp. 1290- 1300 ,(1988) , 10.1109/43.16807