Verification Engineerの戯言 : SystemVerilogの世界へようこそ
SystemC Japan 2010、レポート第3弾
高位合成の方がゲート数、ライン数ともに、Good。
ECOフローも評価。CtoSのインクリメンタル合成結果をConformalにてチェック。
クロックゲーティング挿入もCtoSでき、RTL設計と同等な結果。
SLECとの連携で等価性検証も問題無し(ルネサスの事例と同じ)
クロックゲーティング挿入もCtoSでき、RTL設計と同等な結果。
SLECとの連携で等価性検証も問題無し(ルネサスの事例と同じ)
以上の結果から、CtoSは、ASIC適用事例 OK
今後、HLSは、
ForteのCynthesizer MentorのCatapult-C CadenceのCtoSの3ツールの戦いか?
検証、Verification、SystemC、HLS