Verilog,VHDL等のＨＷ記述言語のシミュレータ

Handel-C って使った亊ある人います?
Oxford大学Hardware Compilation Research Groupの開発によるものらしいですが