ごめんなさい、関数言語スレのどっかで名前が挙がってて、
興味はあるけれど、まだホームページちらっと眺めただけ。

高いの？便利？特徴は？

(勝手に)義兄弟スレ【Verilog,VHDL等のＨＷ記述言語のシミュレータ 】
　http://mentai.2ch.net/test/read.cgi/sim/981553632/
＃もしかして、ExecutableUMLって、
＃ハードウェア記述言語とかの影響下から出てきたのかなー？
＃あっちの分野は、それなりに実用に使われているよ、ね？