High-Level Transformations for Minimizing Syntactic Variances

Most synthesis systems generate designs from hardware descriptions by relating each language construct to a particular hardware structure. Thus, designs obtained from these systems are dependent on description styles. In other words, semantically equivalent descriptions with different orderings or groupings of conditional and assignment statements could generate designs with distinctively different costs and performance. This paper introduces an approach for minimizing the syntactic variance of different description styles. Experimental data on several examples shows the effectiveness of the proposed approach.

[1]  Pierre G. Paulin,et al.  Force-directed scheduling for the behavioral synthesis of ASICs , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[2]  Wolfgang Rosenstiel,et al.  Synthesizing circuits from behavioural descriptions , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[3]  Minh N. Do,et al.  Youn-Long Steve Lin , 1992 .

[4]  Johnson Chan Limqueco ICCAD'89 , 1990, SIGD.

[5]  Donald E. Thomas,et al.  Behavioral transformation for algorithmic level IC design , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[6]  Ajoy K. Bose,et al.  Bridge: a versatile behavioral synthesis system , 1988, DAC '88.

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

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

[9]  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.

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

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

[12]  Daniel D. Gajski,et al.  High ― Level Synthesis: Introduction to Chip and System Design , 1992 .

[13]  S. J. McFarland,et al.  The value trace : a data base for automated digital design , 1978 .