Research On Synthesis Techniques Based On Simulated Annealing And Clique Partitioning Algorithm

High-level synthesis is one of the key technologies of digital system design automation, and has become a hot topic of investigation, development, and application at home and abroad in recent years. The advent of the high level synthesis tools simplifies the design process of complex integrated circuits, and shortens design cycles, and the study of high level synthesis theory and the improvement of related algorithm is of great importance. In this paper, attention is concentrated on the scheduling and allocation of high level synthesis.First, a new optimization strategy of high level synthesis is put forward, based on researching the technology adopted in other high level synthesis system. The scheduling of high level synthesis is optimized with a solution based on simulation annealing algorithm. This method further considers the interaction of scheduling with allocation in the process of scheduling, and presents a new form of energy function involving three factors: time, cost and Utility Ratio. The result of allocation is treated as a factor of energy function. The allocation is completed by a quickly clique partitioning algorithm, to meet the needs of energy function which must be computed easily.Second, several improvements of simulation annealing algorithm is imported, for the decrease of operation time and promotion of effect in the practice. The process and increasing new capabilities is perfected, to avoid the defects of simulation annealing algorithm. Heating annealing, tempering annealing, memorial annealing and annealing with back searching are introduced to solve the problems such as the selection of initial temperature, to avoid falling into local optimum too early and prevention of miss global optimum. In doing so, the effect of scheduling optimization is further improved. The scheme which is put forward in this paper is implemented, and the effects of the application of optimizing the scheduling and allocation process are tested. Finally, the key parameters and experiment data are given to verify the effects.