TCGC00207-02-0030-11 株式会社プライムゲート 営業技術部 業界初のSystemC™用デザイン・ルール・チェッカー、 米国Actis Design社ソフトウエアをプライムゲートからご提供 Actis Design社 の紹介 設立：２００１年 言語設計コンサルティングサービスのWillamette HDL 社から スピンオフした人々により設立。 所在地：オレゴン州ポートランド 創設者：Joan Bartlett氏 Tektronix社、Pyramid Technology社、Logic Automation社 にて エンジニア、プロジェクト・リーダ、エンジニアリング・マネージャ等を経験。 サービス内容： 1 業界初のSystemC ルールチェッカー ： AccurateC™ VHDL/Verilog HDL の自己学習用ソフトウェア：Ten Minute Tutor™ EDA全般に渡るコンサルティングサービス AccurateC の紹介 AccurateCTMの使用フロー AccurateCTMとは 業界最初のSystemCルール・チェッカー SystemC モデル SystemCのサポートバージョン SystemC2.1.v1対応 TLM(Transaction Level Modeling)ライブラリ対応 SCV(SystemC Verification)ライブラリ対応 AccurateCTMの特徴 2 C++コンパイラーを利用するよりもデバッグが容易 内蔵パーサーによりC++のシンタックスもチェック 各抽象度向けに用意されたSystemCのチェック・ルール GUI及びコマンドラインで実行可能 チェックされた SystemC モデル シミュレーション シミュレーション 合成 合成 AccurateCのルール・セット 各抽象度でのルールチェックが可能 AccurateCのルール・セット シンタックスチェック z 1000以上のC/C++のシンタックスチェック 接続チェック コーディングスタイルチェック z z z ビヘイビア・シンセシス RTL・シンセシス 各種ベンダーのツール向けチェック z 3 UTF （UnTimed Functional） TLM （Transaction Level Modeling） 合成向けの記述スタイルチェック z ポート接続の整合をチェック エラーレベルは ３ 種類： ・Error ・Warning ・Note Forte CynthesizerTM ルール毎のカスタマイズも可能： ・ルール有効・無効 ・エラーレベルの変更 ・ルール・セットの作成 SystemCコンパイル時の問題点 従来の設計フロー systemc.h ・・・ AccurateCTMの設計フロー ？ SystemC SystemC SystemC コーディング システムファイル群 コーディング エラー原因 何度も デバッグ作業が 箇所不明 手戻りが発生 main.cpp ・・・ エラー原因箇所を 効率化 正しくレポート コンパイル コンパイル SystemC デザインファイル ・ユーザーコード内のエラー原因箇所が不明 ・ユーザーコード内のエラー原因箇所をレポート ・難解なエラーメッセージ ・エラー詳細のヘルプファイルを用意 ・C++シンタックスのみチェック ・C++シンタックス及び、 SystemCの記述ルールチェック 4 SystemCシミュレーション時の問題点 従来の設計フロー SystemC コーディング シミュレーション時の問題 AccurateCTMの設計フロー SystemC ？ ・シミュレーションの暴走 コーディング ・システム・ ファイル内を 指し示すエラーメッセージ コンパイル コンパイル main.cpp ・・・ シミュレーション シミュレーション コンパイル コンパイル シミュレーション SystemC デザインファイル ・ システムファイル内が エラー箇所としてレポートされる。 ・シミュレーション暴走時の原因箇所不明 ・常にデザインファイル内の エラー箇所をレポート ・シミュレーション時のエラー要因を 事前にチェック 5 AccurateC 導入による全体メリット ルールチェックによるソース品質向上 プロジェクト ガバナンス （設計統治） SystemCエンジニアの合理的育成 検証品質向上による設計効率向上 動作合成品質向上によるチップ性能向上 開発の効率化 モジュール単体での記述チェックが容易 → システム全体が出来上がる前にモジュール毎にチェック開始可能。 高位合成ツールで合成する前の事前チェックが可能 → 高位合成ツールでの合成前に基本的なエラーチェックが可能。 6 AccurateC RuleGeneratorの紹介 RuleGeneratorの使用フロー AccurateCTM RuleGeneratorとは AccurateCTMのオプション製品 ユーザー定義ルールを生成しＡｃｃｕｒａｔｅＣに追加可能 C++ ルール ソース SystemC モデル ルールジェネレータ− AccurateCTM RuleGeneratorの特徴 ユーザー定義ルールはC++により記述 z z ルール ファイル 専用API関数でAccurateCの内部データへアクセス ユーザー定義ルールの記述サンプルあり ヘルプファイルとエラーレベル設定 z z ルール毎にヘルプファイル(HTML)を作成可能 エラーレベルをError/Warning／Noteから選択 チェックされた SystemC モデル シミュレーション シミュレーション 合成 合成 7 RuleGeneratorで生成可能なルール例 RuleGeneratorで生成可能なルール例 If文のネスト禁止ルール 関数再帰呼び出し禁止ルール ネーミングルール C++で記述された サンプルルール記述あり 演算式の解析・・・など ＧＵＩのウィザードによる自動生成ルール 各種のネーミングルール 特定のステートメント禁止ルール 8 ウィザードの利用により ネーミングルールの大量生成も容易 RuleGenerator導入によるメリット 独自の記述スタイル・ネーミングルールがチェック可能 → 現場にコーディングルールが浸透 → 統一された記述スタイルによる可読性の向上 → バグの少ない高品質なコード作成の促進 ユーザー定義 ルール ルール ジェネレータ− 最新ルールチェック構築 9 ルール ファイル 参考資料１：AccurateC価格表 No. 製品名 1 AccurateC Rule Checker Basic 1年間ライセンス A0000020D11 2 AccurateC Rule Checker Basic 3年間ライセンス A0000020D12 3 AccurateC Rule Checker Basic WAN Regional 対応オプション/1年間 A0000020D13 4 AccurateC Rule Checker Basic WAN Global 対応オプション/1年間 A0000020D14 5 AccurateC Rule Checker Enterprise 1年間ライセンス A0000020D01 6 AccurateC Rule Checker Enterprise 3年間ライセンス A0000020D02 7 AccurateC Rule Checker Enterprise WAN Regional 対応オプション/1年間 A0000020D03 8 AccurateC Rule Checker Enterprise WAN Global 対応オプション/1年間 A0000020D04 9 AccurateC Rule Generator 1年間ライセンス A0000020E01 10 AccurateC Rule Generator 3年間ライセンス A0000020E02 11 AccurateC Rule Generator WAN Regional 対応オプション/1年間 A0000020E03 12 AccurateC Rule Generator WAN Global 対応オプション/1年間 A0000020E04 13 AccurateC Rule Checker Basic University Program 1年間ライセンス A0000020F01 価格/詳細は弊社までお問合せ下さい。 営業推進部/営業技術部 TEL.03-5642-3556 FAX.03-5642-3557 E-mail: [email protected] URL http://www.prime-gate.com 10 型番 参考資料１： AccurateC価格表 補足 ライセンス形態について： 本製品のライセンスはフローティングライセンスの形態です。 ご購入いただきました拠点内(半径1kmの範囲)にてご利用いただけます。 Regional WAN対応オプションにより、国内にて上記範囲を超える範囲からのライセンス取得が可能です。 Global WAN対応オプションにより国内/国外を問わず、上記範囲を超える範囲から ライセンス取得が可能です。 その他補足事項： 注１： AccurateC Rule Checker Basicは AccurateC Rule Checker Enterprise の廉価版です。 デフォルト・チェックルールのみ利用可能です。 注２： AccurateC Rule Checker Enterpriseは、 デフォルト・チェックルール及び、AccurateC Rule Generatorにて生成される ユーザー定義ルールが利用可能です。 注３： 保守料はライセンス料に含まれます。 注４： Basic University Programは、AccurateC Rule Checker Basic 10ライセンスの構成です。 ただし、ノンサポートです。 11 株式会社プライムゲート 本社 山口県宇部市床波一丁目６番１３号 〒755-0153 TEL:0836-54-0016 FAX:0836-51-4989 山口ＬＳＩセンター 山口県宇部市海南町１８−１３フューチャービル３Ｆ 〒755-0038 TEL:0836-29-4141 FAX:0836-29-4178 大阪ＬＳＩセンター 大阪府大阪市中央区本町４−４−２４ 住友生命本町第二ビル８Ｆ 〒541-0053 TEL:06-4963-9351 FAX:06-4963-9352 東京ＬＳＩセンター 東京都中央区日本橋蛎殻町２−１３−３ 日本橋梶原ビル３Ｆ 〒103-0014 TEL:03-5642-3556 FAX:03-5642-3557 インターネットホームページ：http://www.prime-gate.com Ｅ-ｍａｉｌアドレス [email protected]
© Copyright 2024 ExpyDoc
