Mentor，検証用SystemCモデルなどを生成できるC/C++入力のビヘイビア合成ツールを発売

　米国Mentor Graphics社は，C/C++入力のビヘイビア合成ツール「Catapult C Synthesis」を機能拡張し，検証環境構築用のSystemCモデルなどを生成できるようにした．今回の機能を使用すると，HDL（hardware description language）のRTL（register transfer level）モデルを用いる場合と比べて，機能検証の際のシミュレーションに要する時間を20～100倍短縮できるという．

　具体的には，アルゴリズム・レベル（アンタイムド・レベル）のC/C++記述からサイクル精度（ビヘイビア・レベル）の検証用SystemC/HDLモデル，C++のテストベンチをこの検証用モデルに接続するためのラッパ記述，RTLモデルやビヘイビア・モデルの信号列をトランザクションに変換したり，逆にトランザクションを信号列に変換するトランザクタ・モジュールなどを生成する．2005年後半には，トランザクション・レベルの検証用SystemCモデルを生成する機能も提供する予定．トランザクション・レベルのモデルを使用すれば，シミュレーション時間はさらに短縮するという．

　Catapult C Synthesisは，ANSI C/C++のアルゴリズム記述からHDLのRTLモデルを生成するビヘイビア合成ツールである．入力したC/C++記述の機能を実現する複数の回路構成（アーキテクチャ）を生成する．入力記述としてSystemCは採用していない．今回，シミュレーション時間の短縮をねらい，検証環境の構築に用途を絞ってSystemCを採用した．なお，生成されるSystemC記述はあくまでも検証環境の構築用なので，可読性などは考慮されていないという．

　対応するOSは，Windows NT/2000/XP，Redhat 7.3，HP-UX11，Solaris 8．

[図1] Catapult C Synthesisの画面例