Yuko Hara Hiroyuki Tomiyama Shinya Honda Hiroaki Takada Partitioning of Behavioral Descriptions with Exploiting Function-Level Parallelism. 488-499 2010 93-A IEICE Transactions 2 http://search.ieice.org/bin/summary.php?id=e93-a_2_488 db/journals/ieicet/ieicet93a.html#HaraTHT10