Synopsysのサイトには、HECTORの概略のページもアップされています。
これによると、
・C to C ・C to RTL ・RTL to RTL ができ、 SystemVerilog、VHDL、C、C++、SystemC に対応 そして、マルチプロセッサ対応(マルチコア対応とは書いていないが)Calyptoの牙城を崩せることができるだろうか。。。
検証、Verification、Synopsys