US8091051B2 - Behavioral Synthesis Apparatus, Method, and Program Having Test Bench Generation Function