ALINT 製品構成
| Features | ALINT [Hide] |
|---|---|
| 標準サポート | |
| Verilog® HDL IEEE 1364 (1995, 2001および2005) アルデックのシミュレータはIEEE 1364-2005規格を完全にサポートしています。レガシーから新規まで、バラエティ豊富なVerilogデザインをシミュレーションできるように、アルデックのシミュレータはVerilog '95モード、2001モードおよび2005モードで稼働させることができます。 More |  |
| VHDL IEEE 1076 (1987, 1993, 2002 および 2008) アルデックのシミュレータはIEEE 1076-1993規格とIEEE 1076™-2002 VHDLを完全にサポートし、新しく公開されたIEEE 1076™-2008規格の大部分をサポートします。 More | |
| ルール・ライブラリ | |
| DO-254 (VHDL / Verilog) このプラグインはデザインのDO-254準拠性を高めるために使えるルール・セットです。 More | Option |
| RMM (VHDL/Verilog) Reuse Methodology Manual (RMM) はシノプシスとメンター・グラフィックスが発行している業界でも定評のあるマニュアルを元にしたデザイン・ルール・ライブラリで、効率的なデザインの再利用と検証のための方法を定義しています。 More | Option |
| STARC® (VHDL / Verilog) STARCの定めたVerilogとVHDLの設計ルール・ライブラリには、「STARC RTL設計スタイル・ガイド 第2版」に記載されたVerilog/VHDLの記述ルールが取り込まれています。 More | Option |
| アルデック基本ルール・ライブラリ (VHDL / Verilog) アルデック基本ルール・ライブラリ (VHDL / Verilog) More | |
| ユーザ定義ルール ALINT™では、ユーザは自分のルールを1から作ることができます。ALINTには新ルール作成をお手伝いする特別ウィザードが付いています。 More | |
| テクノロジ | |
| パターン・マッチング・エンジン ALINT™には、パターン・マッチング・エンジンという、デザインにチップレベルの先進的なチェックを実施する機能が付いています。 More | |
| インスタンスの分類 ALINT™はデザインを独立した階層セグメントに分割してデザインのインスタンスを分類する機能があります。 More | |
| FPGAプリミティブのサポート メーカーのコンポーネントについては、合成できるコードがない限りは、従来の合成手法は効果的ではありません (コンポーネントを適切な論理リソースに割り当てるのはインプリメントのタスクです)。 More | |
| CDC の解析とレポート ALINTはクロック・ドメインの抽出とクロック・ドメイン交差 (CDC) のルール・チェックを自動で実行する機能があります。 More | |
| デザイン・リファイメント手法 | |
| 品質評価 リンティング・セッションが完了すると、詳細な品質レポートが利用できるようになります。このレポートは違反したルール、違反しなかったルールの重みに基づき、いちばん最近のリンティング・セッションで使用されたルールに関して、あなたのデザインの品質がどの程度か見積もります。 More | |
| フロー・エディタ リンティング・フローは必ず順々に実施・完了しなければならないプロセスやフェーズからなります。 More | |
| フェーズ・ベース・リンティング (PBL) フェーズ・ベース・リンティング手法はユーザの生産性を大きく向上させ、リンティング・プロセス全体の効率を大きく高めるメソドロジです。 More | |
| クリティカル・ルール デザインの問題の中には、デザイン解析プロセスに大きな影響を与え、その問題に見えない形で関係しているルールで誤って違反と認識されてしまうものがあります。 More | |
| フロー・マネージャ フェーズ・ベース・リンティング (PBL) 手法はフロー・マネージャに基づいて実装されます。 More | |
| 結果解析およびレポート | |
| 違反ビューワ 違反ビューワは簡単にリンティング・セッションの結果を管理できます。 More | |
| 適用除外管理 デザインの中には、時に特定のコーディング規約を無効にしたい (該当する違反レポートは「適用されない状態」になる) ブロックやコンテキストがあります。 More | |
| ソースコードへのクロス・プロービング ALINTでは違反をソースコードへクロス・プロービングできます。 More | |
| 違反レポートの比較 ALINT™では異なるリンティングから作成された2つの違反レポートを比較することができます。 More | |
| スタンドアロンのレポートおよびドキュメンテーション ALINTは標準的なウェブブラウザで読める完全に非依存のレポートを出せます。しかも追加ライセンスは要りません。 More | |
| 生産性ツール | |
| デザイン管理 ALINT™にはデザイン管理を能率化するツールがあります。ワークスペースや添付デザインおよびHDLソース・ファイルなどのリソース、スクリプト・ファイルやリント結果などを、ワンクリックで作成・管理できます。 More | |
| クイック起動パネル 初めて使う人にわかりやすいように、ALINT™にはクイック起動パネルが用意されています。クイック起動パネルからはALINTでもっともよく使う機能にアクセスできます。 More | |
| コンフィグレーション・ビューワ コンフィグレーション・ビューワは設計者が作成してハードディスク上のどこかに置いたルール・セットとポリシーに素早くアクセスするためにツールです。 More | |
| ルール解説ビューワ ルール解説ビューワはALINT™で利用できるルールのそれぞれについて詳しい解説を確認できるツールです。解説には図表やHDLコード・サンプルなどが付いてきます。 More | |
| ルール・プラグイン・ビューワ ルール・プラグイン・ビューワは、ALINT™で利用できるルールのすべてにアクセスできます。ルールはHDLとルール・プロバイダ (STARC®, Aldec®など) ごとにルール・プラグインとしてまとめられています。 More | |
| ルールセット・エディタ ルールセット・エディタはALINT™のルールセットを閲覧・管理するツールです。ルールセットとはルールを集めて名前を付けたものです。 More | |
| ルール・パラメータ・エディタ ルール・パラメータ・エディタではALINT™におけるルールのパラメータにアクセスできます。このエディタでは、パラメータのデフォルト値を変更することで、既存のルールを色々な方法でカスタマイズできます。 More | |
| カスタム・ポリシー・エディタ カスタム・ポリシー・エディタはALINT™のポリシーを表示・管理するためのツールです。ポリシーは設計者がデザインをチェックするためのルールをまとめたものです。 More | |
| ライセンス・タイプ | |
| 1年間・時限ライセンス 1年間・時限ライセンス (年間ライセンス、TBL) は1年ごとに製品の使用権を与えるライセンスです。TBLには1年間のサポート契約が付いてきます。 More | |
| フローティング・ライセンス ネットワークのフローティング設定 (複数台使用) は、WindowsかLinuxのリモート・マシン (ライセンス・サーバ) のライセンスを基盤として使用するものです。 More | |
| 永久ライセンス 永久ライセンスは有効期限のないライセンスです。永久ライセンスには1年間のサポート契約が付いてきます。 More | |
| サポート・プラットフォーム | |
| Windows® 7/Vista/XP/2003 - (32/64-Bit) ビルドは最新プラットフォームのすべてでテストされ、ユーザのワークステーションで正しく動作することを確認しています。 More | |
| Linux (32/64-Bit) Linux x86/x86_64 をサポート。 More | |
