>>539
コンパイラが万能なら論理回路の検証等不要だけど
そんなコンパイラが存在するのか？って話
結局は公開されてる論理回路をコピーして使って
特に重要なとこだけ新規回路構築するんじゃないかな
模倣したCPUやGPUを使うプログラムがソースのほとんどだと思うよ
まだまだ過渡期な技術なのにそこまで自信満々に言っても誰もついてこれないよ

FPGA の検証について
http://www.altima.jp/products/software/mentor/fv/modelsim0.html
ここでも大規模化で検証工数の増加が問題視されてる