ソフトウェア互換な専用ハードウェアを合成する高位合成系に関する研究