@article{oai:nagoya.repo.nii.ac.jp:00013136, author = {HARA, Yuko and TOMIYAMA, Hiroyuki and HONDA, Shinya and TAKADA, Hiroaki and ISHII, Katsuya}, issue = {12}, journal = {IEICE transactions on fundamentals of electronics, communications and computer sciences}, month = {Dec}, note = {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.}, pages = {2853--2862}, title = {Function-Level Partitioning of Sequential Programs for Efficient Behavioral Synthesis}, volume = {E90-A}, year = {2007} }