EETimesの記事、High-performance hardware models for system simulationは、SynopsysのSynphony Model Compilerを使って、RTLコードをCモデルに変換するというもの
引用
・Direct Execution (run the testbench at the OS command line)
・Simulink
・DPI (or PLI) for RTL simulators
・SystemC
・Custom simulation environments
生成したCモデルは、5つのケースで利用可能のようです。
Cモデルを使うことで、シミュレーション時間が短くなります。
こういう使い方ができるSynphony Model Compiler、いかがでしょうか？
検証、Verification、Synopsys、HLS
