supplyで購入できる。自分の場合はストックがあったので、発注してからUPSで3日ぐらいで届いた。搭載しているFPGAはLatticeのiCE40UP5kというものを積んでいるらしい。わかっていないのでどの程度の回路が組めるかわからないが、LUTが5000個あって、RISC-Vを組み込んでいる。ソフトウェア実装が動いている。ソフトコアとブートローダはfobootというリポジトリで管理されている。ツールでビルドされるらしい。ファイルが収まっている。SpinalHDLという高レベルHDLで実装されている。流行っているのかもしれない。workshopがあるのでこれに沿って初めてみる。