Function-Level Partitioning of Sequential Programs for Efficient Behavioral Synthesis

Yuko HARA; Hiroyuki TOMIYAMA; Shinya HONDA; Hiroaki TAKADA; Katsuya ISHII

doi:10.1093/ietfec/e90-a.12.2853

Function-Level Partitioning of Sequential Programs for Efficient Behavioral Synthesis

Yuko HARA, Hiroyuki TOMIYAMA, Shinya HONDA, Hiroaki TAKADA, Katsuya ISHII

Full Text Views

0

Share
Cite this

Summary :

This paper proposes a behavioral level partitioning method for efficient behavioral synthesis from a large sequential program consisting of a set of functions. Our method optimally determines functions to be inlined into the main module and the other functions to be synthesized into sub modules in such a way that the overall datapath is minimized while the complexity of individual modules is lower than a certain level. The partitioning problem is formulated as an integer programming problem. Experimental results show the effectiveness of the proposed method.

Publication: IEICE TRANSACTIONS on Fundamentals Vol.E90-A No.12 pp.2853-2862

Publication Date: 2007/12/01

Publicized

Online ISSN: 1745-1337

DOI: 10.1093/ietfec/e90-a.12.2853

Type of Manuscript: PAPER

Category: VLSI Design Technology and CAD

Cite this

Copy

Yuko HARA, Hiroyuki TOMIYAMA, Shinya HONDA, Hiroaki TAKADA, Katsuya ISHII, "Function-Level Partitioning of Sequential Programs for Efficient Behavioral Synthesis" in IEICE TRANSACTIONS on Fundamentals, vol. E90-A, no. 12, pp. 2853-2862, December 2007, doi: 10.1093/ietfec/e90-a.12.2853.
Abstract: This paper proposes a behavioral level partitioning method for efficient behavioral synthesis from a large sequential program consisting of a set of functions. Our method optimally determines functions to be inlined into the main module and the other functions to be synthesized into sub modules in such a way that the overall datapath is minimized while the complexity of individual modules is lower than a certain level. The partitioning problem is formulated as an integer programming problem. Experimental results show the effectiveness of the proposed method.
URL: https://globals.ieice.org/en_transactions/fundamentals/10.1093/ietfec/e90-a.12.2853/_p

Copy

@ARTICLE{e90-a_12_2853,
author={Yuko HARA, Hiroyuki TOMIYAMA, Shinya HONDA, Hiroaki TAKADA, Katsuya ISHII, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Function-Level Partitioning of Sequential Programs for Efficient Behavioral Synthesis},
year={2007},
volume={E90-A},
number={12},
pages={2853-2862},
abstract={This paper proposes a behavioral level partitioning method for efficient behavioral synthesis from a large sequential program consisting of a set of functions. Our method optimally determines functions to be inlined into the main module and the other functions to be synthesized into sub modules in such a way that the overall datapath is minimized while the complexity of individual modules is lower than a certain level. The partitioning problem is formulated as an integer programming problem. Experimental results show the effectiveness of the proposed method.},
keywords={},
doi={10.1093/ietfec/e90-a.12.2853},
ISSN={1745-1337},
month={December},}

Copy

TY - JOUR
TI - Function-Level Partitioning of Sequential Programs for Efficient Behavioral Synthesis
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2853
EP - 2862
AU - Yuko HARA
AU - Hiroyuki TOMIYAMA
AU - Shinya HONDA
AU - Hiroaki TAKADA
AU - Katsuya ISHII
PY - 2007
DO - 10.1093/ietfec/e90-a.12.2853
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E90-A
IS - 12
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - December 2007
AB - This paper proposes a behavioral level partitioning method for efficient behavioral synthesis from a large sequential program consisting of a set of functions. Our method optimally determines functions to be inlined into the main module and the other functions to be synthesized into sub modules in such a way that the overall datapath is minimized while the complexity of individual modules is lower than a certain level. The partitioning problem is formulated as an integer programming problem. Experimental results show the effectiveness of the proposed method.
ER -