x86は、SystemVerilog

Verification Evangelistの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

@natsutan のツイートから、インテルにx86がSystemVerilogで書かれていることがわかりました。

Inte Nehalem Processor Core Made FPGA Synthesizableによると、
5個のVirtex-4/5でエミュレーションしたようです。
当然、Linuxの立ち上げもやっています。

また、2009年の論文:Intel® atom™ processor core made FPGA-synthesizableでは、
ATOMなら、Virtex-5、1個に入ったようです。

ちなみに、Sunの[OpenSPARC T1/T2はVerilog-HDLで、検証にはVeraが使われていました。
こちらはhttp://www.opensparc.net/download.html ソースコード]が公開されています。

検証、Verification、SystemVerilog