Solving the State Assignment Problem Using Stochastic Search Aided with Simulated Annealing

Problem statement: Solving the state assignment problem means finding the optimum assignment for each state within a sequential digital circuit. These optimum assignments will result in decreasing the hardware realization cost and increasing the reliability of the digital circuit. Unfortunately, the state assignment problem belongs to the class of nondeterministic polynomial time problems (NP complete) which requires heavy computations. Different attempts have been made towards solving the problem with reasonable recourses. Approach: This study presented a methodology for solving the state assignment problem, the methodology conducted a neighborhood search while using a heuristic to determine the fitness of solution. To avoid being trapped at a local optimum solution, a metaheuristic (simulated annealing) was utilized for deciding whether a new solution should be accepted. A case study was included to demonstrate the proposed procedure efficiency. Results: The proposed approach finds the optimum assignment for the case study. Conclusion: In this study, we explored the usage of a stochastic search technique inspired by simulated annealing to solve the problem of the state assignment problem. This proved the efficiency of the methodology.

[1]  Anh Tran,et al.  Fundamentals of logic design , 2008 .

[2]  José Nelson Amaral,et al.  Applying genetic algorithms to the state assignment problem: a case study , 1992, Defense, Security, and Sensing.

[3]  Michael A. Harrison,et al.  On Equivalence of State Assignments , 1968, IEEE Transactions on Computers.

[4]  N. Nedjah,et al.  Evolutionary Synthesis of Synchronous Finite State Machines , 2006, 2006 International Conference on Computer Engineering and Systems.

[5]  Godfrey C. Onwubolu,et al.  New optimization techniques in engineering , 2004, Studies in Fuzziness and Soft Computing.

[6]  M. K. Dhodhi,et al.  State assignment of finite-state machines , 2000 .

[7]  Robert K. Brayton,et al.  Optimal State Assignment for Finite State Machines , 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[8]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[9]  Srinivas Devadas,et al.  Exact algorithms for output encoding, state assignment, and four-level Boolean minimization , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..