誰でも、Specmanが使えるぞ！

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

EDA Playgroundで、AldecのRiviera-PROが利用できますが、
Specmanも利用できるようです。YouTubeにビデオがアップされています。

EDA Playgroundの左の「Testbench + Design」でSpecman e + SV/Verilog」を選ぶと、Specman 2014.10が利用できるようです。

左下のExamplesで「e + Verilog」、e Hello Worldなどの例題があります。
実行するには、ログインが必要です。

いかがでしょうか？