論理合成 - 他の言語