IBM PowerPC Design in Bluespec

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

Bluespec User Meeting 2012にて、
BluespecからのプレゼンテーションにあったPowerPCの事例は、IBM PowerPC Design in Bluespecだと思います。
日付は2008.12.09になっているので、既に3年も前ですね。

私が長期休暇でBluespecを学んだ2009年の夏より前ですね。調査不足でした。

PowerPCのパイプラインをBluespecで実装するというもの。
FPGA(Xlinx Virtex-5 LX330)に実装して、HostPCからはUSBから制御したようです。
IBMはVHDLのようなので、PowerPC以外の回路はVHDLのようです。

制御系に強いBluespecの一面として、参考となる論文だと思います。

検証、Verification、Bluespec