シリコンコンパイラ_論理合成とその将来