Vengineerの戯言

人生は短いけど、長いです。人生を楽しみましょう!

Bluespec:MIT & Intelの事例(LEAP)


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は、今ではオープンソースで公開されています。なんと、太っ腹。


サポートFPGAボードは、
    • Nallatech ACP M2 
    • HiTech Global v5 PCI-ExpressXilinx 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