Yuko Hara Hiroyuki Tomiyama Shinya Honda Hiroaki Takada Katsuya Ishii Function-Level Partitioning of Sequential Programs for Efficient Behavioral Synthesis. 2853-2862 2007 90-A IEICE Transactions 12 http://dx.doi.org/10.1093/ietfec/e90-a.12.2853 db/journals/ieicet/ieicet90a.html#HaraTHTI07