Binary particle swarm optimization (BPSO) based state assignment for area minimization of sequential circuits

Applied Soft Computing Journal

Volumn 13, Issue 12, 2013, Pages 4832-4840

  El Maleh, Aiman H ^a   Sheikh, Ahmad T ^a   Sait, Sadiq M ^b  

^a KING FAHD UNIVERSITY OF PETROLEUM AND MINERALS   (Saudi Arabia)

^b Center for Engineering Research   (Saudi Arabia)

Author keywords

Area minimization; Binary PSO; Heuristics; Non determinism; PSO; State assignment (SA)

Indexed keywords

AREA MINIMIZATION; BINARY PSO; HEURISTICS; NON-DETERMINISM; PSO;

GENETIC ALGORITHMS; PARTICLE SWARM OPTIMIZATION (PSO); SEQUENTIAL CIRCUITS; STATE ASSIGNMENT;

ITERATIVE METHODS;

EID: 84886600147     PISSN: 15684946     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.asoc.2013.08.004     Document Type: Article

References (30)

1. D.B. Armstrong A programmed algorithm for assigning internal codes to sequential machines IRE Transactions on Electronic Computers EC-11 4 August 1962 466 472
2. B. Lin, and A.R. Newton Synthesis of multiple-level logic from symbolic high-level description languages IFIP International Conference on Very Large Scale Integration 1989 August 187 196
3. S. Devadas, H.T. Ma, A.R. Newton, and A. Sangiovanni-Vincentelli MUSTANG: state assignment of finite state machines for optimal multilevel logic implementations IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 7 1988 December 1290 1300
4. G. DeMicheli, R.K. Brayton, and A. Sangiovanni-Vincenteli Optimal state assignment for finite state machines IEEE Transaction on Computer Aided Design CAD-4 3 1985 269 285
5. T. Villa, and A. Sangiovanni-Vincentelli Nova: state assignment of finite state machines for optimal two-level logic implementations Proceedings of the 1989 26th ACM/IEEE conference on Design automation conference 1989 327 332 (Pubitemid 20666311)
6. J.N. Amaral, and W.C. Cunha State assignment algorithm for incompletely specified state machines Fifth Congress of the Brazilian Society of Microelectronics 1990 174 183
7. X. Du, G. Hachtel, B. Lin, and A.R. Newton MUSE: a multilevel symbolic encoding algorithm for state assignment IEEE Transactions on Computer Aided Design CAD-10 1991 28 38
8. P. Ashar, S. Devadas, and A. Richard Newton Sequential Logic Synthesis 1992 Kluwer Academic Publishers Norwell, MA, USA
9. B. Eschermann State assignment hardwired VLSI control units ACM Computer Survey 25 1993 December 415 436
10. A.E.A. Almaini, J.F. Miller, P. Thomson, and S. Billina State assignment of finite state machines using a genetic algorithm Comptuers and Digital Techiniques, IEE Processings 142 4 1995 July 279 286
11. J. Kennedy, and R. Eberhart Particle swarm optimization IEEE International Conference on Neural Networks, vol. 4 1995 November/December 1942 1948
12. J. Amaral, K. Turner, and J. Ghosh Designing genetic algorithm for state assignment problem IEEE Transactions on SMC 25 1995 659 694
13. http://www.cbl.ncsu.edu:16080/benchmarks/LGSynth89/fsmexamples
14. J. Kennedy, and R.C. Eberhart A discrete binary version of the particle swarm algorithm IEEE International Conference on Computational Cybernetics and Simulation, vol. 5 1997 October 4104 4108
15. S.M. Sait, and H. Youssef Iterative Computer Algorithms with Applications in Engineering: Solving Combinatorial Optimization Problems 1999 December IEEE Computer Society Press CA
16. Y. Xia, and A.E.A. Almaini Genetic algorithm based state assignment for power and area optimization IEEE Proceedings Computers and Digital Techniques 149 2002 128 133 (Pubitemid 34993407)
17. M. Chyzy, and W. Kosinski Evolutionary algorithm for state assignment of finite machines Euromicro Symposium on Digital System Design 2002 359 362
18. S. Chattopadhyay, A. Chetry, and S. Biswas State assignment and selection of types and polarities of flip-flops, for finite state machine synthesis India Annual Conference, 2004. Proceedings of the IEEE INDICON 2004 First, pp. 27, 30, 20-22 December 2004
19. F.N. Khan FSM State Assignment for Area, Power and Testability using Non-Deterministic Evolutionary Heuristics 2005 KFUPM Saudi Arabia (Master's thesis), Computer Aided Design, CAD-10:28-38, 1991
20. A. El-Maleh, S.M. Sait, and F. Nawaz Khan Finite state machine state assignment for area and power minimization IEEE International Symposium on Circuits and Systems ISCAS 2006, 21-24 May 2006
21. N. Nedjah, and L. de Macedo Mourelle Evolutionary synthesis of synchronous finite state machines International Conference on Computer Engineering and Systems 2006 November 19 24
22. M.A. Khanesar, M. Teshnehlab, and M.A. Shoorehdeli A novel binary particle swarm optimization Mediterranean Conference on Control & Automation, MED'07. vol. 1, 27-29 June 2007 1 6
23. V. Salauyou, and T. Grzes FSM state assignment methods for low-power design 6th International Conference on Computer Information Systems and Industrial Management Applications, CISIM'07, 28-30 June 2007 345 350
24. S.N. Pradhan, M.T. Kumar, and S. Chattopadhyay Integrated power-gating and state assignment for low power FSM synthesis IEEE Computer Society Annual Symposium on VLSI ISVLSI'08, 7-9 April 2008 269 274
25. S. Chaudhury, K. Teja Sistla, and S. Chattopadhyay Genetic algorithm-based FSM synthesis with area-power trade-offs Integration, the VLSI Journal 42 3 2009 June 376 384
26. W.M. Aly Solving the state assignment problem using stochastic search aided with simulated annealing American Journal of Engineering and Applied Sciences 2 2009 703 707
27. A. Sagahyroon, F.A. Aloul, and A. Sudnitson Low power state assignment using ILP techniques 15th IEEE Mediterranean Electrotechnical Conference, 26-28 April 2010 850 855
28. Sentovich, E.M., Singh, K.J., Lavagno, L., Moon, C., Murgai, R., Saldanha, A., Savoj, H., Stephan, P.R., Brayton, R.K., Sangiovanni-Vincentelli, A.L., SIS: A System for Sequential Circuit Synthesis, EECS Department, University of California, Berkeley, 1992. http://www.eecs.berkeley.edu/Pubs/ TechRpts/1992/2010.html.
29. B.A. Al Jassani, N. Urquhart, and A.E.A. Almaini State assignment for sequential circuits using multi-objective genetic algorithm IET Computers & Digital Techniques 5 4 2011 July 296 305
30. F.C. Oughali, Sait, M. Sadiq, and A.M. Arafeh FSM state-encoding for area and power minimization using simulated evolution algorithm Journal of Applied Research and Technology 10 2012 845 858