Bluespec：MIT & Intelの事例(LEAP)

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

Bluespec User Meeting 2012にて、BluespecからのプレゼンテーションにあったIntelの事例は、LEAP: A Virtual Platform Architecture for FPGAsかもしれません。
IntelだBluespecのビックユーザーでかなり利用されているようです。

たぶん、2010年頃の論文(Leap overview paper from the 2010 Carl workshop)。

このLEAPは、今ではオープンソースで公開されています。なんと、太っ腹。

関連論文として、LEAP Scratchpads: Automatic Memory and Cache Management for Reconfigurable Logicがありました。

サポートFPGAボードは、

    • Nallatech ACP M2 
    • HiTech Global v5 PCI-Express 
    • Xilinx XUPv2 and XUPv5 
    • Xilinx ML605 (work-in-progress) 
    • Altera DE2 and DE3
    • Altera DE4 (work-in-progress)
    • Altera Arria II GX
    • Hybrid Bluesim/Software simulation

で結構、あるね！

システムのソースコードをちょびっと眺めてみたのだが、これ、凄い。
BSVのコードもいっぱいあるし。

基本的には、debianをサポート。ツールは、Perl & Qtにて実装か？。

検証、Verification、Bluespec