Move frame scheduling and mixed scheduling-allocation for the automated synthesis of digital systems

The authors present two algorithms for the scheduling and allocation phases in high-level synthesis under time and resource constraints. This is achieved by formulating these problems in terms of Lyapunov´s stability theorem using a transformation technique between the design space and the dynamic system space. These algorithms are based on moves in the design space, which correspond to the moves towards the equilibrium point in the dynamic system space. The scheduling algorithm takes care of mutually exclusive operations, loop folding, multi-cycle operations, chained operations and pipelining. The mixed scheduling-allocation algorithm can handle all of these scheduling applications and simultaneously perform allocation of functional units, registers and interconnects while minimizing the overall cost