航空システム設計保証：アルデックはALINT-PROのDO-254プラグインに60以上の新しいHDLルールを追加Date: 2021/03/04 Type: ReleaseHenderson, NV, USA – 2021年3月4日 – HDL混在言語シミュレーションとFPGAおよびASICのハードウェア・アシステッド・ベリフィケーションのパイオニアであるAldec, Inc.(以下「アルデック」）は、ALINT-PRO™のDO-254ルールプラグインに60以上の新しいHDLルールを追加し、ツールのデザインエントリ機能を強化して生産性を向上させました。 新しいルール（合計 62ルール）は、ツールのDO-254プラグインにすでに存在する97ルールに加わり、FPGAなどの複雑なハードウェアデバイスを使用するエンジニアが特定のDO-254プロセスのターゲットを達成し、システム全体の承認を受けるのに役立ちます。 認証局は申請者がFPGAデザインの複雑さに見合ったHDLコーディング標準を定義し、それに従うことを推奨しています。HDLコーディング標準に準拠することで、業界のベストプラクティスと手法の適用、信頼性の高いデザインの確保、デザインの問題が設計フローの下流段階に広がることを防ぎ、デザインを完了するために必要なイタレーションの回数を減らします。 アルデックのDO-254プログラムマネージャー Janusz Kitelのコメント：「残念なことにDO-254ではコーディング標準を定義していません。 これにより特にDO-254を初めて使用する組織の場合、申請者は適切なものを定義することに不安を感じるようになります。 ALINT-PROは、業界のベストプラクティスガイドラインと経験に基づいた包括的なルールセットを提供します。」 Kitelはさらに、航空電子ハードウェアの開発保証に関する新たなガイダンスがリリースされたため、ALINT-PROのルールセットの拡張はユーザーにとって良いタイミングになると述べています。AMC 20-152A文書(EASAが既に発表し、次期FAA AC 20-152Aと調和しています)では、申請者がデザイン保証レベル（DAL：Design Assurance Level）Cプロジェクトのハードウェアデザイン基準に従うことを推奨していますが、以前は最も安全性が重要なDAL AおよびBプロジェクトにのみ必要でした。 Kitelは次のように付け加えています:「航空機搭載アプリケーションの多くのデザインでHDLコーディング標準を定義し、それに従うことが必要になります。ALINT-PROは、ツールがコーディング標準を自動的に実施できることを証明するために使用されるツール認定パッケージを備えており、必要な保証を提供し、エンジニアの時間を大幅に節約することができます。」 ALINT-PROのデザインエントリ機能の強化については、DO-254ルールプラグインを使用しているかどうかに関係なく、すべてのユーザーにメリットがあります。これらには次のものが含まれます： 最適化されたRAM/ROM抽出により、シンセシスフェーズのメモリ消費が削減されました サブプログラム本体のチェックは、多くのRTLベースのチェッカーとFSM抽出アルゴリズムによってサポートされるようになりました プロテクテッドIPを含むコアの変換が改善されました CDCアサーション生成の新しいメカニズムがあり、テストベンチに1行のコード（project.generate.assertionsコマンド）を含めるだけでアサーションを抽出できます ALINT-PROプロダクトマネージャー AlexGnusinのコメント：「ALINT-PROは、継続的なパフォーマンスの向上、進化するベストプラクティスルールの定期的な導入、そして目まぐるしく変化する業界の変化に対応していることから、デザインフローの初期段階でバグを発見し、必要な時に必要な場所でコンプライアンスを実証するための最適なツールとなっています。」 ALINT-PRO 2021.02のダウンロードと評価を開始しました。 ALINT-PROについて ALINT-PRO™は、VHDL、Verilog、およびSystemVerilogで記述されたRTLコードの設計検証ソリューションであり、コーディングスタイルと命名規則、RTLと合成後のシミュレーションの不一致、スムーズで最適な合成、設計後半における問題回避、クロック/リセットツリー問題、CDC、DFT、および移植性と再利用のためのコーディングの検証にフォーカスしています。このソリューションは、RTLおよびSDC™ソースファイルに基づいて静的解析を実行し、デザインサイクルの早い段階で重要なデザインの問題を明らかにすることで、デザインのサインオフ時間を劇的に短縮します。 アルデックにてついて アルデックは米国ネバダ州ヘンダーソンに本社を置く、エレクトロニクス・デザイン検証のインダストリ・リーダです。RTL設計、RTLシミュレータ、SoC/ASICエミュレーション・プロトタイピング、デザインルールチェック、CDC/RDC検証、IPコア、要求ライフサイクル管理、DO-254機能検証、組込みソリューション、ハイパフォーマンスコンピューティングおよび軍事／航空宇宙向けソリューションといったパテントを取得したテクノロジを提供しています。www.aldec.com
