Scheduling of behavioral VHDL by retiming techniques

In this paper we present a new approach to the scheduling of behavioral VHDL descriptions for controlow dominated applications containing a large number of nested conditionals and data dependent loops. The proposed algorithm is able to schedule and re-schedule descriptions for optimization subject to various cost functions. The timing of the I/O signals can be completely xed, partially xed or left to the scheduler. In this case the algorithm produces a schedule such that the number of clock cycles required for a complete execution of the behavioral description is minimized. Scheduling is performed as a behavioral VHDL code transformation and allows taking advantage of all the power of commercial RT synthesis systems. The corresponding problem is solved based on an analogy to the retiming problem on RT-level networks which can be solved in polynomial time. The e ciency of our approach is demonstrated on various examples.

[1]  Frank Harary,et al.  Graph Theory , 2016 .

[2]  Wayne H. Wolf,et al.  The Princeton University behavioral synthesis system , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[3]  Taewhan Kim,et al.  A scheduling algorithm for conditional resource sharing , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

[4]  Kazutoshi Wakabayashi,et al.  A resource sharing and control synthesis method for conditional branches , 1989, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.

[5]  Peter Duzy,et al.  High-level synthesis from VHDL with exact timing constraints , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[6]  James A. McHugh,et al.  Algorithmic Graph Theory , 1986 .

[7]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[8]  J. F. Wang,et al.  A Tree-Based Scheduling Algorithm for Control-Dominated Circuits , 1993, 30th ACM/IEEE Design Automation Conference.

[9]  Alice C. Parker,et al.  The high-level synthesis of digital systems , 1990, Proc. IEEE.

[10]  Robert A. Walker,et al.  A Survey of high-level synthesis systems , 1991 .

[11]  Alice C. Parker,et al.  MAHA: A Program for Datapath Synthesis , 1986, DAC 1986.

[12]  Raul Camposano,et al.  Path-based scheduling for synthesis , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..