• DocumentCode
    1926063
  • Title

    Simulated annealing based parallel state assignment of finite state machines

  • Author

    Hasteer, Gagan ; Banerjee, Prithviraj

  • Author_Institution
    Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
  • fYear
    1997
  • fDate
    4-7 Jan 1997
  • Firstpage
    69
  • Lastpage
    75
  • Abstract
    Simulated annealing has been an effective tool in many optimization problems in VLSI CAD but its time requirements are prohibitive. In this paper, we report a parallel algorithm for a well established, simulated annealing based algorithm for the state assignment problem for finite state machines. Our parallel annealing strategy uses parallel moves by multiple processes, each performing local moves within its assigned sub-space of the state encoding space. The novelty is in the dynamic repartitioning of the state space among processors, so that each processor gets to perform moves on the entire space over time. This is important to keep the quality of the parallel algorithm comparable to the serial algorithm. On the average our algorithm gives quality results within 0.05% of the serial algorithm on 64 processors. Our algorithm is portable across a wide range of MIMD machines and gives superlinear speedups on all of them. For a large circuit, the run-time has been reduced from 11 hours to 10 minutes on a 64 processor machine
  • Keywords
    VLSI; circuit CAD; finite state machines; logic CAD; parallel algorithms; simulated annealing; state assignment; FSM; MIMD machine portability; VLSI CAD; dynamic repartitioning; finite state machines; parallel algorithm; parallel annealing strategy; parallel state assignment; simulated annealing based state assignment; state space; superlinear speedups; Automata; Circuit testing; Contracts; Design automation; Encoding; Logic testing; Parallel algorithms; Sequential circuits; Simulated annealing; Very large scale integration;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    VLSI Design, 1997. Proceedings., Tenth International Conference on
  • Conference_Location
    Hyderabad
  • ISSN
    1063-9667
  • Print_ISBN
    0-8186-7755-4
  • Type

    conf

  • DOI
    10.1109/ICVD.1997.567963
  • Filename
    567963