ForSyDe

Verification Evangelistの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

ForSyDeなるサイトを見つけました。
ForSyDeは、Embedded Domain Specific Languageのようで、HaskellとSystemCが使えるようです。
ソースコードも公開されているようですが、どのような場面に使うかは私にはよくわかりません。
どなたか、教えてください。

検証、Verification、SystemC