昔、このブログでは、いっぱい、いっぱい、Bluespecを取り上げました。
そのBluespecは、RISC-Vへの取り組みをしています。
RISC-V at Bluespec@RISC-V Workshop, Jan 14-15, 2015、ビデオ
Bluespec’s “RISC-V Factory”@3rd RISC-V Workshop, January 6, 2016、ビデオ
Bluespec’s “RISC-V Factory”@3rd RISC-V Workshop, January 6, 2016、ビデオ
Bluespec言語で実装されたRISC-V関連
MITの6.375 Course Resources
An executable specification of the RISCV ISA in L3
MITの6.375 Course Resources
An executable specification of the RISCV ISA in L3