Veriloggenでは、
・FSMライブラリもあります。(Page.16) ・Alway分も合成できます。(Page.19) ・BRAMの定義も出来ます。(Page.23) ・Dataflowも書けます。(Page.26) ・オペレータオーバーロードもできます。(Page.31)
Veriloggen、PyCoRAMを使って、いろんなこと出来ます。