SDC-Based Modulo Scheduling for Pipeline Synthesis

Modulo scheduling is a popular technique to enable pipelined execution of successive loop iterations for performance im-provement. While a variety of modulo scheduling algorithms exist for software pipelining, they are not amenable to many complex design constraints and optimization goals that arise in the hardware synthesis context. In this paper we describe a modulo scheduling framework based on the formulation of system of difference constraints (SDC). Our framework can systematically model a rich set of performance constraints that are specific to the hardware design. The scheduler also exploits the unique mathemati-cal properties of SDC to carry out efficient global optimiza-tion and fast incremental update on the constraint system to minimize the resource usage of the synthesized pipeline. Ex-periments demonstrate that our proposed technique provides efficient solutions for a set of real-life applications and com-pares favorably against a widely used lifetime-sensitive mod-ulo scheduling algorithm. 1