Bluespec User Meeting 2012にて、
BluespecからのプレゼンテーションにあったPowerPCの事例は、IBM PowerPC Design in Bluespecだと思います。
日付は2008.12.09になっているので、既に3年も前ですね。
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のようです。
FPGA(Xlinx Virtex-5 LX330)に実装して、HostPCからはUSBから制御したようです。
IBMはVHDLのようなので、PowerPC以外の回路はVHDLのようです。
制御系に強いBluespecの一面として、参考となる論文だと思います。
検証、Verification、Bluespec