Yuko Hara Hiroyuki Tomiyama Shinya Honda Hiroaki Takada Katsuya Ishii Complexity-constrainted partitioning of sequential programs for efficient behavioral synthesis. 365-370 2007 conf/glvlsi/2007 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/1228784.1228871 db/conf/glvlsi/glvlsi2007.html#HaraTHTI07