ツール・アセスメントおよびクオリフィケーションのプロセス

ツール・アセスメントとクオリフィケーションの目的は、所定のデザインや検証をツールで行うときに容認できる信頼レベルでできるかどうか確認することです。DO-254でツールをデザインや検証に使う前に、ツール・アセスメントを実施して、必要なら基本ツール・クオリフィケーションのプロセスを文書に記録しておきます。

 

アルデックは、RTCA/DO-254 Section 11.4「Tool Assessment and Qualification Process」に規定された厳格なプロセスに沿って、自社のツールを厳正に検査しました。可能であれば、独自のアセスメントを達成するために手作業で検証結果を確認することをお勧めします。手作業での確認が無理なら、アルデックのDO-254ツール専用のツール・クオリフィケーション・データバッケージを提供します。

 

DO-254/CTS™ツール・クオリフィケーション・データバッケージ

総合的なツール・クオリフィケーション前データパッケージ。認証申請者は自分のライフサイクル・データに合わせて簡単にカスタマイズできます。このデータパッケージはデザイン保証レベル (DAL) AおよびBのFPGAに適用することが推奨されます。そのようなFPGAをターゲットとしてテストする場合、ツールの自動検証機能に信頼性が必要です。データパッケージの構成は次の通りです。

 

ALINT-PRO™デザインルール・チェッカー・ツール・クオリフィケーション・パッケージ

カスタマイズ可能なツール・クオリフィケーション・パッケージには、ALINT-PRO™で利用可能なデザインルール・チェッカーがユーザープロジェクト向けに動作することを証明するために必要な包括的テストスイートとドキュメントが含まれています。このパッケージは、ALINT-PRO™ が HDL コーディング標準を実施するために使用される A および B Design Assurance Level(DAL)のプロジェクトに使用することをお勧めします。このクオリフィケーション・パッケージには以下が含まれています:

Active-HDL™とRiviera-PRO™のコード・カバレッジ・ツール・クオリフィケーション・データパッケージ

現在、RTCA/DO-254 Section 11.4.1 #4に記載されているガイダンスでは、コード・カバレッジ・ツール で要素解析が実行された場合、ツール・クオリフィケーションは必要とされない、とされています。しかし、認証機関によっては、コード・カバレッジにも所定のDO-254プログラムについてツール・クオリフィケーションを受けるよう要求しています。いずれにせよ、アルデックはRTCA/DO-254セクション11.4規定の厳格なツール・クオリフィケーション・プロセスに従ってActive-HDL™とRiviera-PRO™のコード・カバレッジ・ツールを厳密にテストし、合格しています。コード・カバレッジのテスト用に生成される要求は、IEEE Std 1076™-2008 VHDL Language Reference Manual (LRM) 4章・10章・11章の実行可能構造体をベースにしています。アルデックはVHDLテストケースとツール・クオリフィケーション計画、ツール・オペレーション要求、ツール・テスト計画、ツール・クオリフィケーション完了サマリなどの色々な文書を含むデータパッケージを提供しています。このパッケージは、Active-HDL™やRiviera-PRO™で利用可能なコード・カバレッジ・ツールが正確なブランチおよびステートメント・カバレッジ・メトリックスを示すことを証明しています。

 

HDLシミュレータの独自ツール・アセスメント

Active-HDLやRiviera-PRO、サードパーティのHDLシミュレータなどのHDLシミュレータは、DO-254/CTSで個別に査定できます。RTLシミュレーションからのテストベンチはFPGA物理検証中にDO-254/CTSでテストベクタとして再利用できるので、ハードウェア・テストとRTLシミュレーション結果のマッピングと比較対照は簡単にできます。

 

 



Printed version of site: support.aldec.com/jp/solutions/do_254_compliance/tool_assessment_qualification_process--tool-qualification-plan-template