GreenPAKの開発について

GreenPAKの開発は「Go Configure Software Hub」のソフトウェアのみとなるのでしょうか?

Verilogでの開発はできないのでしょうか?