6th RISC-V Workshop Proceedingsのプレゼン資料および講演ビデオが公開されました。
引用 ・RV32I|E[MC] ISA ・Machine privilege mode ・2 to 4 stage pipeline ・32-bit AHB-Lite external interface ・Integrated IRQ controller and advanced debug ・Optimized for area and power ・Written in SystemVerilog ・Features a number of configurable parameters
SystemVerilogで記述されています。
テスト用のプログラムもありますね。
デモね、検証リストや検証シナリオが無いと、どんだけテストしたのかわかんないよ。
こちらに、DATE 2017の資料がありますね。