US7519939B2 - Method and Program for Supporting Register-Transfer-Level Design of Semiconductor Integrated Circuit